5672 search results - page 1100 / 1135 » Design techniques for low-power systems |
126
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problem...
228
click to vote
CC
2011
Springer
14 years 5 months ago
2011
Springer
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...
133
click to vote
EUROSYS
2011
ACM
14 years 5 months ago
2011
ACM
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
222
click to vote
SACMAT
2011
ACM
14 years 4 months ago
2011
ACM
The advent of emerging technologies such as Web services, serviceoriented architecture, and cloud computing has enabled us to perform business services more efficiently and effec...
AEOG
2011
14 years 1 months ago
2011
The generalization index system is one of the critical issues for computer-aided land use database generalization. This paper studies the scale and land use pattern effects on lan...