Searching for authors named "Godmar Back" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Isolation, Resource Management and Sharing in the KaffeOS Java Runtime System
- …ISOLATION, RESOURCE MANAGEMENT AND SHARING IN THE KAFFEOS JAVA RUNTIME SYSTEM by Godmar Back A…
- Cited by 1 (0 self) – Add To MetaCart
-
The RSA Algorithm and PGP
- …The RSA Algorithm and PGP Godmar Back (gback@(email omitted);) February 23, 1996 Abstract This write…
- Cited by 1 (0 self) – Add To MetaCart
-
DataScript - A Specification and Scripting Language for Binary Data
- …DataScript–a Specification and Scripting Language for Binary Data Godmar Back Stanford University…
- Cited by 24 (0 self) – Add To MetaCart
-
MJ - A System for Constructing Bug-Finding Analyses for Java
- … annotationbased and require a large amount of labor, or only check a Godmar Back Dawson Engler Stanford University…
- Cited by 5 (0 self) – Add To MetaCart
-
Drawing the Red Line in Java
- …Drawing the Red Line in Java Godmar Back and Wilson Hsieh Department of Computer Science…
- Cited by 41 (6 self) – Add To MetaCart
-
Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java
- …Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java Godmar Back Wilson C…
- Cited by 63 (8 self) – Add To MetaCart
-
From uncertainty to belief: Inferring the specification within
- …From Uncertainty to Belief: Inferring the Specification Within Ted Kremenek † Paul Twohey † Godmar…
- Cited by 19 (0 self) – Add To MetaCart
-
Formal Methods: A Practical Tool for OS Implementors
- …Corquodale Jay Lepreau Ajay Chitturi Godmar Back Department of Computer Science University of Utah Salt Lake City…
- Cited by 22 (3 self) – Add To MetaCart
-
Reverse-Engineering Instruction Encodings
- … Dawson R. Engler Stanford University englercsl. stanford. edu Godmar Back University of Utah gbackcs…
- Cited by 5 (0 self) – Add To MetaCart
-
VT-ASOS: Holistic System Software Customization for Many Cores
- …VT-ASOS: Holistic System Software Customization for Many Cores Dimitrios S. Nikolopoulos, Godmar…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
