9110 search results - page 1518 / 1822 » Formally-Based Design Evaluation |
183
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Dynamic memory management is one of the most expensive but ubiquitous operations in many C/C++ applications. Additional features such as security checks, while desirable, further w...
188
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
Advanced Synchronization Facility (ASF) is an AMD64 hardware extension for lock-free data structures and transactional memory. It provides a speculative region that atomically exec...
185
click to vote
NSDI
2010
15 years 4 months ago
2010
This paper proposes to exploit physical layer information towards improved rate selection in wireless networks. While existing schemes pick good transmission rates, this paper tak...
217
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present an implementation of model-based online reinforcement learning (RL) for continuous domains with deterministic transitions that is specifically designed to achi...
198
click to vote
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper bears on the design and the quantitative evaluation of MAC mechanisms for wireless ad-hoc networks with performance guarantees. By this, we mean mechanisms where each ac...