1116 search results - page 220 / 224 » Applying Predicate Abstraction to Abstract State Machines |
FCCM
2000
IEEE
15 years 3 months ago
2000
IEEE
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...
94
Voted
FQAS
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. With more and more electronic information sources becoming widely available, the issue of the quality of these often-competing sources has become germane. We propose a st...
AB
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Haplotype inference from genotype data is a key computational problem in bioinformatics, since retrieving directly haplotype information from DNA samples is not feasible ...
104
click to vote
ICPP
1995
IEEE
15 years 2 months ago
1995
IEEE
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...
114
click to vote
ECIR
2007
Springer
15 years 14 days ago
2007
Springer
Abstract. We present a framework that assesses relevance with respect to several relevance criteria, by combining the query-dependent and query-independent evidence indicating thes...