Sciweavers

2302 search results - page 298 / 461
» The Evolution of Concurrent Programs
Sort
View
ASPLOS
2012
ACM
14 years 2 months ago
Data races vs. data race bugs: telling the difference with portend
Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like ď...
Baris Kasikci, Cristian Zamfir, George Candea
POPL
2012
ACM
14 years 2 months ago
Sound predictive race detection in polynomial time
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski,...
ICFP
2003
ACM
16 years 6 months ago
A user-centred approach to functions in Excel
We describe extensions to the Excel spreadsheet that integrate userdefined functions into the spreadsheet grid, rather than treating them as a "bolt-on". Our first objec...
Simon L. Peyton Jones, Alan F. Blackwell, Margaret...
CVPR
2006
IEEE
16 years 8 months ago
Segmentation by Level Sets and Symmetry
Shape symmetry is an important cue for image understanding. In the absence of more detailed prior shape information, segmentation can be significantly facilitated by symmetry. How...
Tammy Riklin-Raviv, Nahum Kiryati, Nir A. Sochen
VIS
2009
IEEE
163views Visualization» more  VIS 2009»
16 years 7 months ago
Visual Exploration of Climate Variability Changes Using Wavelet Analysis
Due to its nonlinear nature, the climate system shows quite high natural variability on different time scales, including multiyear oscillations such as the El Ni~no Southern Oscill...
Heike Jänicke, Michael Böttinger, Uwe Mikolaje...