2012

PREUßER T.B.; KNODEL O., SPALLEK, R.G.:
Short-Read Mapping by a Systolic Custom FPGA Computation
In: Field Programmable Custom Computing Machines (FCCM 2012), Seiten 169-176, April 2012.
ISBN 978-0-7695-4699-5

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=623981

ZABEL, M.; PREUßER T.B.; SPALLEK, R.G.:
Increasing the Efficiency of an Embedded Multi-Core Bytecode Processor Using an Object Cache
In: Proceedings of the 10th International Workshop on Java
Technologies for Real-time and Embedded Systems (JTRES'12), ACM, Seiten 88--97, October 2012.
ISBN 978-1-4503-1688-0

LINDING, M., KLOTZ, T., STRAUBE, B.;
A Graph-theoretical Reduction Technique for Prime Implicant Tables
In: Proceedings 10th International Workshop on Boolean Problems, Seiten 147--154, September 2012.
Freiberg: Technische Universität Bergakademie
ISBN 978-3-86012-438-3

KLOTZ, T., NEßLER, N., STRAUBE, B., FORDRAN, E., TUREK, K., SCHÖNHERR, J.:
On the formal verification of routing in material handling systems
In: Proceedings of the 8th IEEE International Conference on Automation Science and Engineering (CASE 2012), Seiten 8--13, August 2012.
ISBN/ISSN: 978-1-4673-0428-3
Best Conference Paper Award

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6386358 

KLOTZ, T., NEßLER, N., STRAUBE, B., FORDRAN, E., TUREK, K., SCHÖNHERR, J.:
Compositional verification of material handling systems
In: Proceedings of the 17th IEEE Conference on Emerging Technologies & Factory Automation (ETFA 2012), Seiten 1--8, September 2012.
ISBN: 978-1-4673-4735-8

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6489595 

KAUFMANN, M.; KÖHLER, S.; SPALLEK, R. G.:
Dynamic Binary Instrumentation in der Anwendung für Kontextrekonstruktion
In: DASS 2012---Dresdner Arbeitstagung Schaltungs- und Systementwurf.
Stuttgart: Fraunhofer Verlag, Seiten 138--144, Mai 2012
ISBN 978-3-8396-0404-5

ZABEL, M.; OLUNCZEK, A., SPALLEK, R. G.:
Leistungssteigerung der Heap-Anbindung von Java-Bytecode-Mehrkernprozessoren
In: DASS 2012---Dresdner Arbeitstagung Schaltungs- und Systementwurf, Stuttgart: Fraunhofer Verlag, Seiten 144--149, Mai 2012
ISBN 978-3-8396-0404-5

SCHNEIDER, P.; KLOTZ, T.;
DASS 2012 - Tagungsband Dresdner Arbeitstagung Schaltungs- und Systementwurf
Stuttgart: Fraunhofer Verlag
ISBN 978-3-8396-0404-5

GAJDA, A.; SPALLEK, R. G.
From Hardware Trace to System Knowledge -- Data-intensive Hardware Trace Analysis
In: The Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE'2012), Seiten 1--4, 25.März 2012
ISBN: 978-1-61208-188-5

KLOTZ, T.; STRAUBE, B.; FORDRAN, E.; HAUFE, J. SEßLER, N., HAUFE, J., SCHULZE, F.:
Ein Ansatz zur Verifikation von Materialflusssteuerungen,
In: Proc. 15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2012),Seiten: 61--71 ,Januar/2012,
- ISBN/ISSN: 9783830062011

ZABEL,M.:
Effiziente Mehrkernarchitektur für eingebettete Java-Bytecode-Prozessoren.
In: Dissertation, Technische Universität Dresden. Verteidigung: Dezember 2011, Veröffentlichung: Februar/2012.