1087 search results - page 99 / 218 » Achieving Distributed Control through Model Checking |
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Among the foremost goals of topology control in wireless ad-hoc networks is interference reduction. This paper presents a receiver-centric interference model featuring two main ad...
SIGCOMM
2012
ACM
11 years 11 months ago
2012
ACM
As live streaming networks grow in scale and complexity, they are becoming increasingly difficult to evaluate. Existing evaluation methods including lab/testbed testing, simulati...
RTAS
1997
IEEE
14 years 1 months ago
1997
IEEE
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...
ICCAD
1997
IEEE
14 years 1 months ago
1997
IEEE
Traditional minimum area retiming algorithms attempt to achieve their prescribed objective with no regard to maintaining the initial state of the system. This issue is important f...
CCGRID
2001
IEEE
14 years 24 days ago
2001
IEEE
Recent advances in computing and communication have given rise to the computational grid notion. The core of this computing paradigm is the design of a system for drawing compute ...