3106 search results - page 252 / 622 » Both Generic Design and Different Forms of Designing |
181
click to vote
ICCD
2005
IEEE
16 years 4 days ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
134
click to vote
ISLPED
2005
ACM
16 years 3 days ago
2005
ACM
Reducing power dissipation and testing time is accomplished by forming two clusters of don’t-care bit inside an input and a response test cube. New reordering scheme of scan lat...
178
click to vote
UIST
2005
ACM
16 years 2 days ago
2005
ACM
This paper describes a physically embodied and animated user interface to an interactive call handling agent, consisting of a small wireless animatronic device in the form of a sq...
154
click to vote
WDAG
2005
Springer
16 years 8 hour ago
2005
Springer
Transactional Memory is a concurrent programming API in which concurrent threads synchronize via transactions (instead of locks). Although this model has mostly been studied in the...
166
click to vote
JIT
2004
Springer
15 years 12 months ago
2004
Springer
Feature modeling, a conceptual domain modeling technique used mainly in domain engineering, proved as useful for representing configurability of concepts by dealing explicitly wit...