2468 search results - page 481 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
104
Voted
CIDR
2003
15 years 1 months ago
2003
Speculation is an every day phenomenon whereby one acts in anticipation of particular conditions that are likely to hold in the future. Computer science research has seen many suc...
95
Voted
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Reinforcement learning promises a generic method for adapting agents to arbitrary tasks in arbitrary stochastic environments, but applying it to new real-world problems remains di...
109
click to vote
HPDC
2008
IEEE
15 years 6 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
105
Voted
PPOPP
2003
ACM
15 years 5 months ago
2003
ACM
Simultaneous multithreading (SMT) represents a fundamental shift in processor capability. SMT's ability to execute multiple threads simultaneously within a single CPU offers ...
113
click to vote
SPAA
2010
ACM
15 years 4 months ago
2010
ACM
Transactional Memory (TM) is a promising technique that simplifies parallel programming for shared-memory applications. To date, most TM systems have been designed to efficientl...