2468 search results - page 237 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
137
click to vote
ICS
2007
Tsinghua U.
15 years 10 months ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...
149
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Interactive dynamic influence diagrams (I-DIDs) are graphical models for sequential decision making in uncertain settings shared by other agents. Algorithms for solving I-DIDs fac...
130
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
147
click to vote
RTSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Wireless sensor network (WSN) applications have been studied extensively in recent years. Such applications involve resource-limited embedded sensor nodes that have small size and...
172
click to vote
IMC
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we present the first implementation of a P2P content distribution system that uses Network Coding. Using results from live trials with several hundred nodes, we pro...