4604 search results - page 216 / 921 » Concurrency in Synchronous Systems |
125
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
130
click to vote
RTSS
1994
IEEE
15 years 8 months ago
1994
IEEE
Various concurrency control algorithms di er in the time when con icts are detected, and in the way they are resolved. In that respect, the Pessimistic and Optimistic Concurrency ...
136
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper, we investigate synchronization in a small-world network of coupled nonlinear oscillators. This network is constructed by introducing random shortcuts in a neares...
120
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
143
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
Recent advances in miniaturization and low-cost, lowpower design have led to active research in large-scale networks of small, wireless, low-power sensors and actuators. Time sync...