5015 search results - page 283 / 1003 » Model Checking a Path |
170
click to vote
ALGORITHMICA
2002
15 years 6 months ago
2002
Abstract. We consider the tasks of testing and spot-checking for data streams. These testers and spotcheckers are potentially useful in real-time or near real-time applications tha...
161
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
227
click to vote
USS
2010
15 years 4 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
171
click to vote
ISCA
2003
IEEE
15 years 11 months ago
2003
IEEE
To address the increasing susceptibility of commodity chip multiprocessors (CMPs) to transient faults, we propose Chiplevel Redundantly Threaded multiprocessor with Recovery (CRTR...
159
click to vote
COMSWARE
2007
IEEE
16 years 25 days ago
2007
IEEE
— Increasing number of communication softwares are built on distributed architectures based on the Peer-toPeer (P2P) model, such as Skype [1], and PeerCast [2]. This model provid...