Christian Zebelein
According to our database1,
Christian Zebelein
authored at least 18 papers
between 2008 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Proceedings of the Handbook of Hardware/Software Codesign., 2017
2015
Throughput-optimizing Compilation of Dataflow Applications for Multi-Cores using Quasi-Static Scheduling.
Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015
Quasi-static scheduling of data flow graphs in the presence of limited channel capacities.
Proceedings of the 13th IEEE Symposium on Embedded Systems For Real-time Multimedia, 2015
2014
A model-based approach for the specification and refinement of streaming applications.
PhD thesis, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
2013
Proceedings of the Handbook of Signal Processing Systems, 2013
A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs.
ACM Trans. Embed. Comput. Syst., 2013
Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013
Model-Based Representation of Schedules for Dataflow Graphs.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013
Proceedings of the 2013 Forum on specification and Design Languages, 2013
Using stream rewriting for mapping and scheduling data flow graphs onto many-core architectures.
Proceedings of the 2013 Asilomar Conference on Signals, 2013
2012
Exploiting Model-Knowledge in High-Level Synthesis.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012
2011
A rule-based static dataflow clustering algorithm for efficient embedded software synthesis.
Proceedings of the Design, Automation and Test in Europe, 2011
2010
ACM Trans. Embed. Comput. Syst., 2010
Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the Handbook of Signal Processing Systems, 2010
2008
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008