Sciweavers

8636 search results - page 1332 / 1728
» How Developers Copy
Sort
View
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 8 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
140
Voted
CANDT
2009
15 years 8 months ago
Supportive communication, sense of virtual community and health outcomes in online infertility groups
Women are turning to online health groups to deal with the stresses and complications of infertility. Online groups may provide a resource that is potentially absent in their face...
Jennifer L. Welbourne, Anita L. Blanchard, Marla D...
172
Voted
ICDCS
2010
IEEE
15 years 8 months ago
Visual, Log-Based Causal Tracing for Performance Debugging of MapReduce Systems
Abstract—The distributed nature and large scale of MapReduce programs and systems poses two challenges in using existing profiling and debugging tools to understand MapReduce pr...
Jiaqi Tan, Soila Kavulya, Rajeev Gandhi, Priya Nar...
ESEM
2007
ACM
15 years 8 months ago
Cognitive Limits of Software Cost Estimation
This paper explores the cognitive limits of estimation in the context of software cost estimation. Two heuristics, representativeness and anchoring, motivate two experiments invol...
Ricardo Valerdi
EUROSYS
2007
ACM
15 years 8 months ago
Adding dynamic reconfiguration support to JBoss AOP
The majority of aspect-oriented middlewares supporting dynamic aspect weaving fail to preserve important safety properties while weaving or unweaving a distributed aspect at runti...
Nico Janssens, Eddy Truyen, Frans Sanen, Wouter Jo...
« Prev « First page 1332 / 1728 Last » Next »