Sciweavers

334 search results - page 42 / 67
» Concurrency Among Strangers
Sort
View
POPL
2012
ACM
12 years 3 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,...
ICSE
2009
IEEE-ACM
14 years 8 months ago
FlexSync: An aspect-oriented approach to Java synchronization
Designers of concurrent programs are faced with many choices of synchronization mechanisms, among which clear functional trade-offs exist. Making synchronization customizable is h...
Charles Zhang
CHI
2008
ACM
14 years 8 months ago
A diary study of mobile information needs
Being mobile influences not only the types of information people seek but also the ways they attempt to access it. Mobile contexts present challenges of changing location and soci...
Timothy Sohn, Kevin A. Li, William G. Griswold, Ja...
ICSE
2004
IEEE-ACM
14 years 7 months ago
Toward Undoing in Composite Web Services
Cancelling or reversing the effect of a former action is a necessity in most interactive systems. The simplest and most frequent form of this facility is the "undo" comma...
Marie-Claude Gaudel
CSE
2009
IEEE
14 years 2 months ago
A Design Methodology for Self-Management in Distributed Environments
—Autonomic computing is a paradigm that aims at reducing administrative overhead by providing autonomic managers to make applications self-managing. In order to better deal with ...
Ahmad Al-Shishtawy, Vladimir Vlassov, Per Brand, S...