|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 40 occurrences of 38 keywords
|
|
|
|
|
Results
Found 837 publication records. Showing 837 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 119 | Michael V. Mannino, Injun Choi, Don S. Batory |
The Object-Oriented Functional Data Language.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics |
| 79 | Arush Gadkar, Suresh Subramaniam 0001 |
FDL Design in Time-Wavelength Switched Optical Networks. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
| 79 | Daniel Morató, Javier Aracil 0001 |
On the Use of Balking for Estimation of the Blocking Probability for OBS Routers with FDL Lines. |
ICOIN |
2006 |
DBLP DOI BibTeX RDF |
|
| 72 | João Pedro 0001, Paulo P. Monteiro, João Pires 0001 |
Efficient optical burst-switched networks using only fiber delay line buffers for contention resolution. |
BROADNETS |
2007 |
DBLP DOI BibTeX RDF |
|
| 67 | Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon D. ter Braak, Sergei Devadze, Görschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Könighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao |
Designing reliable cyber-physical systems overview associated to the special session at FDL'16. |
FDL |
2016 |
DBLP DOI BibTeX RDF |
|
| 54 | Joke Lambert, Wouter Rogiest, Benny Van Houdt, Dieter Fiems, Chris Blondia, Herwig Bruneel |
A Hessenberg Markov Chain for Fast Fibre Delay Line Length Optimization. |
ASMTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 54 | Jorge C. S. Castro, João Manuel Ferreira Pedro, Paulo P. Monteiro |
Routing and buffer placement optimization in optical burst switched networks. |
LCN |
2008 |
DBLP DOI BibTeX RDF |
|
| 54 | Marc Caillet, Jean Carrive, Cécile Roisin, François Yvon |
Engineering multimedia applications on the basis of multi-structured descriptions of audiovisual contents. |
SADPI |
2007 |
DBLP DOI BibTeX RDF |
multi-structured descriptions, multimedia, automatic speech recognition, temporal constraints, audiovisual |
| 54 | Zhangang Lin, Yue Ma 0009, Zuoquan Lin |
A Fault-Tolerant Default Logic. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 54 | Harald Øverby |
How the packet length distribution influences the packet loss rate in an optical packet switch. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
|
| 54 | Ayman G. Fayoumi, Anura P. Jayasumana |
Performance Model of an Optical Switch using Fiber Delay Lines for Resolving Contentions. |
LCN |
2003 |
DBLP DOI BibTeX RDF |
|
| 54 | Chad M. Cumby, Dan Roth |
Learning with Feature Description Logics. |
ILP |
2002 |
DBLP DOI BibTeX RDF |
|
| 48 | Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira |
Formal specification applied to industrial LAN's design. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
industrial LAN design, real-time field bus, PROFIBUS, industrial communication networks, data link layer, FDL, formal specification, formal specification, prototyping, software tools, methodology, LOTOS, data types, performance tests, formal specification language |
| 43 | Perfecto Mariño, Miguel Angel Domínguez, Francisco Poza, Juan B. Nogueira |
Design of Distributed System Protocols based on Standard FDL's. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
|
| 42 | |
Forum on Specification & Design Languages, FDL 2023, Turin, Italy, September 13-15, 2023 |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | Marcel Christian Werner, Klaus Schneider 0001 |
Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | Hokeun Kim |
Secure Programming Platform for Edge-Based IoT: Wild-and-Crazy-Idea Paper. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | Markus Plattner, Chedi Fassi, Florian Kreiner, Jintin Frank, Philipp Radecker, Markus Zimmermann |
Satellite Payload Design for Optimized Thermal Management Using a Distributed Processor System. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler |
Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | Jeremy Pope, Carl-Johan H. Seger |
Bifröst: Creating Hardware With Building Blocks. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | Felix Böseler, Jörg Walter 0001 |
A Flexible Graph Language for a Model-Based Semi-Automatic CGRA Compilation Flow. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | Daniele Jahier Pagliari, Matteo Risso, Beatrice Alessandra Motetti, Alessio Burrello |
PLiNIO: A User-Friendly Library of Gradient-Based Methods for Complexity-Aware DNN Optimization. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | Alessandro Beghi, Nicola Dall'Ora, Davide Dalle Pezze, Franco Fummi, Chiara Masiero, Stefano Spellini, Gian Antonio Susto, Francesco Tosoni 0002 |
VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination Paper. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | Christopher A. Metz, Christina Plump, Bernhard J. Berger, Rolf Drechsler |
Hybrid PTX Analysis for GPU accelerated CNN inferencing aiding Computer Architecture Design. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | Vivek Govindasamy, Rainer Dömer |
Instruction-Level Modeling and Evaluation of a Cache-Less Grid of Processing Cells. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | Milan Funck, Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler |
Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | Frans Skarman, Lucas Klemmer, Oscar Gustafsson, Daniel Große |
Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | Jan Zielasko, Rolf Drechsler |
Virtual Prototype Driven Application Specific Hardware Optimization. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | Luigi Capogrosso, Alessio Mascolini, Federico Girella, Geri Skenderi, Sebastiano Gaiardelli, Nicola Dall'Ora, Francesco Ponzio, Enrico Fraccaroli, Santa Di Cataldo, Sara Vinco, Enrico Macii, Franco Fummi, Marco Cristani |
Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper. |
FDL |
2023 |
DBLP DOI BibTeX RDF |
|
| 42 | |
Forum on Specification & Design Languages, FDL 2022, Linz, Austria, September 14-16, 2022 |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | Niklas Bruns, Vladimir Herdt, Rolf Drechsler |
Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev |
Formal Modelling of Burst-Mode Specifications in a Distributed Environment. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | Rodolfo Jordão, Fahimeh Bahrami, Rui Chen, Ingo Sander |
A multi-view and programming language agnostic framework for model-driven engineering. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | Conrad Foik, Daniel Mueller-Gritschneder, Ulf Schlichtmann |
CorePerfDSL: A Flexible Processor Description Language for Software Performance Simulation. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | Felix Böseler, Jörg Walter 0001, Behnam Razi Perjikolaei |
A Comparison of Virtual Platform Simulation Solutions for Timing Prediction of Small RISC-V Based SoCs. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | Marcel Christian Werner, Klaus Schneider 0001 |
From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | Rahul Krishnamurthy, Michael S. Hsiao |
Automated Suggestions Framework for Processing Hardware Specifications Written in English. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | Alexandra Küster, Rainer Dorsch, Christian Haubelt, Karsten Einwich |
Virtual Prototyping in SystemC AMS for Validation of Tight Sensor/Firmware Interaction in Smart Sensors. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | Alexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler |
Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | Sergi Alcaide, Guillem Cabo, Francisco Bas, Pedro Benedicte, Francisco Fuentes, Feng Chang, Ilham Lasfar, Ramon Canal, Jaume Abella 0001 |
SafeX: Open Source Hardware and Software Components for Safety-Critical Systems. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | Lucas Klemmer, Sonja Gurtner, Daniel Große |
Formal Verification of SUBLEQ Microcode implementing the RV32I ISA. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | Francesco Tosoni 0002, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi |
A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | Jan Zielasko, Sören Tempel, Vladimir Herdt, Rolf Drechsler |
3D Visualization of Symbolic Execution Traces. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | |
24th Forum on specification & Design Languages, FDL 2021, Antibes, France, September 8-10, 2021 |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Francesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri |
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Mehran Goli, Rolf Drechsler |
VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Joaquín Aguado, Alejandra Duenas |
Synchronised Shared Memory and Model Checking: A Proof of Concept. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch |
DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Loïc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau |
CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Javier Merino, Raul Gomez, Hector Posadas, Eugenio Villar |
Modeling and Performance Estimation of Robotic Systems using ROS: Application to drone-based Services. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch |
Extracting Mode Diagrams from Blech Code. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Eric Senn, Lucie Bourdon |
Introducing CPU load Analysis from AADL Models for ROS applications : a use case. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi |
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts, Franco Fummi |
A Common Manipulation Framework for Transistor-Level Languages. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Sören Tempel, Vladimir Herdt, Rolf Drechsler |
In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Victor Grimblatt |
The Challenge of Agriculture: Increase the Productivity in a Sustainable Way. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh |
Debugging and Verification Tools for Lingua Franca in Gemoc Studio. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler |
RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Emad Malekzadeh Arasteh, Rainer Dömer |
Improving Parallelism in System Level Models by Assessing PDES Performance. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | Geri Skenderi, Alessia Bozzini, Luigi Capogrosso, Enrico Carlo Agrillo, Giovanni Perbellini, Franco Fummi, Marco Cristani |
DOHMO: Embedded Computer Vision in Co-Housing Scenarios. |
FDL |
2021 |
DBLP DOI BibTeX RDF |
|
| 42 | |
Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020 |
FDL |
2020 |
DBLP BibTeX RDF |
|
| 42 | 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 |
DBLP DOI BibTeX RDF |
|
| 42 | Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón |
ComPy-Learn: A toolbox for exploring machine learning representations for compilers. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
| 42 | Matthew Johns, Tom J. Kazmierski |
A Minimal RISC-V Vector Processor for Embedded Systems. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
| 42 | Wolfgang Scherr, Karsten Einwich |
Beyond real number modeling: Comparison of analog modeling approaches. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
| 42 | Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden |
A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
| 42 | Hugh Leather, Chris Cummins |
Machine Learning in Compilers: Past, Present and Future. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
| 42 | George Ungureanu, Rodolfo Jordão, Ingo Sander |
Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
| 42 | Saranya Natarajan, David Broman |
Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
| 42 | 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 |
DBLP DOI BibTeX RDF |
|
| 42 | 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 |
DBLP DOI BibTeX RDF |
|
| 42 | Michel A. Reniers, Sander Thuijsman |
Supervisory Control for Dynamic Feature Configuration in Product Lines. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
| 42 | Carna Zivkovic, Christoph Grimm 0001, Johannes Kölsch, D. Short, M. Ferstl, Dirk Denger, D. Krems, A. Barisic |
Bringing Uncertainties into System Simulation: A SystemC AMS Case Study. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
| 42 | Stephen A. Edwards, John Hui |
The Sparse Synchronous Model. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
| 42 | Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet |
From Lustre to Graphical Models and SCCharts. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
| 42 | Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler |
Efficient Cross-Level Testing for Processor Verification: A RISC- V Case-Study. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
| 42 | Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele |
Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
| 42 | Aurélien Lamercerie, Benoît Caillaud |
An Algebra of Deterministic Propositional Acceptance Automata (DPAA). |
FDL |
2020 |
DBLP DOI BibTeX RDF |
|
| 42 | Tom J. Kazmierski, Reinhard von Hanxleden, Terrence S. T. Mak (eds.) |
2019 Forum for Specification and Design Languages, FDL 2019, Southampton, United Kingdom, September 2-4, 2019 |
FDL |
2019 |
DBLP BibTeX RDF |
|
| 42 | Oliver Keszöcze, Ian G. Harris |
Chatbot-based assertion generation from natural language specifications. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | George Ungureanu, Timmy Sundström, Anders Åhlander, Ingo Sander, Ingemar Söderquist |
Formal Design, Co-Simulation and Validation of a Radar Signal Processing System. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno |
Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Heinz Riener |
Exact Synthesis of LTL Properties from Traces. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip |
A Multi-Rate Precision Timed Programming Language for Multi-Cores. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Manuel Strobel, Martin Radetzki |
A Backend Tool for the Integration of Memory Optimizations into Embedded Software. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha Benz, Oliver Bringmann 0001, Michael Schwarz 0010, Dominik Stoffel, Wolfgang Kunz |
Systematic RISC-V based Firmware Design⋆. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Muhammad Hassan 0002, Daniel Große, Thilo Vörtler, Karsten Einwich, Rolf Drechsler |
Functional Coverage-Driven Characterization of RF Amplifiers. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Ginés Doménech-Asensi, Tom J. Kazmierski |
Simulation Acceleration of Image Filtering on CMOS Vision Chips Using Many-Core Processors. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik |
RTL Assertion Mining with Automated RTL-to-TLM Abstraction. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Jie Hou, Martin Radetzki |
A methodology to compute long-term fault resilience of NoCs under fault-tolerant routing algorithms. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Marten Lohstroh, Edward A. Lee |
Deterministic Actors. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi |
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Gianluca Martino, Görschwin Fey |
Syntax-Guided Enumeration of Temporal Properties. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Friederike Bruns, Philipp Ittershagen, Kim Grüttner |
Time Measurement and Control Blocks for Bare-Metal C++ Applications. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Lukas Gressl, Christian Steger, Ulrich Neffe |
Security Driven Design Space Exploration for Embedded Systems. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler |
Towards Object-Oriented Modeling in SCCharts. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Giovanni Liboni, Julien Deantoni |
WIP on a Coordination Language to Automate the Generation of Co-Simulations. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 42 | Hiren D. Patel, Tom J. Kazmierski, Sebastian Steinhorst (eds.) |
2018 Forum on Specification & Design Languages, FDL 2018, Garching, Germany, September 10-12, 2018 |
FDL |
2018 |
DBLP BibTeX RDF |
|
| 42 | Ege Korkan, Sebastian Käbisch, Matthias Kovatsch, Sebastian Steinhorst |
Sequential Behavioral Modeling for Scalable IoT Devices and Systems. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
| 42 | Zhongqi Cheng, Tim Schmidt, Rainer Dömer |
SystemC Coding Guideline for Faster Out-of-order Parallel Discrete Event Simulation. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 837 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license