7393 search results - page 418 / 1479 » Synthesis-for-testability using transformations |
159
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
146
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
We present a general method for evaluating and visualizing evolutionary dynamics of self-replicators using a graph-based representation for genealogy. Through a transformation from...
136
click to vote
EGH
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we propose an effective bump mapping algorithm that utilizes the reference space with the polar coordinate system and also propose a new hardware architecture assoc...
121
click to vote
ISMIR
2003
Springer
15 years 11 months ago
2003
Springer
Systems for sound retrieval are usually “sourcecentred”. This means that retrieval is based on using the proper keywords that define or specify a sound source. Although this t...
152
click to vote
CC
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper presents a framework for supporting the optimization of Java programs using attributes in Java class files. We show how class file attributes may be used to ...