Computing optimal communication schedules for time-triggered networks using an SMT solver C Schöler, R Krenz-Bååth, A Murshed, R Obermaisser 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), 1-9, 2016 | 18 | 2016 |
Optimal SAT-based scheduler for time-triggered networks-on-a-chip C Schöler, R Krenz-Bååth, A Murshed, R Obermaisser 10th IEEE International Symposium on Industrial Embedded Systems (SIES), 1-6, 2015 | 9 | 2015 |
Novel scheduling strategies for future NoC and MPSoC architectures C Schöler | 4 | 2017 |
Novel Scheduling Strategies for Future NoC and MPSoC Architectures: Neue Scheduling Strategien Für Zukünftige NoC und MPSoC Architekturen C Schöler Universitätsbibliothek, 2017 | 4* | 2017 |
A Novel Formal Verification Framework for Future MPSoC Architectures C Schöler, R Krenz-Baath, R Obermaisser Proc. on Manufacturable and Dependable Multicore Architectures at Nanoscale …, 2015 | 4 | 2015 |
A SAT-based Scheduling Framework for Multi-Processor Systems on Chips C Schöler IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 2, 2016 | | 2016 |
Dominator-based Partitioning for Efficient Scheduling in Time-Triggered NoCs Christian Schöler, René Krenz-Baath, Roman Obermaisser Euromicro Conference on Digital System Design (DSD) 2016, 2016 | | 2016 |