Year of publication
Type of media
Source
Subject
Type of material
Language
1–11 of 11 hits
Sort by:
Sort by:
-
PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations
Free accessDataCite | 2021| -
Verified Spilling and Translation Validation with Repair
British Library Conference Proceedings | 2017| -
A Linear First-Order Functional Intermediate Language for Verified Compilers
British Library Conference Proceedings | 2015| -
RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms
British Library Online Contents | 2017| -
Language support for programming high-performance code
Free accessTIBKAT | 2017|Contributors: Hack, Sebastian -
Language Support for Programming High-Performance Code
Free accessBASE | 2017|Contributors: Hack, Sebastian
- ««
- «
- 1
- »»
Hits per page