4604 search results - page 230 / 921 » Concurrency in Synchronous Systems |
203
click to vote
SEW
2006
IEEE
16 years 20 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
201
click to vote
ERLANG
2006
ACM
16 years 19 days ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
158
click to vote
IICS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
157
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Passing messages through shared memory plays an important role on symmetric multiprocessors and on Clumps. The management of concurrent access to message queues is an important as...
165
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...