Sciweavers

2674 search results - page 54 / 535
» On architecture transparency in operating systems
Sort
View
ASPLOS
2000
ACM
15 years 2 months ago
System Architecture Directions for Networked Sensors
Technological progress in integrated, low-power, CMOS communication devices and sensors makes a rich design space of networked sensors viable. They can be deeply embedded in the p...
Jason L. Hill, Robert Szewczyk, Alec Woo, Seth Hol...
ISARCS
2010
156views Hardware» more  ISARCS 2010»
14 years 11 months ago
A Road to a Formally Verified General-Purpose Operating System
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
Martin Decký
USENIX
1996
14 years 11 months ago
A Performance Comparison of UNIX Operating Systems on the Pentium
This paper evaluates the performance of three popular versions of the UNIX operating system on the x86 architecture: Linux, FreeBSD, and Solaris. We evaluate the systems using fre...
Kevin Lai, Mary Baker
KES
2006
Springer
14 years 9 months ago
Intelligent Environment for Training of Power Systems Operators
Training of operators has become an important problem to be faced by power systems: updating knowledge and skills. An operator must comprehend the physical operation of the process...
Gustavo Arroyo-Figueroa, Yasmín Herná...
USS
2008
15 years 2 days ago
Towards Application Security on Untrusted Operating Systems
Complexity in commodity operating systems makes compromises inevitable. Consequently, a great deal of work has examined how to protect security-critical portions of applications f...
Dan R. K. Ports, Tal Garfinkel