469 search results - page 87 / 94 » Language and library support for practical PRAM programming |
176
click to vote
POPL
2008
ACM
15 years 12 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
97
Voted
SIGSOFT
2007
ACM
16 years 12 days ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
107
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...
86
Voted
MDM
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we propose a middleware library for efficiently developing distributed cooperative applications consisting of a large number of cellular phones with Java executors....
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
Among slide-presentation systems, the dominant application offers lly no abstraction capability. Slideshow, an extension of PLT Scheme, represents our effort over the last several...