661 search results - page 108 / 133 » What Can We Expect from Program Verification |
SIGMETRICS
2010
ACM
13 years 2 months ago
2010
ACM
The prevalence of multicore architectures has made the performance analysis of multithreaded applications an intriguing area of inquiry. An understanding of locality effects and c...
SIGIR
2010
ACM
13 years 11 months ago
2010
ACM
How does the web search behavior of “rich” and “poor” people differ? Do men and women tend to click on different results for the same query? What are some queries almost...
ESCIENCE
2007
IEEE
14 years 1 months ago
2007
IEEE
Efficient Resource discovery mechanism is one of the fundamental requirement for Grid computing systems, as it aids in resource management and scheduling of applications. Resourc...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
MOBICOM
2004
ACM
14 years 29 days ago
2004
ACM
In this paper we consider the problem of searching for a node or an object (i.e., piece of data, file, etc.) in a large network. Applications of this problem include searching fo...