581 search results - page 45 / 117 » On Real-Time and Non Real-Time Distributed Computing |
130
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
121
Voted
ICPP
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, we propose a real-time communication scheme that can be used in general point-to-point real-time multicomputer systems with wormhole switching. Real-time communicat...
143
Voted
REX
1991
15 years 6 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
133
click to vote
ICDCS
2008
IEEE
15 years 9 months ago
2008
IEEE
A central problem in sensor network security is that sensors are susceptible to physical capture attacks. Once a sensor is compromised, the adversary can easily launch clone attac...
119
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...