2297 search results - page 162 / 460 » Production of Large Computer Programs |
117
Voted
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
4 Automatic differentiation is the primary means of obtaining analytic5 derivatives from a numerical model given as a computer program. There-6 fore, it is an essential productivi...
126
click to vote
POPL
2004
ACM
15 years 7 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
144
click to vote
INFORMS
1998
15 years 2 months ago
1998
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
122
click to vote
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...
136
click to vote
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...