1087 search results - page 52 / 218 » Achieving Distributed Control through Model Checking |
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— We present a model for the joint design of congestion control and media access control (MAC) for ad hoc wireless networks. Using contention graph and contention matrix,...
SDM
2003
SIAM
13 years 9 months ago
2003
SIAM
A labeled sequence data set related to a certain biological property is often biased and, therefore, does not completely capture its diversity in nature. To reduce this sampling b...
DSRT
2004
IEEE
13 years 11 months ago
2004
IEEE
The Experimentation Command and Control Interface (XC2I) project has developed an architecture for a Webservice based viewer/controller for use with distributed simulations suppor...
SASO
2008
IEEE
14 years 2 months ago
2008
IEEE
Supporting Web-based services through geographical distributed clusters of servers is a common solution to the increasing volume and variability of modern traffic. These architec...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...