1024 search results - page 98 / 205 » Complexity and Performance in Parallel Programming Languages |
140
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
227
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
133
click to vote
IWOMP
2009
Springer
15 years 9 months ago
2009
Springer
The UTS benchmark is used to evaluate task parallelism in OpenMP 3.0 as implemented in a number of recently released compilers and run-time systems. UTS performs parallel search of...
107
click to vote
ISPAN
2005
IEEE
15 years 8 months ago
2005
IEEE
Commodity hardware and software are growing increasingly more complex, with advances such as chip heterogeneity and specialization, deeper memory hierarchies, ne-grained power ma...
131
Voted
IFL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...