692
click to vote
SAT
9 years 8 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...
648
click to vote
SAT
9 years 8 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...
638
Voted
SBACPAD
9 years 8 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...
596
Voted
SBACPAD
9 years 8 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 ...
577
click to vote
SBACPAD
9 years 8 months ago
2015 IEEE 
Abstract—The Active Memory Cube (AMC) is a novel nearmemory processor that exploits high memory bandwidth and low latency close to DRAM to execute scientific applications in an ...
|
Hardware