5149 search results - page 614 / 1030 » Timed Asynchronous Distributed Systems |
166
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
117
Voted
CONCURRENCY
2008
15 years 5 months ago
2008
Abstract. Database systems have been vital for all forms of data processing for a long time. In recent years, the amount of processed data has been growing dramatically, even in sm...
200
click to vote
MOBISYS
2011
ACM
14 years 7 months ago
2011
ACM
Clock synchronization is critical for Wireless Sensor Networks (WSNs) due to the need of inter-node coordination and collaborative information processing. Although many message pa...
141
click to vote
HPCN
1998
Springer
15 years 9 months ago
1998
Springer
The execution of an application on a high performance system requires parameters concerning the problem in hand, and those that determine the system mapping, to be specified by a ...
164
Voted
ICDCS
2006
IEEE
15 years 11 months ago
2006
IEEE
Distributed storage systems employ replicas or erasure code to ensure high reliability and availability of data. Such replicas create great amount of network traffic that negative...