4491 search results - page 619 / 899 » Algorithm Engineering |
172
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
167
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
1 Frequent itemset counting is the first step for most association rule algorithms and some classification algorithms. It is the process of counting the number of occurrences of ...
201
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a software implementation of a very fast parallel Reed-Solomon decoder on the second generation of MorphoSys reconfigurable computation platform, which is targ...
164
click to vote
ISORC
2003
IEEE
15 years 12 months ago
2003
IEEE
Time triggered methods provide deterministic behaviour suitable for critical real-time systems. They perform less favourably, however, if the arrival times of some activities are ...
177
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...