2870 search results - page 410 / 574 » Synchronization of multi-agent systems |
126
click to vote
SRDS
2000
IEEE
15 years 8 months ago
2000
IEEE
Validation of distributed systems using fault injection is difficult because of their inherent complexity, lack of a global clock, and lack of an easily accessible notion of a gl...
133
click to vote
REX
1993
15 years 8 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
135
click to vote
HASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
137
click to vote
OSDI
1996
ACM
15 years 5 months ago
1996
ACM
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
181
click to vote
WISE
2010
Springer
15 years 2 months ago
2010
Springer
Advancement in mobile computing technologies has prompted strong needs for database systems that can be used in small devices such as sensors, cellular phones, PDAs, car navigator...