Sciweavers

1173 search results - page 123 / 235
» Identifying Successful Telecommuters
Sort
View
OSDI
2008
ACM
16 years 5 months ago
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
Manjunath Kudlur, Scott A. Mahlke, Stéphane...
OSDI
2008
ACM
16 years 5 months ago
HiLighter: Automatically Building Robust Signatures of Performance Behavior for Small- and Large-Scale Systems
Previous work showed that statistical analysis techniques could successfully be used to construct compact signatures of distinct operational problems in Internet server systems. B...
Armando Fox, Moisés Goldszmidt, Peter Bod&i...
ICSE
2004
IEEE-ACM
16 years 5 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...
DCC
2008
IEEE
16 years 5 months ago
Server Placement in Multiple-Description-Based Media Streaming
Multiple description coding (MDC) has emerged as a powerful technique for reliable real-time communications over lossy packet networks. In its basic form, it involves encoding a me...
Satyajeet Ahuja, Marwan Krunz
SDM
2009
SIAM
204views Data Mining» more  SDM 2009»
16 years 2 months ago
Application of Bayesian Partition Models in Warranty Data Analysis.
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...
Axel Blumenstock, Christoph Schlieder, Markus M&uu...