Sciweavers

4445 search results - page 334 / 889
» Use of statistical timing analysis on real designs
Sort
View
ASYNC
1999
IEEE
110views Hardware» more  ASYNC 1999»
15 years 11 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
HCI
2009
15 years 4 months ago
Effects of Design Elements in Magazine Advertisements
In this study, unlike previous studies where participants were instructed to pay attention to the advertisements, we set up a more naturalistic situation of reading magazine. Five ...
Young Sam Ryu, Taewon Suh, Sean Dozier
MSE
1999
IEEE
204views Hardware» more  MSE 1999»
15 years 11 months ago
A PC-based Educational Tool for CMOS Integrated Circuit Design
This paper presents a PC based software running on PC dedicated to the training in sub-micron CMOS VLSI design. The software firstly consists in a HDL-based schematic editor with ...
Etienne Sicard, Chen Xi
ICDE
2008
IEEE
139views Database» more  ICDE 2008»
16 years 8 months ago
Simultaneous Equation Systems for Query Processing on Continuous-Time Data Streams
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...
Jennie Rogers, Olga Papaemmanouil, Ugur Çet...
ISOLA
2010
Springer
15 years 4 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle