DIPES 2008: Milano, Italy

Applications and Case Studies

• Claudius Stern, Philipp Adelt, Willi Richert, Bernd Kleinjohann:
  Hierarchically Distributing Embedded Systems for Improved Autonomy. 1-9
  
• Rui Marcelino, Horácio C. Neto, João M. P. Cardoso:
  Sorting Units for FPGA-Based Embedded Systems. 11-22
  
• Kyoungwoo Lee, Minyoung Kim, Nikil Dutt, Nalini Venkatasubramanian:
  Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded Systems. 23-34
  

Verification and Validation

• Christoph M. Kirchsteiger, Christoph Trummer, Christian Steger, Reinhold Weiss, Markus Pistauer:
  Specification-based Verification of Embedded Systems by Automated Test Case Generation. 35-44
  
• Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic:
  Analysis of Periodic Clock Relations in Polychronous Systems. 45-56
  
• Eyad Alkassar, Peter Böhm, Steffen Knapp:
  Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. 57-67
  

Design Methods and Modelling

• Sebastien Revol, Safouan Taha, François Terrier, Alain Clouard, Sébastien Gérard, Ansgar Radermacher, Jean-Luc Dekeyser:
  Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT. 69-78
  
• Simon Tjell, João M. Fernandes:
  Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables. 79-88
  
• Augustin Kebemou, Ina Schieferdecker:
  The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures. 89-100
  
• Ricardo Miotto Redin, Marcio F. da S. Oliveira, Lisane B. de Brisolara, Júlio C. B. de Mattos, Luís C. Lamb, Flávio Rech Wagner, Luigi Carro:
  On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems. 101-110
  

Resource Managment

• Meng Wang, Zili Shao, Hui Liu, Chun Jason Xue:
  Minimizing Leakage Energy with Modulo Scheduling for VLIW DSP Processors. 111-120
  
• Geovani Ricardo Wiedenhoft, Antônio Augusto Fröhlich:
  Using Imprecise Computation Techniques for Power Management in Real-Time Embedded Systems. 121-130
  
• Balaji V. Iyer, Thomas M. Conte:
  A Power Model for Register-Sharing Structures. 131-142
  

Middleware and Communication

• Rita Kalile Almeida Andrade, Thomás Alimena Del Grande, Tiago Bücker, Carlos Eduardo Pereira:
  Design and Implementation of a FTT-CAN Communication Infra-Structure for the RT-femtoJava Processor. 143-150
  
• Santiago Urueña, Juan Zamorano, José Antonio Pulido, Juan Antonio de la Puente:
  Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements. 151-160
  

Distributed Operating Systems and Timing

• Enkhbold Ochirsuren, Heiko Hinkelmann, Leandro Soares Indrusiak, Manfred Glesner:
  TinyOS Extensions for a Wireless Sensor Network Node Based on a Dynamically Reconfigurable Processor. 161-170
  
• Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
  Scheduling Dependent Distributable Real-Time Threads in Dynamic Networked Embedded Systems. 171-180
  
• Henning Zabel, Wolfgang Müller:
  An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. 181-190
  

Task and Data Partitioning

• Luís Nogueira, Luís Miguel Pinho:
  Handling QoS Dependencies in Distributed Cooperative Real-Time Systems. 191-200
  
• Baokang Zhao, Meng Wang, Zili Shao, Jiannong Cao, Keith C. C. Chan, Jinshu Su:
  Topology-Aware Energy Efficient Task Assignment for Collaborative In-Network Processing in Distributed Sensor Systems. 201-211
  
• Kyoungwoo Lee, Aviral Shrivastava, Nikil Dutt, Nalini Venkatasubramanian:
  Data Partitioning Techniques for Partially Protected Caches to Reduce Soft Error Induced Failures. 213-225
  

Last update Fri May 25 08:22:15 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page