3107 search results - page 287 / 622 » Error-Correcting Source Code |
129
click to vote
ICANN
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Stimulus4ependent changes have been observed in the correlations between the spike trains of simultaneously-recorded pairs of neurons from the auditory cortex of marmoset...
141
click to vote
EUROSYS
2011
ACM
14 years 8 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
120
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
168
click to vote
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...
128
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Code coverage is a common measure for quantitatively assessing the quality of software testing. Code coverage indicates the fraction of code that is actually executed by tests in ...