6059 search results - page 237 / 1212 » A Technique for Verifying Measurements |
151
click to vote
HYBRID
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
141
click to vote
ISLPED
2006
ACM
16 years 18 days ago
2006
ACM
In this paper, we identify the key challenges that oppose subthreshold circuit design and describe fabricated chips that verify techniques for overcoming the challenges. Categorie...
144
click to vote
DFT
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper presents a new jitter component analysis method for mixed mode VLSI chip testing in Automatic Test Equipment (ATE). The separate components are analyzed individually an...
139
click to vote
ISCAS
2005
IEEE
16 years 7 days ago
2005
IEEE
— A new adaptation strategy for the equalization of high speed binary links is presented which reduces patterndependent jitter. Instead of using the LMS or a related algorithm th...
183
click to vote
DALT
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...