Sciweavers

2638 search results - page 9 / 528
» A Framework for Automatic Debugging
Sort
View
ICSE
2011
IEEE-ACM
12 years 10 months ago
LIME: a framework for debugging load imbalance in multi-threaded execution
Jungju Oh, Christopher J. Hughes, Guru Venkatarama...
POPL
2009
ACM
14 years 8 months ago
Static contract checking for Haskell
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
Dana N. Xu, Simon L. Peyton Jones, Koen Claessen
VL
2008
IEEE
111views Visual Languages» more  VL 2008»
14 years 1 months ago
Test-driven goal-directed debugging in spreadsheets
We present an error-detection and -correction approach for spreadsheets that automatically generates questions about input/output pairs and, depending on the feedback given by the...
Robin Abraham, Martin Erwig
WWW
2004
ACM
14 years 8 months ago
Edgecomputing: extending enterprise applications to the edge of the internet
Content delivery networks have evolved beyond traditional distributed caching. With services such as Akamai's EdgeComputing it is now possible to deploy and run enterprise bu...
Andy Davis, Jay Parikh, William E. Weihl
ICSE
2009
IEEE-ACM
14 years 8 months ago
In-field healing of integration problems with COTS components
Developers frequently integrate complex COTS frameworks and components in software applications. COTS products are often only partially documented, and developers may misuse techn...
Hervé Chang, Leonardo Mariani, Mauro Pezz&e...