4604 search results - page 156 / 921 » Concurrency in Synchronous Systems |
146
click to vote
FOCS
2002
IEEE
15 years 9 months ago
2002
IEEE
We show that every language in NP has a (black-box) concurrent zero-knowledge proof system using ˜O(log n) rounds of interaction. The number of rounds in our protocol is optimal,...
118
click to vote
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
164
click to vote
ICEIS
2003
IEEE
15 years 9 months ago
2003
IEEE
: In order to meet their temporal constraints, current applications such as Web-based services and electronic commerce use the technique of data replication. To take the replicatio...
142
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
125
click to vote
SAFECOMP
1999
Springer
15 years 8 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...