Abstract is missing.
- A Language for Deterministic Coordination Across Multiple TimelinesMarten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee. 1-8 [doi]
- A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCChartsAndreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden. 1-8 [doi]
- Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of BlechFriedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele. 1-8 [doi]
- Bringing Uncertainties into System Simulation: A SystemC AMS Case StudyCarna Zivkovic, Christoph Grimm 0001, Johannes Kölsch, D. Short, M. Ferstl, Dirk Denger, D. Krems, A. Barisic. 1-6 [doi]
- ComPy-Learn: A toolbox for exploring machine learning representations for compilersAlexander Brauckmann, Andrés Goens, Jerónimo Castrillón. 1-4 [doi]
- From Lustre to Graphical Models and SCChartsLena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet. 1-8 [doi]
- QRML: A Component Language and Toolset for Quality and Resource ManagementFreek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten. 1-8 [doi]
- A Minimal RISC-V Vector Processor for Embedded SystemsMatthew Johns, Tom J. Kazmierski. 1-4 [doi]
- Exploiting Dataflow Models for Parallel Simulation of Discrete Timed SystemsGeorge Ungureanu, Rodolfo Jordão, Ingo Sander. 1-4 [doi]
- Supervisory Control for Dynamic Feature Configuration in Product LinesMichel A. Reniers, Sander Thuijsman. 1-8 [doi]
- Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph SemanticsSaranya Natarajan, David Broman. 1-8 [doi]
- An Algebra of Deterministic Propositional Acceptance Automata (DPAA)Aurélien Lamercerie, Benoît Caillaud. 1-8 [doi]
- The Sparse Synchronous ModelStephen A. Edwards, John Hui. 1-8 [doi]
- Beyond real number modeling: Comparison of analog modeling approachesWolfgang Scherr, Karsten Einwich. 1-5 [doi]
- Machine Learning in Compilers: Past, Present and FutureHugh Leather, Chris Cummins. 1-8 [doi]
- Efficient Cross-Level Testing for Processor Verification: A RISC- V Case-StudyVladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler. 1-7 [doi]
- Virtual Prototyping of Open Source Heterogeneous Systems with an Open Source Framework Featuring SystemC MDVP ExtensionsFrançois Pêcheux, Liliana Andrade, Marie-Minerve Louërat, Ilias Bournias, Roselyne Chotin, Daniela Genius. 1-8 [doi]