317 search results - page 18 / 64 » Snap-Stabilization in Message-Passing Systems |
PLDI
2012
ACM
12 years 8 days ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
MATES
2007
Springer
14 years 4 months ago
2007
Springer
Developing agent applications is a complex and difficult task due to a variety of reasons. One key aspect making multi-agent systems more complicated than traditional applications ...
CSSE
2008
IEEE
14 years 4 months ago
2008
IEEE
Version control helps coordinating a group of people working concurrently to achieve a shared objective. Concurrency control helps coordinating a group of threads working concurre...
ISCA
1998
IEEE
14 years 2 months ago
1998
IEEE
Alewife is a multiprocessor architecture that supports up to 512 processing nodes connected over a scalable and cost-effective mesh network at a constant cost per node. The MIT Al...
IC
2004
13 years 11 months ago
2004
ct Non-blocking operation based on pre-determined schedule has many applications. We have created a Personal Assistant system that is able to send out email notification according ...