6770 search results - page 898 / 1354 » How GPUs Work |
151
click to vote
CP
1995
Springer
15 years 9 months ago
1995
Springer
The forward checking algorithm for solving constraint satisfaction problems is a popular and successful alternative to backtracking. However, its successhas largely been determined...
154
click to vote
TPHOL
2000
IEEE
15 years 9 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
124
click to vote
EWSPT
1995
Springer
15 years 9 months ago
1995
Springer
A wide variety of techniques and approaches are needed to understand and improve software development processes. The critical research problem is supporting the move from completel...
184
click to vote
ICCAD
1995
IEEE
15 years 9 months ago
1995
IEEE
In this paper we investigate activity-driven clock trees to reduce the dynamic power consumption of synchronous digital CMOS circuits. Sections of an activity-driven clock tree ca...
145
click to vote
RTAS
1997
IEEE
15 years 9 months ago
1997
IEEE
A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to ...