SBACPAD
2015
IEEE
8 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 ...
SBACPAD
2015
IEEE
8 years 8 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 ...
SBACPAD
2015
IEEE
8 years 8 months ago
2015
IEEE
—Big data revolution has created an unprecedented demand for intelligent data management solutions on a large scale. While data management has traditionally been used as a synony...
SBACPAD
2015
IEEE
8 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 ...
SBACPAD
2015
IEEE
8 years 8 months ago
2015
IEEE
Abstract—The predicted failure rates of future supercomputers loom the groundbreaking research large machines are expected to foster. Therefore, resilient extreme-scale applicati...
SBACPAD
2015
IEEE
8 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...
SAT
2015
Springer
8 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...
SAT
2015
Springer
8 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...
SAT
2015
Springer
8 years 8 months ago
2015
Springer
In this paper, we present SATGraf, a tool for visualizing the evolution of the structure of a Boolean SAT formula in real time as it is being processed by a conflict-driven clause...
SAT
2015
Springer
8 years 8 months ago
2015
Springer
Abstract. The VSIDS (variable state independent decaying sum) decision heuristic invented in the context of the CDCL (conflict-driven clause learning) SAT solver Chaff, is consid...