The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for FDL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1986-2002 (16) 2003 (70) 2004 (73) 2005 (64) 2006 (69) 2007 (63) 2008 (77) 2009 (45) 2010 (45) 2011 (30) 2012 (44) 2013 (43) 2014 (23) 2015 (17) 2016 (26) 2017 (21) 2018 (21) 2019 (20) 2020 (20) 2021 (19) 2022 (15) 2023 (16)
Publication types (Num. hits)
article(28) inproceedings(785) proceedings(24)
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
119Michael V. Mannino, Injun Choi, Don S. Batory The Object-Oriented Functional Data Language. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
79Arush Gadkar, Suresh Subramaniam 0001 FDL Design in Time-Wavelength Switched Optical Networks. Search on Bibsonomy ICC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
79Daniel Morató, Javier Aracil 0001 On the Use of Balking for Estimation of the Blocking Probability for OBS Routers with FDL Lines. Search on Bibsonomy ICOIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
72João Pedro 0001, Paulo P. Monteiro, João Pires 0001 Efficient optical burst-switched networks using only fiber delay line buffers for contention resolution. Search on Bibsonomy BROADNETS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
67Gadi 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. Search on Bibsonomy FDL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
54Joke Lambert, Wouter Rogiest, Benny Van Houdt, Dieter Fiems, Chris Blondia, Herwig Bruneel A Hessenberg Markov Chain for Fast Fibre Delay Line Length Optimization. Search on Bibsonomy ASMTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
54Jorge C. S. Castro, João Manuel Ferreira Pedro, Paulo P. Monteiro Routing and buffer placement optimization in optical burst switched networks. Search on Bibsonomy LCN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
54Marc Caillet, Jean Carrive, Cécile Roisin, François Yvon Engineering multimedia applications on the basis of multi-structured descriptions of audiovisual contents. Search on Bibsonomy SADPI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-structured descriptions, multimedia, automatic speech recognition, temporal constraints, audiovisual
54Zhangang Lin, Yue Ma 0009, Zuoquan Lin A Fault-Tolerant Default Logic. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
54Harald Øverby How the packet length distribution influences the packet loss rate in an optical packet switch. Search on Bibsonomy AICT/ICIW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
54Ayman G. Fayoumi, Anura P. Jayasumana Performance Model of an Optical Switch using Fiber Delay Lines for Resolving Contentions. Search on Bibsonomy LCN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Chad M. Cumby, Dan Roth Learning with Feature Description Logics. Search on Bibsonomy ILP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
48Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira Formal specification applied to industrial LAN's design. Search on Bibsonomy EUROMICRO The full citation details ... 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
43Perfecto Mariño, Miguel Angel Domínguez, Francisco Poza, Juan B. Nogueira Design of Distributed System Protocols based on Standard FDL's. Search on Bibsonomy EUROMICRO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
42 Forum on Specification & Design Languages, FDL 2023, Turin, Italy, September 13-15, 2023 Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Marcel Christian Werner, Klaus Schneider 0001 Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Hokeun Kim Secure Programming Platform for Edge-Based IoT: Wild-and-Crazy-Idea Paper. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Markus Plattner, Chedi Fassi, Florian Kreiner, Jintin Frank, Philipp Radecker, Markus Zimmermann Satellite Payload Design for Optimized Thermal Management Using a Distributed Processor System. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Jeremy Pope, Carl-Johan H. Seger Bifröst: Creating Hardware With Building Blocks. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Felix Böseler, Jörg Walter 0001 A Flexible Graph Language for a Model-Based Semi-Automatic CGRA Compilation Flow. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Daniele Jahier Pagliari, Matteo Risso, Beatrice Alessandra Motetti, Alessio Burrello PLiNIO: A User-Friendly Library of Gradient-Based Methods for Complexity-Aware DNN Optimization. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Alessandro 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. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Christopher A. Metz, Christina Plump, Bernhard J. Berger, Rolf Drechsler Hybrid PTX Analysis for GPU accelerated CNN inferencing aiding Computer Architecture Design. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Vivek Govindasamy, Rainer Dömer Instruction-Level Modeling and Evaluation of a Cache-Less Grid of Processing Cells. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Milan Funck, Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Frans Skarman, Lucas Klemmer, Oscar Gustafsson, Daniel Große Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Jan Zielasko, Rolf Drechsler Virtual Prototype Driven Application Specific Hardware Optimization. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Luigi 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. Search on Bibsonomy FDL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42 Forum on Specification & Design Languages, FDL 2022, Linz, Austria, September 14-16, 2022 Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Niklas 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. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev Formal Modelling of Burst-Mode Specifications in a Distributed Environment. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Rodolfo Jordão, Fahimeh Bahrami, Rui Chen, Ingo Sander A multi-view and programming language agnostic framework for model-driven engineering. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Conrad Foik, Daniel Mueller-Gritschneder, Ulf Schlichtmann CorePerfDSL: A Flexible Processor Description Language for Software Performance Simulation. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Felix 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. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Marcel Christian Werner, Klaus Schneider 0001 From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Rahul Krishnamurthy, Michael S. Hsiao Automated Suggestions Framework for Processing Hardware Specifications Written in English. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Alexandra Küster, Rainer Dorsch, Christian Haubelt, Karsten Einwich Virtual Prototyping in SystemC AMS for Validation of Tight Sensor/Firmware Interaction in Smart Sensors. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Alexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Sergi 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. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Lucas Klemmer, Sonja Gurtner, Daniel Große Formal Verification of SUBLEQ Microcode implementing the RV32I ISA. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Francesco Tosoni 0002, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Jan Zielasko, Sören Tempel, Vladimir Herdt, Rolf Drechsler 3D Visualization of Symbolic Execution Traces. Search on Bibsonomy FDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42 24th Forum on specification & Design Languages, FDL 2021, Antibes, France, September 8-10, 2021 Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Francesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Mehran Goli, Rolf Drechsler VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Joaquín Aguado, Alejandra Duenas Synchronised Shared Memory and Model Checking: A Proof of Concept. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Loïc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Javier Merino, Raul Gomez, Hector Posadas, Eugenio Villar Modeling and Performance Estimation of Robotic Systems using ROS: Application to drone-based Services. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch Extracting Mode Diagrams from Blech Code. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Eric Senn, Lucie Bourdon Introducing CPU load Analysis from AADL Models for ROS applications : a use case. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Sebastiano 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. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts, Franco Fummi A Common Manipulation Framework for Transistor-Level Languages. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Sören Tempel, Vladimir Herdt, Rolf Drechsler In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Victor Grimblatt The Challenge of Agriculture: Increase the Productivity in a Sustainable Way. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh Debugging and Verification Tools for Lingua Franca in Gemoc Studio. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Emad Malekzadeh Arasteh, Rainer Dömer Improving Parallelism in System Level Models by Assessing PDES Performance. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Geri Skenderi, Alessia Bozzini, Luigi Capogrosso, Enrico Carlo Agrillo, Giovanni Perbellini, Franco Fummi, Marco Cristani DOHMO: Embedded Computer Vision in Co-Housing Scenarios. Search on Bibsonomy FDL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42 Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020 Search on Bibsonomy FDL The full citation details ... 2020 DBLP  BibTeX  RDF
42Franç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. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón ComPy-Learn: A toolbox for exploring machine learning representations for compilers. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Matthew Johns, Tom J. Kazmierski A Minimal RISC-V Vector Processor for Embedded Systems. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Wolfgang Scherr, Karsten Einwich Beyond real number modeling: Comparison of analog modeling approaches. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Hugh Leather, Chris Cummins Machine Learning in Compilers: Past, Present and Future. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42George Ungureanu, Rodolfo Jordão, Ingo Sander Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Saranya Natarajan, David Broman Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Freek 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. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee A Language for Deterministic Coordination Across Multiple Timelines. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Michel A. Reniers, Sander Thuijsman Supervisory Control for Dynamic Feature Configuration in Product Lines. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Carna 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. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Stephen A. Edwards, John Hui The Sparse Synchronous Model. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet From Lustre to Graphical Models and SCCharts. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler Efficient Cross-Level Testing for Processor Verification: A RISC- V Case-Study. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Aurélien Lamercerie, Benoît Caillaud An Algebra of Deterministic Propositional Acceptance Automata (DPAA). Search on Bibsonomy FDL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Tom 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 Search on Bibsonomy FDL The full citation details ... 2019 DBLP  BibTeX  RDF
42Oliver Keszöcze, Ian G. Harris Chatbot-based assertion generation from natural language specifications. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42George Ungureanu, Timmy Sundström, Anders Åhlander, Ingo Sander, Ingemar Söderquist Formal Design, Co-Simulation and Validation of a Radar Signal Processing System. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Simone 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. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Heinz Riener Exact Synthesis of LTL Properties from Traces. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip A Multi-Rate Precision Timed Programming Language for Multi-Cores. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Manuel Strobel, Martin Radetzki A Backend Tool for the Integration of Memory Optimizations into Embedded Software. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Vladimir 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⋆. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Muhammad Hassan 0002, Daniel Große, Thilo Vörtler, Karsten Einwich, Rolf Drechsler Functional Coverage-Driven Characterization of RF Amplifiers. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Ginés Doménech-Asensi, Tom J. Kazmierski Simulation Acceleration of Image Filtering on CMOS Vision Chips Using Many-Core Processors. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik RTL Assertion Mining with Automated RTL-to-TLM Abstraction. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Jie Hou, Martin Radetzki A methodology to compute long-term fault resilience of NoCs under fault-tolerant routing algorithms. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Marten Lohstroh, Edward A. Lee Deterministic Actors. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Gianluca Martino, Görschwin Fey Syntax-Guided Enumeration of Temporal Properties. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Friederike Bruns, Philipp Ittershagen, Kim Grüttner Time Measurement and Control Blocks for Bare-Metal C++ Applications. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Lukas Gressl, Christian Steger, Ulrich Neffe Security Driven Design Space Exploration for Embedded Systems. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler Towards Object-Oriented Modeling in SCCharts. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Giovanni Liboni, Julien Deantoni WIP on a Coordination Language to Automate the Generation of Co-Simulations. Search on Bibsonomy FDL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Hiren D. Patel, Tom J. Kazmierski, Sebastian Steinhorst (eds.) 2018 Forum on Specification & Design Languages, FDL 2018, Garching, Germany, September 10-12, 2018 Search on Bibsonomy FDL The full citation details ... 2018 DBLP  BibTeX  RDF
42Ege Korkan, Sebastian Käbisch, Matthias Kovatsch, Sebastian Steinhorst Sequential Behavioral Modeling for Scalable IoT Devices and Systems. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Zhongqi Cheng, Tim Schmidt, Rainer Dömer SystemC Coding Guideline for Faster Out-of-order Parallel Discrete Event Simulation. Search on Bibsonomy FDL The full citation details ... 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 XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license