|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 725 publication records. Showing 725 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tom J. Kazmierski, Hessa Al-Junaid |
Synchronization of analogue and digital solvers in mixed-signal simulation on a SystemC platform.  |
FDL  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fazrena A. Hamid, Tom J. Kazmierski |
FIST - a VHDL-AMS based architectural synthesis strategy for integrated high-frequency analogue filters. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Péter Arató, Bence Csák |
Hardware Definition Based on Standard C-language Source Code. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Martin Stark, Jan-Hendrik Oetjens, Wolfgang Rosenstiel |
A Seamless Simulink Based System Desing Flow for Automotive Applications. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | T. Cuenin, Olivier Romain, Patrick Garda |
Design and Modelling of an I2C Bus Controller. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Leandro Soares Indrusiak, Ricardo Reis 0001, Manfred Glesner |
Supporting Consistency Control between Functional and Structural Views in Interface-based Design Models. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yannick Hervé |
Simple Models for Complex Systems : A-FSM Template. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Trung Hieu Phan, Sébastien Gérard, François Terrier |
Real-time system modeling with ACCORD/UML methodology: Illustration through an automotive case study. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Grzegorz Labiak |
From UML statecharts to FPGA - the HiCoS approach. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Wilhelm Heupke, Christoph Grimm 0001, Klaus Waldschmidt |
A New Method for Modeling and Analysis of Accuracy and Tolerances in Mixed-Signal Systems. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stefan Förster, Marco Fischer, Dieter Monjau, André Windisch, Burkhard Balser |
Process Algebraic Specification, Refinement, and Verification of Embedded Systems. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Rachid Guelaz, Djilali Kourtiche, Mustapha Nadi |
A behavioural description with VHDL-AMS of a piezo-ceramic ultrasound transducer based on the Redwood's model. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein |
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Massimo Conti, Marco Caldari, Simone Orcioni |
Dynamic Power Management of an AMBA-based Platform in SystemC. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ivan Jeukens, Marius Strum |
Exploring Models of Computation through Static Analysis. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Engelbert Hubbers, Martijn Oostdijk |
Generating JML Specifications from UML State Diagrams. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Werner Haas 0003, T. Bürner, Stefan Gossens, Ulrich Heinkel |
Formal Specification of a 40GBit/s Sonet/SDH ASIC. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Dominik Fröhlich, Bernd Steinbach, Thomas Beierlein |
UML-Based Co-Design for Run-Time Reconfigurable Architectures. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Avi Ziv |
Functional Verification Environment for Object-oriented Hardware Designs. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | George Logothetis, Klaus Schneider 0001, C. Metzler |
Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yuhong Zhao 0001 |
Intuitive Representations for Temporal Logic Formulas. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven |
Platform-independent Design for Embedded Real-time Systems . |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Karsten Einwich, Peter Schwarz |
SystemC-AMS Steps towards an Implementation. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marco Fischer, André Windisch, Stefan Förster, Burkhard Balser, Dieter Monjau |
A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marco Caldari, Massimo Conti, Paolo Crippa, Simone Orcioni, Claudio Turchetti |
Design and Power Analysis in SysteC of an I2C Bus Driver. |
FDL |
2003 |
DBLP BibTeX RDF |
|
Displaying result #701 - #725 of 725 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license