|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 65-72, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 163-175, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Péter Arató, Bence Csák |
Hardware Definition Based on Standard C-language Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 727-736, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Martin Stark, Jan-Hendrik Oetjens, Wolfgang Rosenstiel |
A Seamless Simulink Based System Desing Flow for Automotive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 197-204, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | T. Cuenin, Olivier Romain, Patrick Garda |
Design and Modelling of an I2C Bus Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 19-31, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 364-373, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Yannick Hervé |
Simple Models for Complex Systems : A-FSM Template. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 90-98, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 342-354, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Grzegorz Labiak |
From UML statecharts to FPGA - the HiCoS approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 354-364, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 82-90, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 525-536, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 32-44, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 492-504, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Massimo Conti, Marco Caldari, Simone Orcioni |
Dynamic Power Management of an AMBA-based Platform in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 692-704, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Ivan Jeukens, Marius Strum |
Exploring Models of Computation through Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 605-616, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Engelbert Hubbers, Martijn Oostdijk |
Generating JML Specifications from UML State Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 263-274, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Werner Haas 0003, T. Bürner, Stefan Gossens, Ulrich Heinkel |
Formal Specification of a 40GBit/s Sonet/SDH ASIC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 426-435, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Dominik Fröhlich, Bernd Steinbach, Thomas Beierlein |
UML-Based Co-Design for Run-Time Reconfigurable Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 285-297, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Avi Ziv |
Functional Verification Environment for Object-oriented Hardware Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 637-646, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 385-405, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Yuhong Zhao 0001 |
Intuitive Representations for Temporal Logic Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 405-414, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven |
Platform-independent Design for Embedded Real-time Systems . ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 318-330, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Karsten Einwich, Peter Schwarz |
SystemC-AMS Steps towards an Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 72-81, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 447-456, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 719-727, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
Displaying result #701 - #725 of 725 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8] |
|