DATE
2009
IEEE
13 years 12 months ago
2009
IEEE
FlexRay [9] is an automotive standard for high-speed and reliable communication that is being widely deployed for next generation cars. The protocol has powerful errordetection me...
DATE
2009
IEEE
13 years 12 months ago
2009
IEEE
DATE
2009
IEEE
13 years 12 months ago
2009
IEEE
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...
ASPDAC
2009
ACM
13 years 12 months ago
2009
ACM
—Redundant via insertion is a widely recommended technique to enhance the via yield and reliability. In this paper, the post-routing redundant via insertion problem is transforme...
ECMDAFA
2010
Springer
13 years 12 months ago
2010
Springer
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
ECMDAFA
2010
Springer
13 years 12 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
ECBS
2010
IEEE
13 years 12 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...
ECBS
2010
IEEE
13 years 12 months ago
2010
IEEE
Simple, stateless networking protocols provide a low-cost and predictable foundation upon which to build decentralised applications. Sensornets are complex, containing emergent be...
ASPDAC
2009
ACM
13 years 12 months ago
2009
ACM
DATE
2010
IEEE
13 years 12 months ago
2010
IEEE
Due to increases in design complexity, routing a reset signal to all registers is becoming more difficult. One way to solve this problem is to reset only certain registers and rely...