1052 search results - page 43 / 211 » Foundations for Virtual Types |
131
Voted
AFRIGRAPH
2001
ACM
15 years 6 months 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...
123
Voted
EUROPAR
2008
Springer
15 years 4 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 ...
125
click to vote
SOSP
2007
ACM
15 years 11 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...
99
Voted
FOSSACS
2004
Springer
15 years 8 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 ...
115
Voted
ACL
2006
15 years 4 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...