67 search results - page 3 / 14 » K42: building a complete operating system |
JFP
2008
14 years 9 months ago
2008
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
SOSP
2001
ACM
15 years 6 months ago
2001
ACM
In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. Whe...
SIGGRAPH
1996
ACM
15 years 1 months ago
1996
ACM
Integrating force feedback with a complete real-time virtual environment system presents problems which are more difficult than those encountered in building simpler forcefeedback...
76
Voted
JSA
2006
14 years 9 months ago
2006
Execution-driven simulation has become the primary method for evaluating architectural techniques as it facilitates rapid design space exploration without the cost of building pro...
71
Voted
LISA
1998
14 years 11 months ago
1998
mkpkg is a tool that helps software publishers create installation packages. Given software that is ready for distribution, mkpkg helps the publisher develop a description of the ...