800 search results - page 49 / 160 » Programming Models for Concurrency and Real-Time |
124
click to vote
NGC
1998
Springer
15 years 1 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
132
click to vote
CONCUR
1992
Springer
15 years 5 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
122
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
201
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
118
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...