283 search results - page 4 / 57 » Error Detection Using BMC in a Parallel Environment |
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
DSN
2006
IEEE
13 years 11 months ago
2006
IEEE
Distributed sensor networks are highly prone to accidental errors and malicious activities, owing to their limited resources and tight interaction with the environment. Yet only a...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
A novel error detection/correction technique for algorithmic self-assembly is presented in this paper. Through the use of a tile set that allows errors to be isolated and propagat...
PVM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. An MPI profiling library is a standard mechanism for intercepting MPI calls by applications. Profiling libraries are so named because they are commonly used to gather p...
IVC
2002
13 years 7 months ago
2002
A man-made environment is characterized by many parallel lines and orthogonal edges. In this article, a new method for detecting the three mutually orthogonal directions of such a...