7. FDL 2004:
Lille,
France
Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings.
ECSI 2004 BibTeX
AMS-1:
Tools For AMS Desing
AMS-2:
System Level Desing
AMS-3:
Modeling Techniques
AMS-4:
Languages Issues
AMS-5:
Practical Applications I
- Emmanuel Drouard, Matthieu Briere, Fabien Mieyeville, Ian O'Connor, X. Letartre:
Optical Network On-chip Multi-Domain modeling using SystemC.
123-135
Electronic Edition (link) BibTeX
- Anne-Marie Trullemans-Anckaert, Richard Perdriau, Mohammed Ramdani, Jean-Luc Levant:
Early Prediction of Conducted-Mode Emission of complex IC's.
135-144
Electronic Edition (link) BibTeX
- F. Dadouche, A. Alexandre, Bertrand Granado, Andréa Pinna, Patrick Garda:
A VHDL-AMS Configuration for Active Pixel Sensors.
144-156
Electronic Edition (link) BibTeX
- M. Garon, Jean-Francois Diouris, Serge Toutain, Emmanuel Cottais, Yide Wang:
Behavioural modelling of a power amplifier in VHDL-AMS.
156-158
Electronic Edition (link) BibTeX
AMS-6:
Practical Applications II
UML-1:
MDA & Methodology
UML-2:
Transformations & Code Generation
UML-3:
Methods For Real-Time
- Mathieu Maranzana, J.-F. Ponsignon, Jean-Louis Sourrouille, F. Bernier:
Timing Performances of Automatically Generated Code Using MDA Approaches.
252-12
Electronic Edition (link) BibTeX
- Jinfeng Huang, Jeroen Voeten, Andre Ventevogel:
Predictability in Real-time System Development (1) Semantics Support from Development Languages .
264-278
Electronic Edition (link) BibTeX
- Jinfeng Huang, Jeroen Voeten, Piet van der Putten, Andre Ventevogel:
Predictability in Real-time System Development (2) A Case Study .
278-289
Electronic Edition (link) BibTeX
- Arnaud Cuccuru, Pierre Boulet, Jean-Luc Dekeyser:
Regular Hardware Architecture Modeling with UML2.
289-301
Electronic Edition (link) BibTeX
UML-4:
UML Case Studies
CSD-1:
Simulation
- Andrés Takach, S. Waters, P. Gutberlet:
Fast Bit-Accurate C++ Datatypes For Functional System Verification and Synthesis.
337-345
Electronic Edition (link) BibTeX
- Mario Polaschegg, Christian Steger, Damian Dalton, Abhay Vadher:
A Generic Simulation Framework for Multiprocessor Architectures.
345-355
Electronic Edition (link) BibTeX
- Fotios Gioulekas, Michael K. Birbas, Nikos S. Voros, George Kouklaras, Alexios N. Birbas:
A Heterogeneous Co-simulation Environment for Complex Embedded Telecommunication Systems.
355-366
Electronic Edition (link) BibTeX
- Rocco Le Moigne, Olivier Pasquier, Jean Paul Calvez:
An Abstract Communication Bus Model for Performance Estimation in SoCs with SystemC (short paper).
366-378
Electronic Edition (link) BibTeX
- E. Turbatu, Samy Meftali, Smaïl Niar, Jean-Luc Dekeyser:
An automatic communication synthesis for high level SOC desing using transaction level modelling (poster).
378-380
Electronic Edition (link) BibTeX
CSD-2:
Embedded Systems Modelling & Design
CSD-3:
Results From The MEDEA SpeAC Project
CSD-4:
Application Of Languages To Special Architectures
- Kari Tiensyrjä, Miroslav Cupák, Kostas Masselos, Marko Pettissalo:
SystemC and OCAPI-xl Based System-Level Design for Reconfigurable Systems-on-Chip.
428-440
Electronic Edition (link) BibTeX
- Andreas Schallenberg, Frank Oppenheimer, Wolfgang Nebel:
Designing for dynamic partially reconfigurable FPGAs with SystemC and OSSS.
440-452
Electronic Edition (link) BibTeX
- M. Samyn, Samy Meftali, Jean-Luc Dekeyser:
MDA Based, SystemC Code Generation, Applied to Intensive Signal Processing Applications.
452-463
Electronic Edition (link) BibTeX
- M. Forsell:
Designing NOCs with a parallel extension of c.
463-475
Electronic Edition (link) BibTeX
- Luigi Pomante:
Experimenting Object-Oriented System-Level Design in the ATM domain.
475-484
Electronic Edition (link) BibTeX
- Ulrich Neffe, Christian Steger, Reinhold Weiss, Andreas Mühlberger, Edgar Rieger, Klaus Rothbart:
SystemC Based Design Space Exploration for Power Aware Smart Cards.
484-493
Electronic Edition (link) BibTeX
CSD-5:
Exploration Of New Languages
LFSV-2:
Verification Based Methodologies
LFSV-3:
Languages & Their Execution
LFSV-4:
Advances In B
LFSV-5:
Verification frameworks
Copyright © Sat May 16 23:11:59 2009
by Michael Ley (ley@uni-trier.de)
