575 search results - page 78 / 115 » Techniques for Efficient Processing in Runahead Execution En... |
121
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
113
click to vote
SIGIR
2008
ACM
15 years 1 months ago
2008
ACM
Personalization of web search results as a technique for improving user satisfaction has received notable attention in the research community over the past decade. Much of this wo...
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
160
click to vote
DAGSTUHL
2007
15 years 2 months ago
2007
Abstract Current, data-driven applications have become more dynamic in nature, with the need to respond to events generated from distributed sources or to react to information extr...
130
click to vote
EUROPAR
2010
Springer
15 years 1 months ago
2010
Springer
Today, it is possible to associate multiple CPUs and multiple GPUs in a single shared memory architecture. Using these resources efficiently in a seamless way is a challenging issu...