default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd FDL 2020: Kiel, Germany
- Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020. IEEE 2020, ISBN 978-1-7281-8928-4
- George Ungureanu, Rodolfo Jordão, Ingo Sander:
Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems. 1-4 - Wolfgang Scherr, Karsten Einwich:
Beyond real number modeling: Comparison of analog modeling approaches. 1-5 - Hugh Leather, Chris Cummins:
Machine Learning in Compilers: Past, Present and Future. 1-8 - Saranya Natarajan, David Broman:
Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. 1-8 - Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen
, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten:
QRML: A Component Language and Toolset for Quality and Resource Management. 1-8 - Michel A. Reniers, Sander Thuijsman:
Supervisory Control for Dynamic Feature Configuration in Product Lines. 1-8 - Stephen A. Edwards, John Hui:
The Sparse Synchronous Model. 1-8 - Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee:
A Language for Deterministic Coordination Across Multiple Timelines. 1-8 - Matthew Johns, Tom J. Kazmierski:
A Minimal RISC-V Vector Processor for Embedded Systems. 1-4 - Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler:
Efficient Cross-Level Testing for Processor Verification: A RISC- V Case-Study. 1-7 - Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele:
Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. 1-8 - Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden:
A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. 1-8 - Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet:
From Lustre to Graphical Models and SCCharts. 1-8 - Aurélien Lamercerie, Benoît Caillaud:
An Algebra of Deterministic Propositional Acceptance Automata (DPAA). 1-8 - Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón:
ComPy-Learn: A toolbox for exploring machine learning representations for compilers. 1-4 - François Pêcheux, Liliana Andrade, Marie-Minerve Louërat, Ilias Bournias, Roselyne Chotin, Daniela Genius:
Virtual Prototyping of Open Source Heterogeneous Systems with an Open Source Framework Featuring SystemC MDVP Extensions. 1-8 - Carna Zivkovic, Christoph Grimm, Johannes Kölsch, D. Short, M. Ferstl, Dirk Denger, D. Krems, A. Barisic:
Bringing Uncertainties into System Simulation: A SystemC AMS Case Study. 1-6
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-07 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
