1299 search results - page 63 / 260 » On the Correctness of Operating System Kernels |
130
click to vote
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Power management in data centers has become an increasingly important concern. Large server installations are designed to handle peak load, which may be significantly larger than...
154
click to vote
PADS
2000
ACM
15 years 8 months ago
2000
ACM
The simulation of wide area computer networks is one area where the benefits of parallel simulation have been clearly demonstrated. Here we present a description of a system that...
137
Voted
SP
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Current web browsers are plagued with vulnerabilities, providing hackers with easy access to computer systems via browser-based attacks. Browser security efforts that re...
125
click to vote
IISWC
2006
IEEE
15 years 10 months ago
2006
IEEE
Multi-core processors are planned for virtually all next-generation HPC systems. In a preliminary evaluation of AMD Opteron Dual-Core processor systems, we investigated the scaling...
127
click to vote
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—In this paper, a software architecture and knowledge representation scheme that enables the combination and reconfiguration of modular sensor and actuator components is...