Hybrid Dynamical Systems for Memristor Modelling (Englisch)
An Approach to Avoid the Terminal-State Problem
- Neue Suche nach: Haase, Joachim
- Neue Suche nach: Lange, André
- Neue Suche nach: Louërat, Marie-Minerve
- Neue Suche nach: Maehne, Torsten
- Neue Suche nach: Haase, Joachim
- Neue Suche nach: Lange, André
In:
Languages, Design Methods, and Tools for Electronic System Design
: Selected Contributions from FDL 2013
;
Kapitel: 5
;
87-101
;
2014
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Hybrid Dynamical Systems for Memristor Modelling
-
Untertitel:An Approach to Avoid the Terminal-State Problem
-
Weitere Titelangaben:Lect. Notes Electrical Eng.
-
Beteiligte:Louërat, Marie-Minerve ( Herausgeber:in ) / Maehne, Torsten ( Herausgeber:in ) / Haase, Joachim ( Autor:in ) / Lange, André ( Autor:in )
-
Erschienen in:Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2013 ; Kapitel: 5 ; 87-101Lecture Notes in Electrical Engineering ; 311 ; 87-101
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:22.08.2014
-
Format / Umfang:15 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Optimal Component Selection for Energy-Efficient SystemsSauppe, Matthias / Horn, Thomas / Markert, Erik / Heinkel, Ulrich / Sahm, Hans-Werner / Otto, Klaus-Holger et al. | 2014
- 2
-
Assisting Refinement in System-on-Chip DesignMokrani, Hocine / Ameur-Boulifa, Rabéa / Encrenaz-Tiphene, Emmanuelle et al. | 2014
- 3
-
A New Assertion Property Language for Analog/Mixed-Signal CircuitsFisher, Andrew N. / Kulkarni, Dhanashree / Myers, Chris J. et al. | 2014
- 4
-
Integrating Circuit Analyses for Assertion-Based Verification of Programmable AMS CircuitsUlus, Dogan / Sen, Alper / Baskaya, Faik et al. | 2014
- 5
-
Hybrid Dynamical Systems for Memristor ModellingHaase, Joachim / Lange, André et al. | 2014
- 6
-
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to HomogeneityFummi, Franco / Lora, Michele / Stefanni, Francesco / Vinco, Sara et al. | 2014
- 7
-
SystemC Modeling with Transaction EventsHaetzer, Bastian / Radetzki, Martin et al. | 2014
- 8
-
Automatic Generation of Virtual Prototypes from Platform TemplatesAttarzadeh Niaki, Seyed Hosein / Mikulcak, Marcus / Sander, Ingo et al. | 2014
- 9
-
Combining Analytical and Simulation-Based Design Space Exploration for Efficient Time-Critical and Mixed-Criticality SystemsHerrera, Fernando / Sander, Ingo et al. | 2014
- 10
-
Bridging Algorithm and ESL Design: MATLAB/Simulink Model Transformation and ValidationZhang, Liyuan / Glaß, Michael / Ballmann, Nils / Teich, Jürgen et al. | 2014
- 11
-
Software Allocation in Automotive Networked Embedded Systems: A Graph-Based ApproachShoukry, Yasser / El-Kharashi, M. Watheq / Hammad, Sherif / Kumar, Ajay / Bahig, Ghada et al. | 2014
- 12
-
Fine-Grained Adaptive SimulationEggenberger, Marcus / Radetzki, Martin et al. | 2014
- 13
-
Model-Based Design of Real Time Embedded Application ReconfigurationBen Said, Mouna / Hadj Kacem, Yessine / Ben Amor, Nader / Kerboeuf, Mickaël / Abid, Mohamed et al. | 2014
- 14
-
Split of Composite Components for Distributed ApplicationsRadermacher, Ansgar / Gürcan, Önder / Cuccuru, Arnaud / Gérard, Sébastien / Hamid, Brahim et al. | 2014
- 15
-
ProMARTES: Performance Analysis Method and Toolkit for Real-Time SystemsTriantafyllidis, Konstantinos / Bondarev, Egor / de With, Peter H. N. et al. | 2014