762 search results - page 59 / 153 » Conditionally correct superoptimization |
JSCIC
2007
13 years 10 months ago
2007
Image restoration has been an active research topic and variational formulations are particularly effective in high quality recovery. Although there exist many modelling and theore...
KR
2000
Springer
14 years 1 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
SUTC
2006
IEEE
14 years 4 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...
VTS
2006
IEEE
14 years 4 months ago
2006
IEEE
A new algorithm for identifying stuck faults in combinational circuits that cannot be detected by a given input sequence is presented. Other than pre and post-processing steps, ce...
GG
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...