default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

Refine list

refinements active!

zoomed in on ?? of ?? records

dismiss all constraints

view refined list in

dblp search

export refined list as

XML

JSON

JSONP

BibTeX

showing all ?? records

part of IFIP World Congress 2004

• 
  Chokri Mraidha, Sylvain Robert, Sébastien Gérard, David Servat:
  MDA Platform for Complex Embedded Systems Development. 1-10
• 
  Michael Kersten, Wolfgang Nebel:
  On Detecting Deadlocks in Large UML Models. 11-20
• 
  Martin Kardos, Yuhong Zhao:
  Verification Framework for UML-Based Design of Embedded Systems. 21-30

• 
  Yuhong Zhao:
  LTL's Intuitive Representations and its Automaton Translation. 31-42
• 
  Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi:
  Modeling and Verification of Hybrid Systems Based on Equations. 43-52
• 
  Wojciech Noworyta:
  Distribution of Time Interval Between Successive Interrupt Requests. 53-62

• 
  Håkan Sivencrona, Mattias Persson, Jan Torin:
  A Membership Agreement Algorithm Detecting and Tolerating Asymmetric Timing Faults. 63-72
• 
  Karen Godary-Dejean, Isabelle Augé-Blum, Anne Mignotte:
  Temporal Bounds for TTA: Validation. 73-82
• 
  Alain Girault, Hamoudi Kalla, Yves Sorel:
  An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems. 83-92

• 
  Uwe Honekamp, Matthias Wernicke:
  Development of Distributed Automotive Software: The DaVinci Methodology. 93-102
• 
  Per Johannessen, Fredrik Törner, Jan Torin:
  Experiences from Model Based Development of Drive-By-Wire Control Systems. 103-112
• 
  André Luiz de Freitas Francisco, Achim Rettberg, Andreas Hennig:
  Hardware Design and Protocol Specification for the Control and Communication within a Mechatronic System. 113-122

• 
  Jean-Paul Jamont, Michel Occello, André Lagrèze:
  A Decentralized Self-Organized Approach for Wireless Sensor Networks. 123-132
• 
  K. H. (Kane) Kim, C. S. Im, M. C. Kim, Yuqing Li, Seung-Mok Yoo, L. C. Zheng:
  A Software Architecture and Supporting Kernel for Largely Synchronously Operating Sensor Networks. 133-144
• 
  Claudia Kretzschmar, Markus Scheithauer, Dietmar Müller:
  Adaptive Bus Encoding Schemes for Power-Efficient Data Transfer in DSM Environments. 145-156

• 
  Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima:
  A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. 157-166
• 
  David Doose, Zoubir Mammeri:
  Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions. 167-176
• 
  Carsten Böke, Simon Oberthür:
  Flexible Resource Management - A Framework for Self-Optimizing Real-Time Systems. 177-186

• 
  Carsten Rust, Achim Rettberg:
  Automatic Synthesis of SystemC-Code from Formal Specifications. 187-196
• 
  John Hawkins, Ali E. Abdallah:
  Hardware Synthesis of a Parallel JPEG Decoder from its Functional Specification. 197-206
• 
  Florian Dittmann, Achim Rettberg:
  A Self-Controlled and Dynamically Reconfigurable Architecture. 207-216

• 
  Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang:
  Profiling Specification PEARL Designs. 217-226
• 
  Frank Slomka, Karsten Albers, Richard Hofmann:
  A Multiobjective Tabu Search Algorithm for the Design Space Exploration of Embedded Systems. 227-236
• 
  Júlio C. B. de Mattos, Lisane B. de Brisolara, Renato Fernandes Hentschke, Luigi Carro, Flávio Rech Wagner:
  Design Space Exploration with Automatic Generation of IP-Based Embedded Software. 237-246

• 
  Ricardo Jorge Machado, João M. Fernandes:
  A Multi-Level Design Pattern for Embedded Software. 247-256
• 
  Carsten Rust, Franz J. Rammig:
  A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded Systems. 257-266
• 
  Brigitte Oesterdiekhoff:
  Internet Premium Services for Flexible Format Distributed Services. 267-276

• 
  Lisane B. de Brisolara, Leandro Buss Becker, Luigi Carro, Flávio Rech Wagner, Carlos Eduardo Pereira:
  Evaluating High-Level Models for Real-Time Embedded Systems Design. 277-286
• 
  Ashoke Deb:
  A Dataflow Language (AVON) as an Architecture Description Language (ADL). 287-296
• 
  Uwe Glässer, Mona Vajihollahi:
  Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. 297-306
• 
  Edgard de Faria Corrêa, Eduardo W. Basso, Gustavo R. Wilke, Flávio Rech Wagner, Luigi Carro:
  The Implications of Real-Time Behavior in Networks-on-Chip Architectures. 307-316
• 
  Diogo Zandonai, Sergio Bampi, Marcel Bergerman:
  ME64 - A Parallel Hardware Architecture for Motion Estimation Implemented in FPGA. 317-326

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2024-12-23 19:18 CET by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: