677 search results - page 56 / 136 » Distributed data-parallel computing using a high-level progr... |
126
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
It is now well established that the device scaling predicted by Moore’s Law is no longer a viable option for increasing the clock frequency of future uniprocessor systems at the...
122
Voted
IPPS
2010
IEEE
15 years 10 days ago
2010
IEEE
Abstract--NABBIT is a work-stealing library for execution of task graphs with arbitrary dependencies which is implemented as a library for the multithreaded programming language Ci...
154
Voted
CONCUR
1991
Springer
15 years 6 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
133
Voted
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
126
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...