2468 search results - page 420 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
186
click to vote
HPCA
2003
IEEE
16 years 3 months ago
2003
IEEE
As the level of chip integration continues to advance at a fast pace, the desire for efficient interconnects-whether on-chip or off-chip--is rapidly increasing. Traditional interc...
138
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— Recent advances in machine learning and adaptive motor control have enabled efficient techniques for online learning of stationary plant dynamics and it’s use for robust pre...
141
Voted
SIGIR
1999
ACM
15 years 7 months ago
1999
ACM
We propose a new probabilistic approach to information retrieval based upon the ideas and methods of statistical machine translation. The central ingredient in this approach is a ...
118
click to vote
CONEXT
2009
ACM
15 years 4 months ago
2009
ACM
802.11 wireless mesh networks are ubiquitous, but suffer from severe performance degradations due to poor synergy between the 802.11 CSMA MAC protocol and higher layers. Several s...
133
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...