197 search results - page 29 / 40 » Abstraction Techniques for Validation Coverage Analysis and ... |
118
Voted
FAC
2008
15 years 12 days ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
100
click to vote
FROCOS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
86
Voted
ITC
1997
IEEE
15 years 4 months ago
1997
IEEE
- An all-digital technique for the measurement of the jitter transfer function of charge-pump phase-locked loops is introduced. Input jitter may be generated using one of two metho...
SIGIR
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents an algorithm to generate possible variants for biomedical terms. The algorithm gives each variant its generation probability representing its plausibility, whi...
120
click to vote
KDD
2002
ACM
16 years 23 days ago
2002
ACM
The problem of analyzing microarray data became one of important topics in bioinformatics over the past several years, and different data mining techniques have been proposed for ...