645 search results - page 47 / 129 » concurrency 2007 |
WOTUG
2007
15 years 1 months ago
2007
Abstract. The advent of mass-market multicore processors provides exciting new opportunities for parallelism on the desktop. The original C++CSP – a library providing concurrency...
OPODIS
2004
15 years 1 months ago
2004
Abstract. We present an efficient and practical lock-free implementation of a concurrent deque that supports parallelism for disjoint accesses and uses atomic primitives which are ...
92
Voted
UM
2007
Springer
15 years 6 months ago
2007
Springer
We present results from a field study investigating the influence of conversations on the multitasking behavior of computer users. We report on several findings, including the timi...
102
Voted
ACSD
2009
IEEE
15 years 4 months ago
2009
IEEE
A number of algorithms are available for computing the simulation relation on Kripke structures and on labelled transition systems representing concurrent systems. Among them, the...
180
click to vote
POPL
2007
ACM
16 years 24 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...