Sciweavers

SBACPAD
2015
IEEE
47views Hardware» more  SBACPAD 2015»
7 years 11 months ago
i-MIRROR: A Software Managed Die-Stacked DRAM-Based Memory Subsystem
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 ...
Jee Ho Ryoo, Karthik Ganesan, Yao-Min Chen, Lizy K...
SBACPAD
2015
IEEE
48views Hardware» more  SBACPAD 2015»
7 years 11 months ago
Watt Watcher: Fine-Grained Power Estimation for Emerging Workloads
—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 ...
Michael LeBeane, Jee Ho Ryoo, Reena Panda, Lizy Ku...
SBACPAD
2015
IEEE
46views Hardware» more  SBACPAD 2015»
7 years 11 months ago
Performance Characterization of Modern Databases on Out-of-Order CPUs
—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...
Reena Panda, Christopher Erb, Michael LeBeane, Jee...
SBACPAD
2015
IEEE
51views Hardware» more  SBACPAD 2015»
7 years 11 months ago
Progressive Codesign of an Architecture and Compiler Using a Proxy Application
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 ...
Arpith C. Jacob, Ravi Nair, Tong Chen, Zehra Sura,...
SBACPAD
2015
IEEE
43views Hardware» more  SBACPAD 2015»
7 years 11 months ago
A Fault-Tolerance Protocol for Parallel Applications with Communication Imbalance
Abstract—The predicted failure rates of future supercomputers loom the groundbreaking research large machines are expected to foster. Therefore, resilient extreme-scale applicati...
Esteban Meneses, Laxmikant V. Kalé
SBACPAD
2015
IEEE
53views Hardware» more  SBACPAD 2015»
7 years 11 months ago
Intra-Clustering: Accelerating On-chip Communication for Data Parallel Architectures
Abstract—Modern computation workloads contain abundant Data Level Parallelism(DLP), which requires specialized data parallel architectures, such as Graphics Processing Units(GPUs...
Wen Yuan, Rahul Boyapati, Lei Wang, Hyunjun Jang, ...
SAT
2015
Springer
44views Hardware» more  SAT 2015»
7 years 11 months ago
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances
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...
Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik
SAT
2015
Springer
23views Hardware» more  SAT 2015»
7 years 11 months ago
Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data
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...
Alexander Ivrii, Vadim Ryvchin, Ofer Strichman
SAT
2015
Springer
35views Hardware» more  SAT 2015»
7 years 11 months ago
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers
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...
Zack Newsham, William Lindsay, Vijay Ganesh, Jia H...
SAT
2015
Springer
38views Hardware» more  SAT 2015»
7 years 11 months ago
Evaluating CDCL Variable Scoring Schemes
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...
Armin Biere, Andreas Fröhlich