5553 search results - page 146 / 1111 » Parallel Implementation of Sch |
143
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
102
click to vote
ILP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
122
click to vote
EUROMICRO
2002
IEEE
15 years 8 months ago
2002
IEEE
The Mobile Multimedia Modem (M3)-DSP is based on a scalable, highly parallel DSP platform concept capable of delivering the processing power to create software solutions for tasks...
119
click to vote
IEEEHPCS
2010
15 years 1 months ago
2010
This work presents the design and implementation of a massively parallel 3-SAT solver, specifically targeting random problem instances. Our approach is deterministic and features ...
127
click to vote
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
The deluge of available data for analysis demands the need to scale the performance of data mining implementations. With the current architectural trends, one of the major challen...