• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 18 matches

• 2020
• 
  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. FDL 2020: 1-8
• 
  Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden:
  A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. FDL 2020: 1-8
• 
  Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón:
  ComPy-Learn: A toolbox for exploring machine learning representations for compilers. FDL 2020: 1-4
• 
  Stephen A. Edwards, John Hui:
  The Sparse Synchronous Model. FDL 2020: 1-8
• 
  Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele:
  Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. FDL 2020: 1-8
• 
  Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet:
  From Lustre to Graphical Models and SCCharts. FDL 2020: 1-8
• 
  Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler:
  Efficient Cross-Level Testing for Processor Verification: A RISC- V Case-Study. FDL 2020: 1-7
• 
  Matthew Johns, Tom J. Kazmierski:
  A Minimal RISC-V Vector Processor for Embedded Systems. FDL 2020: 1-4
• 
  Aurélien Lamercerie, Benoît Caillaud:
  An Algebra of Deterministic Propositional Acceptance Automata (DPAA). FDL 2020: 1-8
• 
  Hugh Leather, Chris Cummins:
  Machine Learning in Compilers: Past, Present and Future. FDL 2020: 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. FDL 2020: 1-8
• 
  Saranya Natarajan, David Broman:
  Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. FDL 2020: 1-8
• 
  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. FDL 2020: 1-8
• 
  Michel A. Reniers, Sander Thuijsman:
  Supervisory Control for Dynamic Feature Configuration in Product Lines. FDL 2020: 1-8
• 
  Wolfgang Scherr, Karsten Einwich:
  Beyond real number modeling: Comparison of analog modeling approaches. FDL 2020: 1-5
• 
  George Ungureanu, Rodolfo Jordão, Ingo Sander:
  Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems. FDL 2020: 1-4
• 
  Carna Zivkovic, Christoph Grimm, Johannes Kölsch, D. Short, M. Ferstl, Dirk Denger, D. Krems, Andre Barisic:
  Bringing Uncertainties into System Simulation: A SystemC AMS Case Study. FDL 2020: 1-6
• 
  Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020. IEEE 2020, ISBN 978-1-7281-8928-4 [contents]