Sciweavers

3481 search results - page 85 / 697
» A New Approach to Component Testing
Sort
View
DAC
2000
ACM
15 years 10 months ago
An asymptotically constant, linearly bounded methodology for the statistical simulation of analog circuits including component m
Abstract: This paper presents a new statistical methodology to simulate the effect of both inter-die and intra-die variation on the electrical performance of analog integrated circ...
Carlo Guardiani, Sharad Saxena, Patrick McNamara, ...
IFM
2004
Springer
15 years 11 months ago
Verifying Controlled Components
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
Steve Schneider, Helen Treharne
DATE
2005
IEEE
224views Hardware» more  DATE 2005»
15 years 12 months ago
Low-Cost Multi-Gigahertz Test Systems Using CMOS FPGAs and PECL
This paper describes two research projects that develop new low-cost techniques for testing devices with multiple high-speed (2 to 5 Gbps) signals. Each project uses commercially ...
David C. Keezer, C. Gray, A. M. Majid, N. Taher
ICCS
2007
Springer
16 years 13 days ago
A New Method to Model Neighborhood Interaction in Cellular Automata-Based Urban Geosimulation
Local spatial interaction (i.e. neighborhood interaction) between land-use types is an important component in Cellular Automata -based urban geosimulation models. Herein a new meth...
Yaolong Zhao, Yuji Murayama
ICSE
2000
IEEE-ACM
15 years 10 months ago
Component design of retargetable program analysis tools that reuse intermediate representations
Interactive program analysis tools are often tailored to one particular representation of programs, making adaptation to a new language costly. One way to ease adaptability is to ...
James Hayes, William G. Griswold, Stuart Moskovics