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

Approximate Logic Synthesis of Very Large Boolean Networks (2021) Echavarria Gutiérrez JA, Wildermann S, Teich J Conference contribution, Original article HipaccVX: Wedding of OpenVX and DSL-based Code Generation (2021) Özkan MA, Ok B, Qiao B, Teich J, Hannig F Journal article, Original article HighPerMeshes -- A Domain-Specific Language for Numerical Algorithms on Unstructured Grids (2021) Alhaddad S, Förstner J, Groth S, Grünewald D, Grynko Y, Hannig F, Kenter T, et al. Conference contribution, Original article Multi-objective Optimization of Mapping Dataflow Applications to MPSoCs Using a Hybrid Evaluation Combining Analytic Models and Measurements (2020) Letras M, Falk J, Schwarzer T, Teich J Journal article, Original article Secure Boot from Non-Volatile Memory for Programmable SoC-Architectures (2020) Streit FJ, Fritz F, Becher A, Wildermann S, Werner S, Schmidt-Korth M, Pschyklenk M, Teich J Conference contribution, Conference Contribution Hybrid Application Mapping for Composable Many-Core Systems: Overview and Future Perspective (2020) Pourmohseni B, Glaß M, Henkel J, Khdr H, Rapp M, Richthammer V, Schwarzer T, et al. Journal article, other AnyHLS: High-Level Synthesis with Partial Evaluation (2020) Özkan MA, Pérard-Gayot A, Membarth R, Slusallek P, Leißa R, Hack S, Teich J, Hannig F Journal article, Original article The Best of Both Worlds: Combining CUDA Graph with an Image Processing DSL (2020) Qiao B, Özkan MA, Teich J, Hannig F Conference contribution, Original article (Semi)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications (2020) Keszöcze O, Keiner B, Richter M, Antpöhler G, Wille R Book chapter / Article in edited volumes Self-adaptive potential-based stopping criteria for Particle Swarm Optimization with forced moves (2020) Bassimir B, Schmitt M, Wanka R Journal article, Original article