13489 search results - page 63 / 2698 » Operating System |
140
click to vote
USENIX
2000
15 years 5 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
181
click to vote
AOSD
2011
ACM
14 years 11 months ago
2011
ACM
The domain of operating systems has often been mentioned as an “ideal candidate” for the application of AOP; fundamental policies we find in these systems, such as synchroniz...
121
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
133
click to vote
IPSN
2007
Springer
15 years 10 months ago
2007
Springer
This demonstration shows the programming development suite of the RETOS operating system for sensor networks, which provides a robust and multithreaded programming interface to ap...
139
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...