Sciweavers

1663 search results - page 296 / 333
» Scheduling techniques for media-on-demand
Sort
View
TVLSI
2002
130views more  TVLSI 2002»
13 years 10 months ago
Incremental compilation for parallel logic verification systems
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
R. Tessier, S. Jana
SAC
2008
ACM
13 years 10 months ago
A reusable object-oriented design to support self-testable autonomic software
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
Tariq M. King, Alain E. Ramirez, Peter J. Clarke, ...
INFOCOM
2010
IEEE
13 years 9 months ago
Distributed Algorithms for Approximating Wireless Network Capacity
—In this paper we consider the problem of maximizing wireless network capacity (a.k.a. one-shot scheduling) in both the protocol and physical models. We give the first distribut...
Michael Dinitz
IPL
2010
112views more  IPL 2010»
13 years 9 months ago
The cost of probabilistic agreement in oblivious robot networks
In this paper, we look at the time complexity of two agreement problems in networks of oblivious mobile robots, namely, at the gathering and scattering problems. Given a set of ro...
Julien Clement, Xavier Défago, Maria Gradin...
NAS
2010
IEEE
13 years 9 months ago
Improving Disk Array Reliability Through Expedited Scrubbing
—Disk scrubbing periodically scans the contents of a disk array to detect the presence of irrecoverable read errors and reconstitute the contents of the lost blocks using the bui...
Jehan-François Pâris, Thomas J. E. Sc...