Hierarchically Distributing Embedded Systems for Improved Autonomy. [Citation Graph (, )][DBLP]
Sorting Units for FPGA-Based Embedded Systems. [Citation Graph (, )][DBLP]
Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded Systems. [Citation Graph (, )][DBLP]
Specification-based Verification of Embedded Systems by Automated Test Case Generation. [Citation Graph (, )][DBLP]
Analysis of Periodic Clock Relations in Polychronous Systems. [Citation Graph (, )][DBLP]
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. [Citation Graph (, )][DBLP]
Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT. [Citation Graph (, )][DBLP]
Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables. [Citation Graph (, )][DBLP]
The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures. [Citation Graph (, )][DBLP]
On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems. [Citation Graph (, )][DBLP]
Minimizing Leakage Energy with Modulo Scheduling for VLIW DSP Processors. [Citation Graph (, )][DBLP]
Using Imprecise Computation Techniques for Power Management in Real-Time Embedded Systems. [Citation Graph (, )][DBLP]
A Power Model for Register-Sharing Structures. [Citation Graph (, )][DBLP]
Design and Implementation of a FTT-CAN Communication Infra-Structure for the RT-femtoJava Processor. [Citation Graph (, )][DBLP]
Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements. [Citation Graph (, )][DBLP]
TinyOS Extensions for a Wireless Sensor Network Node Based on a Dynamically Reconfigurable Processor. [Citation Graph (, )][DBLP]