Sciweavers

TOS
2016
46views more  TOS 2016»
10 years 15 days ago
Classifying Data to Reduce Long-Term Data Movement in Shingled Write Disks
—Shingled Magnetic Recording (SMR) is a means of increasing the density of hard drives that brings a new set of challenges. Due to the nature of SMR disks, updating in place is n...
Stephanie N. Jones, Ahmed Amer, Ethan L. Miller, D...
TOS
2016
57views more  TOS 2016»
10 years 15 days ago
GCTrees: Garbage Collecting Snapshots
—File-system snapshots have been a key component of enterprise storage management since their inception. Creating and managing them efficiently, while maintaining flexibility a...
Chris Dragga, Douglas J. Santry
25
Voted
TOPLAS
2016
43views more  TOPLAS 2016»
10 years 15 days ago
An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation
Stefano Dissegna, Francesco Logozzo, Francesco Ran...
34
Voted
TOPLAS
2016
45views more  TOPLAS 2016»
10 years 15 days ago
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
al Key Words and Phrases: Static analysis, context-sensitive analysis, abstract interpretation ACM Reference Format: ACM Trans. Program. Lang. Syst. V, N, Article A (January YYYY),...
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang,...
TOPICS
2016
52views more  TOPICS 2016»
10 years 15 days ago
A Sampling Framework for Uncertainty in Individual Environmental Decisions
Decisions in the environmental and in particular the climate domain are burdened with uncertainty. Here, we focus on uncertainties faced by individuals when making decisions about...
Mirta Galesic, Astrid Kause, Wolfgang Gaissmaier
TOPICS
2016
46views more  TOPICS 2016»
10 years 15 days ago
Tensions Between Science and Intuition Across the Lifespan
The scientific knowledge needed to engage with policy issues like climate change, vaccination, and stem cell research often conflicts with our intuitive theories of the world. H...
Andrew Shtulman, Kelsey Harrington
TOPICS
2016
68views more  TOPICS 2016»
10 years 15 days ago
Cognitive Modeling at ICCM: State of the Art and Future Directions
The goal of cognitive modeling is to build faithful simulations of human cognition. One of the challenges is that multiple models can often explain the same phenomena. Another cha...
Niels A. Taatgen, Marieke K. van Vugt, Jelmer P. B...
TOPICS
2016
63views more  TOPICS 2016»
10 years 15 days ago
Reconciling Two Computational Models of Working Memory in Aging
Violette Hoareau, Benoît Lemaire, Sophie Por...
TON
2016
54views more  TON 2016»
10 years 15 days ago
Effect of Retransmission and Retrodiction on Estimation and Fusion in Long-Haul Sensor Networks
—In a long-haul sensor network, sensors are remotely deployed over a large geographical area to perform certain tasks, such as target tracking. In this work, we study the scenari...
Qiang Liu, Xin Wang, Nageswara S. V. Rao, Katharin...
TON
2016
32views more  TON 2016»
10 years 15 days ago
On Channel Failures, File Fragmentation Policies, and Heavy-Tailed Completion Times
—It has been recently discovered that heavy-tailed completion times can result from protocol interaction even when file sizes are light-tailed. A key to this phenomenon is the u...
Jayakrishnan Nair, Martin Andreasson, Lachlan L. H...