3495 search results - page 224 / 699 » On the random satisfiable process |
197
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
The average consensus problem in the distributed signal processing context is addressed by linear iterative algorithms, with asymptotic convergence to the consensus. The convergen...
197
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper studies the admission control and resource allocation in a cell-based wireless system that supports singlemedia and multirate services. Utilizing the idea of adaptive...
194
click to vote
DELTA
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replicati...
200
click to vote
ICECCS
2005
IEEE
16 years 24 days ago
2005
IEEE
Middleware enables distributed components to interact with each others in diverse and complex manners. Such interactions should be modeled at architecture level for controlling th...
155
click to vote
RE
2004
Springer
16 years 16 days ago
2004
Springer
This paper addresses the issues related to improving the overall quality of the requirements tracing process for Independent Verification and Validation analysts. The contribution...