TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 3.

Bockisch, Christoph and Kanthak, Sebastian and Haupt, Michael and Arnold, Mathew and Mezini, Mira :
Efficient Control Flow Quantification.
In: 'OOPSLA '06 : Proceedings of the 2Ist ACM SIGPLAN Conference on Object-oriented programming, Systems, languages, and applications .
[Conference or Workshop Item] , (2006)

Eichberg, Michael and Kanthak, Sebastian and Kloppenburg, Sven and Mezini, Mira and Schuh, Tobias :
Incremental Confined Types Analysis.
In: Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications (LDTA 2006). Electronic Notes in Theoretical Computer Science, 164 (2). Elsevier
[Book Section] , (2006)

Heenes, Wolfgang and Hoffmann, Rolf and Kanthak, Sebastian :
{FPGA} Implementations of the Massively Parallel {GCA} Model.
19th International Parallel and Distributed Processing Symposium (19th IPDPS'05) IEEE Computer Society
[Conference or Workshop Item] , (2005)

This list was generated on Tue May 21 01:26:55 2019 CEST.