3686 search results - page 167 / 738 » Comprehensive comprehensions |
CADE
1998
Springer
14 years 1 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
HPCN
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. The performance of HPF codes is in uenced by the characteristics of the parallel system and by the e ciency of the compilation system. Performance analysis has to take in...
SIGCSE
1997
ACM
14 years 1 months ago
1997
ACM
Algorithm animation has been applied to a huge variety of algorithms, and has been found to be of enormous benefit in assisting with their comprehension. However, the radical natu...
ISPAN
1996
IEEE
14 years 1 months ago
1996
IEEE
In this paper, we study a synchronous execution strategy f o r parallel join computation in multiprocessor systems. Through a further comprehensive investigation of the processor ...
VL
1994
IEEE
14 years 1 months ago
1994
IEEE
Though visual access to spatial database systems has attracted much attention in recent years, there have only few deductive visual languages for spatial information systems been ...