2311 search results - page 295 / 463 » A Distributed Platform for Mechanism Design |
137
Voted
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
148
click to vote
HPCA
2008
IEEE
15 years 11 months ago
2008
IEEE
With reducing feature size, increasing chip capacity, and increasing clock speed, microprocessors are becoming increasingly susceptible to transient (soft) errors. Redundant multi...
123
Voted
ICARCV
2008
IEEE
15 years 11 months ago
2008
IEEE
—Feature-based intelligent design and manufacturing systems in the Internet environment are an evolution of traditional geometric and solid modeling systems. This paper presents ...
133
click to vote
ICOIN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. IEEE 802.15.4 is the Low-Rate Wireless Personal Area Network (LR-WPAN) standard that is suitable for wireless sensor networks and wireless home networks among others. The...
133
click to vote
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents the design and implementation of XenSocket, a UNIX-domain-socket-like construct for high-throughput interdomain (VM-to-VM) communication on the same system. The...