5855 search results - page 1057 / 1171 » Test generation and minimization with |
150
Voted
ERCIMDL
2001
Springer
15 years 6 months ago
2001
Springer
This paper proposes an approach to the problem of generating metadata for composite mixed-media digital objects by appropriately combining and exploiting existing knowledge or met...
106
click to vote
VRML
1999
ACM
15 years 5 months ago
1999
ACM
We describe the use of artificial life (genetic) algorithms to generate auditory behaviors within 3D graphical environments. Small, high-quality soundfiles are algorithmically rec...
139
click to vote
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
102
click to vote
ICNP
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
111
click to vote
DAC
2010
ACM
15 years 5 months ago
2010
ACM
As the geometry shrinking faces severe limitations, 3D wafer stacking with through silicon via (TSV) has gained interest for future SOC integration. Since TSV fill material and s...