970 search results - page 124 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
VTC
2010
IEEE
13 years 7 months ago
2010
IEEE
—A common simplification in the treatment of random linear channels is the assumption of stationarity of the channel in time. The wireless channel is, however, known to be inher...
SPIN
2012
Springer
11 years 11 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
ICCAD
2004
IEEE
14 years 6 months ago
2004
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques f...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we propose, implement and analyze the performance of a Reconfigurable Sequential Consistency Algorithm (RSCA) using simulation. Extending the concepts of reconfigur...
NETWORKING
2007
13 years 10 months ago
2007
Building robust network monitoring applications is hard given the unpredictable nature of network traffic. Complex analysis on streaming network data usually leads to overload situ...