515 search results - page 92 / 103 » A Dynamic Programming Approach to Optimal Integrated Code Ge... |
158
Voted
APLAS
2003
ACM
15 years 11 months ago
2003
ACM
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
167
Voted
SC
2003
ACM
15 years 11 months ago
2003
ACM
The emergence of grid and a new class of data-driven applications is making a new form of parallelism desirable, which we refer to as coarse-grained pipelined parallelism. This pa...
158
Voted
EDO
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
148
Voted
ISSTA
2009
ACM
16 years 10 days ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
163
Voted
ICAC
2006
IEEE
15 years 12 months ago
2006
IEEE
— The increasing heterogeneity, dynamism, and uncertainty of emerging DCE (Distributed Computing Environment) systems imply that an application must be able to detect and adapt t...