748 search results - page 56 / 150 » concurrency 2008 |
104
click to vote
MEMOCODE
2008
IEEE
15 years 7 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
86
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a concurrent error detection technique targeted towards control logic in a processor with emphasis on low area overhead. Rather than detect all modeled transie...
127
click to vote
AFP
2008
Springer
15 years 7 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
93
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
113
click to vote
CC
2008
Springer
15 years 2 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...