1534 search results - page 101 / 307 » Error Reporting Logic |
81
Voted
ASYNC
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents a systematic method for designing of a self-healing asynchronous array in the presence of errors. By adding spare resources in one of three different ways and ...
146
Voted
DPHOTO
2009
14 years 8 months ago
2009
In this paper we present a technique which infers interframe motion by tracking SIFT features through consecutive frames: feature points are detected and their stability is evalua...
CADE
2002
Springer
15 years 10 months ago
2002
Springer
This paper reports on the formal proof of correctness of a compiler from a substantial subset of Java source language to Java bytecode in the proof environment Isabelle. This work ...
90
Voted
PERCOM
2007
ACM
15 years 4 months ago
2007
ACM
The CARE middleware aims at supporting contextaware adaptation of Internet services in a mobile computing environment. The CARE hybrid reasoning mechanism is based on a loose inte...
80
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...