Sciweavers

1534 search results - page 77 / 307
» Error Reporting Logic
Sort
View
CGO
2011
IEEE
14 years 1 months ago
Practical memory checking with Dr. Memory
—Memory corruption, reading uninitialized memory, using freed memory, and other memory-related errors are among the most difficult programming bugs to identify and fix due to t...
Derek Bruening, Qin Zhao
IJCAI
1993
14 years 11 months ago
The Range of Applicability of Nonmonotonic Logics for the Inertia Problem
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
Erik Sandewall
GLVLSI
2006
IEEE
115views VLSI» more  GLVLSI 2006»
15 years 4 months ago
Yield enhancement of asynchronous logic circuits through 3-dimensional integration technology
This paper presents a systematic design methodology for yield enhancement of asynchronous logic circuits using 3-D (3-Dimensional) integration technology. In this design, the targ...
Song Peng, Rajit Manohar
DAS
2006
Springer
15 years 1 months ago
Document Logical Structure Analysis Based on Perceptive Cycles
This paper describes a Neural Network (NN) approach for logical document structure extraction. In this NN architecture, called Transparent Neural Network (TNN), the document struct...
Yves Rangoni, Abdel Belaïd
IJCAI
1989
14 years 11 months ago
Normality and Faults in Logic-Based Diagnosis
Is there one logical de nition of diagnosis? In this paper I argue that the answer to this question is \no". This paper is about the pragmatics of using logic for diagnosis w...
David Poole