Sciweavers

528 search results - page 71 / 106
» Modularizing error recovery
Sort
View
OOPSLA
2005
Springer
14 years 1 months ago
Exploring the acceptability envelope
An acceptability envelope is a region of imperfect but acceptable software systems surrounding a given perfect system. Explicitly targeting the acceptability envelope during devel...
Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen
TC
2010
13 years 6 months ago
PERFECTORY: A Fault-Tolerant Directory Memory Architecture
—The number of CPUs in chip multiprocessors is growing at the Moore’s Law rate, due to continued technology advances. However, new technologies pose serious reliability challen...
Hyunjin Lee, Sangyeun Cho, Bruce R. Childers
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
KBSE
2008
IEEE
14 years 2 months ago
XE (eXtreme Editor) - Bridging the Aspect-Oriented Programming Usability Gap
—In spite of the modularization benefits supported by the Aspect-Oriented programming paradigm, different usability issues have hindered its adoption. The decoupling between asp...
Wiwat Ruengmee, Roberto Silveira Silva Filho, Sush...
ESCIENCE
2006
IEEE
14 years 1 months ago
Worqbench: An Integrated Framework for e-Science Application Development
With the proliferation of Grid computing, potentially vast computational resources are available for solving complex problems in science and engineering. However, writing, deployi...
Donny Kurniawan, David Abramson