1054 search results - page 168 / 211 » From a Verified Kernel towards Verified Systems |
176
click to vote
JSSPP
2009
Springer
16 years 20 days 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...
155
click to vote
HICSS
2008
IEEE
16 years 17 days 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...
146
click to vote
ICEBE
2007
IEEE
16 years 13 days 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...
162
click to vote
CC
2007
Springer
16 years 9 days 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...
162
click to vote
CCS
2007
ACM
16 years 9 days 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...