1398 search results - page 158 / 280 » Ensuring Properties of Interaction Systems |
168
click to vote
RTAS
1996
IEEE
15 years 10 months ago
1996
IEEE
We propose a lightweight fault-tolerant multicast and membership service for real-time process groups which may exchange periodic and aperiodic messages. The service supports boun...
161
click to vote
IWMM
2010
Springer
15 years 10 months ago
2010
Springer
Concurrent and incremental collectors require barriers to ensure correct synchronisation between mutator and collector. The overheads imposed by particular barriers on particular ...
161
click to vote
ARC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Memory accesses contribute sunstantially to aggregate system delays. It is critical for designers to ensure that the memory subsystem is designed efficiently, and much wo...
139
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose distributed algorithms to automatically deploy a group of mobile robots to partition and provide coverage of a non-convex environment. To handle arbitrary nonconvex envi...
187
click to vote
GEOINFORMATICA
2006
15 years 6 months ago
2006
Metadata is needed to facilitate data sharing among geospatial information communities. Geographic Metadata Standards are available but tend to be general and complex in nature an...