209 search results - page 31 / 42 » Ensuring operating system kernel integrity with OSck |
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
EENERGY
2010
13 years 11 months ago
2010
Energy-efficient computing as a research area has been receiving increasing attention in recent years due to rising energy costs and environmental awareness. In this paper, we pre...
POPL
2000
ACM
14 years 3 days ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
CL
2008
Springer
13 years 7 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
NOSSDAV
1991
Springer
13 years 11 months ago
1991
Springer
One of the most important emerging developments for improving the user/computer interface has been the addition of multimedia facilities to high-performance workstations. Although...