Kastens, Uwe
85  results:
Search for persons X
?
1

Übersetzerbau 

Handbuch der Informatik ; 3.3
Kastens, Uwe - Reprint 2020 . , [2020]
 
?
2

Name analysis for modern languages: a general solution:

Kastens, Uwe ; Waite, William
Software: Practice and Experience.  47 (2017)  11 - p. 1597-1631 , 2017
 
?
4

Encapsulating Interaction Techniques of 3D Language Editors..:

, In: Proceedings of the 7th International Symposium on Visual Information Communication and Interaction,
Wolter, Jan ; Kastens, Uwe - p. 68-77 , 2014
 
?
6

Animation of tile-based games automatically derived from si..:

Wolter, Jan ; Cramer, Bastian ; Kastens, Uwe
Computer Science and Information Systems.  8 (2011)  2 - p. 501-516 , 2011
 
?
7

Video-Anwendungen und -Architekturen für zukünftige Mobil.. 

Enablers for ambient services and systems - EASY-C - wide a... 
 
?
8

Runtime Reconfiguration of Multiprocessors Based on Compile..:

Purnaprajna, Madhura ; Porrmann, Mario ; Rueckert, Ulrich...
ACM Transactions on Reconfigurable Technology and Systems.  3 (2010)  3 - p. 1-25 , 2010
 
?
9

Runtime Reconfiguration of Multiprocessors Based on Compile..:

Purnaprajna, Madhura ; Porrmann, Mario ; Rueckert, Ulrich...
ACM Transactions on Reconfigurable Technology and Systems (TRETS).  3 (2010)  3 - p. 1-25 , 2010
 
?
10

Proof-Carrying Hardware: Concept and Prototype Tool Flow fo..:

Drzevitzky, Stephanie ; Kastens, Uwe ; Platzner, Marco
International Journal of Reconfigurable Computing.  2010 (2010)  - p. 1-11 , 2010
 
?
11

Reusable specification modules for type analysis:

Kastens, Uwe ; Waite, William M.
Software: Practice and Experience.  39 (2009)  9 - p. 833-864 , 2009
 
?
12

A Synchronization Method for Register Traces of Pipelined P..:

, In: IFIP Advances in Information and Communication Technology; Analysis, Architectures and Modelling of Embedded Systems,
Dreesen, Ralf ; Jungeblut, Thorsten ; Thies, Michael... - p. 207-217 , 2009
 
?
13

Visual Patterns Associated to Abstract Trees:

Kastens, Uwe ; Schmidt, Carsten
Electronic Notes in Theoretical Computer Science.  148 (2006)  1 - p. 5-18 , 2006
 
?
14

Memory Requirements of Java Bytecode Verification on Limite..:

Klohs, Karsten ; Kastens, Uwe
Electronic Notes in Theoretical Computer Science.  132 (2005)  1 - p. 95-111 , 2005
 
?
15

Feedback driven instruction-set extension:

Kastens, Uwe ; Le, Dinh Khoi ; Slowik, Adrian.
ACM SIGPLAN Notices.  39 (2004)  7 - p. 126-135 , 2004
 
1-15