13489 search results - page 87 / 2698 » Operating System |
112
click to vote
SIGOPS
2008
15 years 2 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...
103
Voted
CHI
2006
ACM
16 years 2 months ago
2006
ACM
Research has shown that computers are notoriously bad at supporting the management of parallel activities and interruptions, and that mobility increases the severity and scope of ...
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
108
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
—Unencrypted data appearing on the processor– memory bus can result in security violations, e.g., allowing attackers to gather keys to financial accounts and personal data. Al...
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Commercial Scale-Out is a new research project at IBM Research. Its main goal is to investigate and develop technologies for the use of large scale parallelism in commercial appli...