7456 search results - page 103 / 1492 » Parallelism in Logic Programming |
148
click to vote
LISP
2008
15 years 2 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
130
Voted
EH
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we perform a comparative study of different heuristics used to design combinational logic circuits. The use of local search hybridized with a genetic algorithm and ...
142
click to vote
IPPS
1997
IEEE
15 years 6 months ago
1997
IEEE
Algebraic factorization is an extremely important part of any logic synthesis system but is computationally expensive. Hence it is important to look at parallel processing to spee...
162
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
105
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Parallel simulation techniques are often employed to meet the computational requirements of large hardware simulations in order to reduce simulation time. In addition, partitionin...