Proof-carrying hardware
a novel approach to reconfigurable hardware securityDrzevitzky, Stephanie2012Compiler-Driven Reconfiguration of Multiprocessors
Hussmann, Michael ; Thies, Michael ; Kastens, Uwe ; Purnaprajna, Madhura ; Porrmann, Mario ; Rückert, Ulrich2007Resource Efficiency of Hardware Extensions of a 4-issue VLIW Processor for Elliptic Curve Cryptography
Jungeblut, Thorsten ; Puttmann, Christoph ; Dreesen, Ralf ; Porrmann, Mario ; Thies, Michael ; Rückert, Ulrich ; Kastens, UweIn: Advances in Radio Science, Jg. 8, S. 295-3052010Abstract interfaces for compiler generating tools
Kastens, UweIn: Compiler compilers and high speed compilation, Jg. 1989, S. 103-1142009ALSI : Eine höhere Programmiersprache zur Transformation von ALGOL-68-Verbunden in SIMULA-Klassen
Kastens, UweIn: Fachtagung über Programmiersprachen, Jg. 3, S. 162-1722009Attribute grammars as a specification method
Kastens, UweIn: Attribute grammars, applications and systems, Jg. 1991, S. 16-472009Attribute grammars system in a compiler construction environment
Kastens, UweIn: Attribute grammars, applications and systems, Jg. 1991, S. 380-4002009Compilation for instruction parallel processors
Kastens, UweIn: Compiler compilers, Jg. 1990, S. 179-1922009Eigenschaften von Programmiersprachen
definiert durch attributierte GrammatikenKastens, UweIn: Programmiersprachen und Programmentwicklung, Jg. 6, S. 157-1742009Erläuterungen zur attributierten Grammatik für PEARL
Kastens, UweIn: PEARL-Rundschau, Jg. 2.1981 H. 3, S. 19-312009Executable specifications for language implementation
Kastens, UweIn: Programming language implementation and logic programming, Jg. 1993, S. 1-112009The GAG-system : A tool for compiler construction
Kastens, UweIn: Methods and tools for compiler construction, Jg. 1984, S. 165-1812009Implementation of visit-oriented attribute evaluators
Kastens, UweIn: Attribute grammars, applications and systems, Jg. 1991, S. 114-1392009