Software Engineering · Computer Science
Design Patterns for Multilevel Modeling and Simulation
Luca Serena, Moreno Marzolla, Gabriele D'Angelo, Stefano Ferretti
2024-03-26
Systems and Control · Electrical Eng. & Systems
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata
Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke +1
2025-06-18
Computer Vision and Pattern Recognition · Computer Science
A Holistic Approach for Modeling and Synthesis of Image Processing Applications for Heterogeneous Computing Architectures
Christian Hartmann, Anna Yupatova, Marc Reichenbach, Dietmar Fey +1
2015-02-27
Hardware Architecture · Computer Science
Model-based Hardware Design for FPGAs using Folding Transformations based on Subcircuits
Konrad Möller, Martin Kumm, Charles-Frederic Müller, Peter Zipf
2015-08-28
Other Computer Science · Computer Science
Towards a Methodology for Analysis of Interconnect Structures for 3D-Integration of Micro Systems
P. Schneider, S. Reitz, A. Wilde, G. Elst +1
2008-02-22
Distributed, Parallel, and Cluster Computing · Computer Science
Interferences within a certifiable design methodology for high-performance multi-core platforms
Mohamed Amine Khelassi, Felix Suchert, Abderaouf Amalou, Benjamin Lesage +7
2026-04-14
Optimization and Control · Mathematics
An optimization-based approach to automated design
Ion Matei, Maksym Zhenirovskyy, John Maxwell, Johan de Kleer
2023-02-17
Software Engineering · Computer Science
Supporting Modularity in Simulink Models
Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford
2020-07-21
Logic in Computer Science · Computer Science
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Abraham +2
2019-06-18
Logic in Computer Science · Computer Science
On the Verification of a WiMax Design Using Symbolic Simulation
Salim Ismail Al-Akhras, Sofiène Tahar, Gabriela Nicolescu, Michel Langevin +1
2013-08-02
Systems and Control · Electrical Eng. & Systems
Modular Model Reduction of Interconnected Systems: A Top-Down Approach
Lars A. L. Janssen, Bart Besselink, Rob H. B. Fey, Nathan van de Wouw
2023-01-23
Hardware Architecture · Computer Science
HSCO-Bench: An Agent-Driven End-to-End Hardware-Software Co-design Benchmark for Systems-on-Chip
Pei-Huan Tsai, Kuan-Lin Chiu, William Baisi, Pin-Yu Chen +1
2026-05-20