112 search results - page 1 / 23 » A Concurrent Semantics of Static Exceptions in a Parallel Pr... |
APN
2001
Springer
14 years 3 months ago
2001
Springer
EMSOFT
2006
Springer
14 years 2 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
COORDINATION
2009
Springer
14 years 11 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
CONCUR
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...