1188 search results - page 89 / 238 » Testing Semantics: Connecting Processes and Process Logics |
133
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
Multicolor fluorescence in-situ hybridization (M-FISH) technique provides color karyotyping that allows simultaneous analysis of numerical and structural abnormalities of whole hu...
136
click to vote
CIBCB
2007
IEEE
15 years 10 months ago
2007
IEEE
—DNA matching is a crucial step in sequence alignment. Since sequence alignment is an approximate matching process there is a need for good approximate algorithms. The process of...
140
click to vote
UTP
2010
15 years 2 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
154
click to vote
EVOW
2001
Springer
15 years 8 months ago
2001
Springer
The integrated circuits design flow is rapidly moving towards higher description levels. However, test-related activities are lacking behind this trend, mainly since effective faul...
117
click to vote
ITC
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper addresses the problem of efficiently and accurately generating two-vector tests for crosstalk induced effects, such as pulses, signal speedup and slowdown, in digital c...