13591 search results - page 2595 / 2719 » On the Implementation of Dynamic Evaluation |
175
click to vote
SAT
2009
Springer
16 years 29 days ago
2009
Springer
We investigate the role of cycles structures (i.e., subsets of clauses of the form ¯l1 ∨ l2, ¯l1 ∨ l3, ¯l2 ∨ ¯l3) in the quality of the lower bound (LB) of modern MaxSAT ...
197
click to vote
APLAS
2009
ACM
16 years 28 days ago
2009
ACM
Abstract. Context-sensitive points-to analysis is critical for several program optimizations. However, as the number of contexts grows exponentially, storage requirements for the a...
172
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 28 days ago
2009
ACM
Recently, the use of in-vehicle navigation devices, such as PNDs (Personal or Portable Navigation Devices) has become pervasive, and the device functions have been rapidly expande...
203
click to vote
CF
2009
ACM
16 years 28 days ago
2009
ACM
Recently, multi-core architectures with alternative memory subsystem designs have emerged. Instead of using hardwaremanaged cache hierarchies, they employ software-managed embedde...
215
click to vote
FDG
2009
ACM
16 years 28 days ago
2009
ACM
In recent years the popularity of music and rhythm-based games has experienced tremendous growth. However almost all of these games require custom hardware to be used as input dev...