Sciweavers

3007 search results - page 212 / 602
» Designed -in-diagnostics: A new optical method
Sort
View
DAC
2010
ACM
15 years 4 months ago
A robust periodic arnoldi shooting algorithm for efficient analysis of large-scale RF/MM ICs
The verification of large radio-frequency/millimeter-wave (RF/MM) integrated circuits (ICs) has regained attention for high-performance designs beyond 90nm and 60GHz. The traditio...
Xuexin Liu, Hao Yu, Sheldon X.-D. Tan
IV
2008
IEEE
112views Visualization» more  IV 2008»
16 years 29 days ago
Directions for Methodological Research in Information Visualization
—People within and outside the information visualization community are motivated to create new tools to address their own unique problems of understanding data. However, the tec...
Brock Craft, Paul A. Cairns
FDL
2003
IEEE
15 years 12 months ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
APSEC
1999
IEEE
15 years 11 months ago
Conducting Requirements Evolution by Replacing Components in the Current System
As new software components become available for an existing system, we can evolve not only the system itself but also its requirements based on the new components. In this paper, ...
Haruhiko Kaiya, Kenji Kaijiri
TEI
2010
ACM
150views Hardware» more  TEI 2010»
16 years 1 months ago
The representation and control of time in tangible user interfaces: (summary of PhD research)
This paper summarises the author’s PhD research on the representation and control of time in tangible user interfaces. The aim of the research is to create a theoretical framewo...
Peter Bennett