Sciweavers

TOS
2016
57views more  TOS 2016»
10 years 13 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
TOPLAS
2016
43views more  TOPLAS 2016»
10 years 13 days ago
An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation
Stefano Dissegna, Francesco Logozzo, Francesco Ran...
TOPLAS
2016
45views more  TOPLAS 2016»
10 years 13 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 13 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 13 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