1310 search results - page 197 / 262 » On a Class of Traceability Codes |
TIT
2002
13 years 9 months ago
2002
Abstract--Two-dimensional interleaving schemes with repetitions are considered. These schemes are required for the correction of two-dimensional bursts (or clusters) of errors in a...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
Software evolution research inherently has several resourceintensive logistical constraints. Archived project artifacts, such as those found in source code repositories and bug tr...
ASPLOS
2009
ACM
14 years 10 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...