4604 search results - page 217 / 921 » Concurrency in Synchronous Systems |
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
152
click to vote
SAC
2002
ACM
15 years 4 months ago
2002
ACM
Distributed cooperative engineering applications require consistent and long-term sharing of large volumes of data, which may cause conflicts due to concurrent read/write operatio...
130
click to vote
ICDCS
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper presents a detailed comparison of the relative importance of allowing concurrent writers versus the choice of the underlying consistency model. Our comparison is based ...
162
click to vote
MOBICOM
2012
ACM
13 years 7 months ago
2012
ACM
Current wireless network design is built on the ethos of avoiding interference. In this paper we question this long-held design principle. We show that with appropriate design, su...
145
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Multimedia applications usually have throughput constraints. An implementation must meet these constraints, while it minimizes resource usage and energy consumption. The compute i...