Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Cauerstraße 11
91058 Erlangen

Publications (Download BibTeX)
1 of 41

Conference contribution
Pirkl J, Becher A, Echavarria Gutiérrez JA, et al. - Ed.: (2017)
Self-Adaptive FPGA-Based Image Processing Filters Using Approximate Arithmetics
Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems

Journal article
Khdr H, Pagani S, Sousa É, et al. (2017)
Power Density-Aware Resource Management for Heterogeneous Tiled Multicores
IEEE Transactions on Computers

Conference contribution
Smirnov F, Glaß M, Reimann F, et al. (2017)
Optimizing Message Routing and Scheduling in Automotive Mixed-Criticality Time-Triggered Networks
Proceedings of 54th ACM/EDAC/IEEE Design Automation Conference (DAC 2017)

Journal article
Zaib A, Heisswolf J, Weichslgartner A, et al. (2017)
Efficient Task Spawning for Shared Memory and Message Passing in Many-core Architectures
Journal of Systems Architecture

Conference contribution
Mühlenthaler M, Raß A, Schmitt M, et al. - Ed.: ACM New York, NY, USA (2017)
Runtime Analysis of a Discrete Particle Swarm Optimization Algorithm on Sorting and OneMax
Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms

Journal article
Khosravi F, Glaß M, Teich J (2017)
Automatic Reliability Analysis in the Presence of Probabilistic Common Cause Failures
IEEE Transactions on Reliability

Other publication type (Technical Report)
Teich J - Ed.: Friedrich-Alexander Universität Erlangen-Nürnberg (FAU), Department of CS 12, Hardware-Software-Co-Design, et al. (2017)
Run-Time Monitoring and Enforcement of Non-functional Program Properties of Invasive Programs: Terms and Definitions

Conference contribution
Smirnov F, Glaß M, Reimann F, et al. (2017)
Formal Timing Analysis of Non-Scheduled Traffic in Automotive Scheduled TSN Networks
Proceedings of Design, Automation and Test in Europe (DATE) 2017

Conference contribution
Pourmohseni B, Glaß M, Teich J (2017)
Automatic Operating Point Distillation for Hybrid Mapping Methodologies
Design, Automation & Test in Europe Conference & Exhibition (DATE)

Unpublished / Preprint
Schmitt C, Schmid M, Kuckuk S, et al. (2017)
Reconfigurable Hardware Generation of Multigrid Solvers with Conjugate Gradient Coarse-Grid Solution
Parallel Processing Letters

Journal article
Aliee H, Borgonovo E, Glaß M, et al. (2017)
On the Boolean Extension of the Birnbaum Importance to Non-Coherent Systems
Reliability Engineering & System Safety

Journal article
Schwarzer T, Weichslgartner A, Glaß M, et al. (2017)
Symmetry-eliminating Design Space Exploration for Hybrid Application Mapping on Many-Core Architectures
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Conference contribution
Brand P, Ah Sue J, Brendel J, et al. - Ed.: ACM (2017)
Exploiting Predictability in Dynamic Network Communication for Power-Efficient Data Transmission in LTE Radio Systems
20th International Workshop on Software and Compilers for Embedded Systems (SCOPES’17)

Journal article
Köstler H, Schmitt C, Kuckuk S, et al. (2017)
A Scala Prototype to Generate Multigrid Solver Implementations for Different Problems and Target Multi-Core Platforms
International Journal of Computational Science and Engineering

Journal article
Reiche O, Özkan MA, Hannig F, et al. (2017)
Loop Parallelization Techniques for FPGA Accelerator Synthesis
Journal of Signal Processing Systems

Conference contribution
Reiche O, Kobylko C, Hannig F, et al. - Ed.: ACM (2017)
Auto-vectorization for Image Processing DSLs
Proceedings of the 18th International Conference on Languages, Compilers, Tools, and Theory for Embedded Systems (LCTES)

Conference contribution
Fickenscher J, Reinhart S, Bouzouraa ME, et al. - Ed.: IEEE (2017)
Convoy Tracking for ADAS on Embedded GPUs
Intelligent Vehicles Symposium (IV 2017)

Additional related publications

Article in Edited Volumes
Lari V (2016)
Invasive Tightly Coupled Processor Arrays
Springer book series on Computer Architecture and Design Methodologies

Conference contribution
Wasza J, Bauer S, Haase S, et al. - Ed.: Eisert Peter, Hornegger Joachim, Polthier Konrad (2011)
RITK: The Range Imaging Toolkit - A Framework for 3-D Range Image Stream Processing
VMV 2011: Vision, Modeling & Visualization

Conference contribution
Niemann B, Haubelt C (2006)
Assertion-Based Verification of Transaction Level Models
Proceedings of the 9th ITG/GMM/GI Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Conference contribution
Niemann B, Haubelt C (2006)
Formalizing TLM with Communicating State Machines
Proceedings Forum on Specification and Design Languages (FDL'06)

Article in Edited Volumes
Haubelt C - Ed.: Jürgen Becker, Marco Platzner, and Serge Vernalde (2004)
Design Space Exploration for Distributed Hardware Reconfigurable Systems
Field-Programmable Logic and Applications - Lecture Notes in Computer Science

Share link
Last updated on 2016-05-05 at 04:58
PDF downloaded successfully