Sciweavers

11718 search results - page 2077 / 2344
» Testing database applications
Sort
View
104
Voted
ASYNC
1999
IEEE
110views Hardware» more  ASYNC 1999»
15 years 7 months ago
Verification of Delayed-Reset Domino Circuits Using ATACS
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...
Wendy Belluomini, Chris J. Myers, H. Peter Hofstee
149
Voted
CHI
1999
ACM
15 years 7 months ago
Interactive 3D Sound Hyperstories for Blind Children
Interactive software is currently used for learning and entertainment purposes. This type of software is not very common among blind children because most computer games and elect...
Mauricio Lumbreras, Jaime Sánchez
114
Voted
ISLPED
1999
ACM
236views Hardware» more  ISLPED 1999»
15 years 7 months ago
Modeling and automating selection of guarding techniques for datapath elements
While guarded evaluation has proven an effective energy saving technique in arithmetic circuits, good methodologies do not exist for determining when and how to guard for maximal ...
William E. Dougherty, Donald E. Thomas
139
Voted
CHARME
1999
Springer
130views Hardware» more  CHARME 1999»
15 years 7 months ago
Program Slicing of Hardware Description Languages
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Ra...
105
Voted
ICCBR
1999
Springer
15 years 6 months ago
Case Representation, Acquisition, and Retrieval in SIROCCO
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
Bruce M. McLaren, Kevin D. Ashley
« Prev « First page 2077 / 2344 Last » Next »