10038 search results - page 1718 / 2008 » Model Checking for Managers |
224
click to vote
RTAS
1997
IEEE
15 years 10 months ago
1997
IEEE
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...
222
click to vote
SIGMETRICS
1996
ACM
15 years 10 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
155
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
The Internet and file sharing technology (such as P2P network) significantly alleviate the content distribution cost. However, better digital content distribution also means that ...
174
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
The context of a search query often provides a search engine meaningful hints for answering the current query better. Previous studies on context-aware search were either focused ...
224
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In the field of HPC, the current hardware trend is to design multiprocessor architectures that feature heterogeneous technologies such as specialized coprocessors (e.g., ...