1491 search results - page 172 / 299 » Resource-Passing Concurrent Programming |
95
Voted
MICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
Virtual machine service threads can perform many tasks in parallel with program execution such as garbage collection, dynamic compilation, and profile collection and analysis. Har...
133
Voted
CONCURRENCY
2010
14 years 10 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
183
click to vote
POPL
2007
ACM
16 years 28 days ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
77
Voted
ERSHOV
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...
79
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...