723
click to vote
SAT
9 years 11 months ago
2015 Springer 
Abstract. In incremental SAT solving, information gained from previous similar instances has so far been limited to learned clauses that are still relevant, and heuristic informati...
682
click to vote
SAT
9 years 11 months ago
2015 Springer 
Very large MaxSAT instances, comprising 1020 clauses and beyond, commonly arise in a variety of domains. We present VOLT, a framework for solving such instances, using an iterative...
663
click to vote
SBACPAD
9 years 11 months ago
2015 IEEE
Abstract—Modern computation workloads contain abundant Data Level Parallelism(DLP), which requires specialized data parallel architectures, such as Graphics Processing Units(GPUs...
630
click to vote
SBACPAD
9 years 11 months ago
2015 IEEE 
This paper presents an operating system managed diestacked DRAM called i-MIRROR that mirrors high locality pages from the off-chip DRAM. Optimizing the problems of reducing cache ...
607
click to vote
SBACPAD
9 years 11 months ago
2015 IEEE 
—Extensive research has focused on estimating power to guide advances in power management schemes, thermal hot spots, and voltage noise. However, simulated power models are slow ...
|
Hardware