2009
ZABEL M.; SPALLEK, R. G.:
SHAP - Scalable Multi-Core Java Bytecode Processor
In: Technische Universität Dresden: Fakultät Informatik, Technische Berichte, TUD-FI09-13 - Dezember/2009.
- ISSN 1430-211X
PREUßER, T. B.; REICHEL, P. .; SPALLEK, R. G.:
A Fully-Concurrent Non-Blocking Embedded Garbage Collection Module with Support for Multiple Mutators and Weak References
In: Technische Universität Dresden: Fakultät Informatik, Technische Berichte, TUD-FI09-11 - November/2009.
- ISSN 1430-211X
BERNDT, C.; SPALLEK, R. G.:
Barrierefreies Informieren und Kommunizieren mittels Spracherkennung
In: Elektronische Sprachsignalverarbeitung 2009, Bd. 1: Tagungsband der 20. Konferenz, Dresden, TUDpress Verlag der Wissenschaften Dresden,September/2009.
- ISBN 978-3-941298-31-6 S. 295 - 301
SCHIROK, J.; KÖHLER, S.; SPALLEK, R. G.:
Trends zur Standardisierung von Multi-Core-Test und -Debugging
In: 21. Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Bremen, Februar/2009.
IRRGANG, K,-U.; KÖHLER, S.; SPALLEK, R. G.; BRAUNES, J.:
Hardwareunterstützte Beschleunigung von RTL Simulationen unter Beachtung der verwendeten Kommunikationsmuster
In: ELST, G. ASIM-Workshop Simulation technischer Systeme, Grundlagen und Methoden in Modellbildung und Simulation. Dresden, März/2009
- ISBN 978-3-8167-7981-0 S. 319
BRAUNES, J.; SPALLEK, R. G.:
A High-Level Language and Compiler to Configure the Multi-Core Debug Solution (MCDS)
In: Proc. First International Conference on Advances in System Testing and Validation Lifecycle (VALID), IEEE Computer Society September/2009.
- ISBN 978-0-7695-3774-0 S. 62-67
http://dx.doi.org/10.1109/VALID.2009.18
Best Paper Award
BRAUNES, J.; RIEßLAND, H.; WEIßE, S.:
Automatic Analysis and Optimization of the Real-Time Behavior of an Embedded Application
In: Proc. Conference on System, Software, SoC and Silicon Debug (S4D), European Electronic Chips & Systems design Initiative September/2009.
PREUßER, T. B.; SPALLEK, R. G.:
Mapping Basic Prefix Computations to Fast Carry-Chain Structures
In: 19th International Conference on Field Programmable Logic and Applications (FPL 2009), Prague, August /2009.
http://dx.doi.org/10.1109/FPL.2009.5272382
BRAUNES, J.; SPALLEK, R. G.:
Generating the Trace Qualification Configuration for MCDS from a High Level Language
In: Proc. Design, Automation & Test in Europe Conference &Exhibition (DATE), Nice, France, April /2009.
- ISBN 978-1-4244-3781-8 S. 1560-1563
PREUßER, T. B.; NÄGEL, B.; SPALLEK, R. G.:
Putting Queens in Carry Chains
In: 3rd HiPEAC Workshop on Reconfigurable Computing, Paphos, Cyprus, January/2009.
PREUßER, T. B.; NÄGEL, B.; SPALLEK, R. G.:
Putting Queens in Carry Chains
In: Technische Universität Dresden: Fakultät Informatik, Technische Berichte, TUD-FI09-03 - März/2009.
- ISSN 1430-211X.
ZABEL, M.; PREUßER, T. B.; SPALLEK, R. G.:
High-Level Architecture Modelling Assisting the Processor Platform Development, Debugging and Simulation. S. 187-196
In: Gremzow, C. (Hrsg.); Moser, N. (Hrsg.): Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV09). Fasanenstr. 88, D-10623 Berlin:
Universitätsbibliothek der TU Berlin, Januar/2009, S. 187-196.
- ISBN 978-3-7983-2118-2
HAUFE, J.; DONATH, U.; FORDRAN, E.; KLOTZ, T.; STRAUBE, B.:
Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik,
In: Proc. 12. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von
Schaltungen und Systemen (MBMV), März/2009.
S. 197-206
ROGIN, F.; KLOTZ, T.; FEY, G.; DDRECHSLER, R.; RÜLKE, S.:
Advanced verification by automatic property generation, 2009,
In: Computers & Digital Techniques, IET, vol.3, no.4, S. 338-353
ISSN: 1751-8601
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5074333&tag=1
KLOTZ, T.; FORDRAN, E.; STRAUBE, B.; HAUFE, J.:
Formal Verification of UML-modeled Machine Controls,
In: Proc. 14th IEEE Emerging Technologies and Factory Automation (ETFA), 2009
ISBN 978-1-4244-2727-7