4513 search results - page 829 / 903 » Logic programming with satisfiability |
ISLPED
2004
ACM
15 years 7 months ago
2004
ACM
This paper presents a technique called “workload decomposition” in which the CPU workload is decomposed in two parts: on-chip and off-chip. The on-chip workload signifies the ...
112
click to vote
OTM
2004
Springer
15 years 7 months ago
2004
Springer
Currently, a number of distributed software systems development tools exist, but typically they are designed either to satisfy industrial standards – industrial perspective – o...
136
click to vote
PARA
2004
Springer
15 years 7 months ago
2004
Springer
ct The Wireless World Research Forum (WWRF) has identified ambient-awareness and device diversity as two key properties of applications and services in future mobile systems [1]. ...
151
click to vote
CODES
2003
IEEE
15 years 6 months ago
2003
IEEE
One of the most challenging problems in high-level synthesis is how to quickly explore a wide range of design options to achieve high-quality designs. This paper presents an Integ...
110
click to vote
COMPGEOM
2010
ACM
15 years 6 months ago
2010
ACM
We revisit one of the most fundamental classes of data structure problems in computational geometry: range searching. Back in SoCG’92, Matouˇsek gave a partition tree method fo...