352 search results - page 59 / 71 » Evaluating the imprecision of static analysis |
123
Voted
SQJ
2008
15 years 1 months ago
2008
Abstract. One key to several quality factors of software is the way components are connected. Software coupling can be used to estimate a number of quality factors, including maint...
109
click to vote
RV
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. We present a new approach for developing robust software applications that breaks dependences on the failed parts of an application’s execution to allow the rest of the...
121
Voted
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--NABBIT is a work-stealing library for execution of task graphs with arbitrary dependencies which is implemented as a library for the multithreaded programming language Ci...
114
Voted
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
Diagnosing software failures in the field is notoriously difficult, in part due to the fundamental complexity of trouble-shooting any complex software system, but further exacer...
167
Voted
WOSP
1998
ACM
15 years 6 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...