3224 search results - page 69 / 645 » Abstract Error Projection |
112
Voted
COMPUTER
1999
15 years 2 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
107
click to vote
FMCO
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
121
click to vote
DSN
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
127
Voted
IEEEMSP
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract—Transmission of digital contents in unavoidable noiseprone environments demands sophisticated error detection and concealment techniques to restore the perceptual qualit...
CBSE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper discusses various classifications of component interoperability errors.These classifications aim at supporting the automation of component adaptation. The us...