6608 search results - page 253 / 1322 » On the Completeness of Model Checking |
219
click to vote
HPCA
2002
IEEE
16 years 6 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...
160
click to vote
SIGIR
2009
ACM
16 years 13 days ago
2009
ACM
We consider experiments to measure the quality of a web search algorithm based on how much total time users take to complete assigned search tasks using that algorithm. We first ...
138
click to vote
COCOON
2007
Springer
16 years 3 days ago
2007
Springer
An r-component connected coloring of a graph is a coloring of the vertices so that each color class induces a subgraph having at most r connected components. The concept has been w...
150
click to vote
WSC
2004
15 years 7 months ago
2004
This paper describes an algorithm for approximating missing data in air traffic routes thereby allowing the lengths of different routes to be compared for our simulation analyses....
151
click to vote
ISSTA
2006
ACM
15 years 12 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...