2265 search results - page 144 / 453 » Recovering Exchanged Data |
143
Voted
FAC
2010
14 years 12 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
160
Voted
ICST
2011
IEEE
14 years 6 months ago
2011
IEEE
—Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques wer...
136
click to vote
PPOPP
2010
ACM
15 years 12 months ago
2010
ACM
To achieve high-performance on multicore systems, sharedmemory parallel languages must efficiently implement atomic operations. The commonly used and studied paradigms for atomici...
126
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
138
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: The increasing availability of fungal genome sequences provides large numbers of proteins for evolutionary and phylogenetic analyses. However the heterogeneity of data...