7393 search results - page 1207 / 1479 » Synthesis-for-testability using transformations |
142
click to vote
BIBE
2006
IEEE
15 years 10 months ago
2006
IEEE
Ribonucleic acid (RNA) molecules contain the genetic information that regulates the functions of organisms. Given two different molecules, a preserved function corresponds to a pr...
CSMR
2006
IEEE
15 years 10 months ago
2006
IEEE
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...
155
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
High level synthesis transformations play a major part in shaping the properties of the final circuit. However, most optimizations are performed without much knowledge of the fina...
151
click to vote
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
129
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Automated detection of anomalies in network traffic is an important and challenging task. In this work we propose an automated system to detect volume-based anomalies in netwo...