Searching for authors named "Ulrich Hoffmann" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Correct Implementation of Compiler Programs
- …Correct Implementation of Compiler Programs Ulrich Hoffmann Institut fur Informatik und Praktische…
- Cited by 1 (0 self) – Add To MetaCart
-
Compiling ComLisp to Executable Machine Code: Compiler Construction
- …: Compiler Construction Wolfgang Goerigk, Ulrich Hoffmann Bericht Nr. 9812 Oktober 1998 CHRISTIAN…
- Cited by 6 (6 self) – Add To MetaCart
-
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct
- … and Ulrich Homann Institut fur Informatik und Praktische Mathematik, Christian-Albrechts-Universitat zu…
- Cited by 11 (9 self) – Add To MetaCart
-
Spatial filters for the classification of event-related potentials
- …Spatial filters for the classification of event-related potentials Ulrich Hoffmann, Jean…
- Cited by 1 (1 self) – Add To MetaCart
-
Enabling Classification and Shading for 3D Texture Mapping based Volume Rendering using OpenGL and Extensions
- …GL and Extensions Michael Meiner Ulrich Hoffmann Wolfgang Straer Computer Graphics Lab University of Tubingen…
- Cited by 27 (6 self) – Add To MetaCart
-
Enabling Classification and Shading for 3D Texture Mapping based Volume Rendering using OpenGL and Extensions
- …GL and Extensions Abstract Michael Meißner Ulrich Hoffmann Wolfgang Straßer We present a new technique which enables…
- Add To MetaCart
-
Compiler Correctness and Implementation Verification: The Verifix Approach
- … Axel Dold x Thilo Gaul z Gerhard Goos z Andreas Heberle z Friedrich W. von Henke x Ulrich…
- Cited by 14 (6 self) – Add To MetaCart
Showing 1 through 7.
