DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
With new sophisticated compiler technology, it is possible to schedule distant instructions efficiently. As a consequence, the amount of exploitable instruction level parallelism...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
With the advent of multi-processor systems on a chip, the interest for message passing libraries has revived. Message passing helps in mastering the design complexity of parallel ...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
In signal integrity analysis, the joint effect of propagated noise through library cells, and of the noise injected on a quiet net by neighboring switching nets through coupling c...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
In this paper a general architecture suitable to interface several kinds of sensors for automotive applications is presented. A platform based design approach is pursued to improv...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper explores methods for hardware acceleration of Hidden Markov Model (HMM) decoding for the detection of persons in still images. Our architecture exploits the inherent st...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
The widening spectrum of applications and services provided by portable and embedded devices bring a new dimension of concerns in security. Most of those embedded systems (pay-TV,...