5376 search results - page 698 / 1076 » Scalable Kernel Systems |
191
click to vote
HASKELL
2006
ACM
16 years 24 days ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
185
click to vote
ICS
2003
Tsinghua U.
16 years 1 days ago
2003
Tsinghua U.
We describe the architecture for a single-chip aegis processor which can be used to build computing systems secure against both physical and software attacks. Our architecture ass...
187
click to vote
ASPLOS
1987
ACM
15 years 10 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...
205
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Real-time Garbage Collection (RTGC) has recently advanced to the point where it is being used in production for financial trading, military command-and-control, and telecommunicat...
196
Voted
JUCS
2007
15 years 6 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...