9176 search results - page 1456 / 1836 » algorithms 2010 |
157
Voted
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
200
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
162
click to vote
EENERGY
2010
15 years 10 months ago
2010
Sleeping is an important method to reduce energy consumption in many information and communication systems. In this paper we focus on a typical server under dynamic load, where en...
167
click to vote
FC
2010
Springer
15 years 10 months ago
2010
Springer
Despite the conventional wisdom that proactive security is superior to reactive security, we show that reactive security can be competitive with proactive security as long as the r...
194
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
: This paper presents a Least Popularly Used buffer cache algorithm to exploit both temporal locality and content locality of I/O requests. Popular data blocks are selected as refe...