73 search results - page 4 / 15 » Error Detection through Consistency Checking |
MICRO
2007
IEEE
15 years 3 months ago
2007
IEEE
We have developed Argus, a novel approach for providing low-cost, comprehensive error detection for simple cores. The key to Argus is that the operation of a von Neumann core cons...
133
click to vote
SUTC
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
ISW
2005
Springer
15 years 3 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
86
Voted
GI
2009
Springer
14 years 7 months ago
2009
Springer
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...
VL
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a reasoning system for inferring dimension information in spreadsheets. This system can be used to check the consistency of spreadsheet formulas and can be employed to ...