1052 search results - page 43 / 211 » Foundations for Virtual Types |
AFRIGRAPH
2001
ACM
14 years 21 days ago
2001
ACM
Practical experience in porting a large virtual reality system from C/C++ to Java indicates that porting this type of real-time application is both feasible, and has several merit...
EUROPAR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Virtualization technology has been gaining acceptance in the scientific community due to its overall flexibility in running HPC applications. It has been reported that a ...
SOSP
2007
ACM
14 years 6 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
FOSSACS
2004
Springer
14 years 2 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
ACL
2006
13 years 10 months ago
2006
This work provides the essential foundations for modular construction of (typed) unification grammars for natural languages. Much of the information in such grammars is encoded in...