1054 search results - page 168 / 211 » From a Verified Kernel towards Verified Systems |
127
click to vote
JSSPP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. As multi-core processors proliferate, it has become more important than ever to ensure efficient execution of parallel jobs on multiprocessor systems. In this paper, we s...
113
click to vote
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
The prevalence of P2P technology contributes the ease of file-sharing, but it also brings some problems such as free-riding and copyright infringement. To solve these problems, ma...
104
click to vote
ICEBE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper investigates profit optimisation by the partitioning of server pools. Different types of web requests are considered in this paper: best-effort requests and multi-class...
109
click to vote
CC
2007
Springer
15 years 8 months ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
104
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...