2858 search results - page 264 / 572 » Logics with Aggregate Operators |
168
click to vote
IOLTS
2003
IEEE
15 years 12 months ago
2003
IEEE
A methodology for the synthesis of partially selfchecking multilevel logic circuits with low-cost paritybased concurrent error detection (CED) is described. A subset of the inputs...
172
click to vote
ISMVL
2003
IEEE
15 years 12 months ago
2003
IEEE
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area...
198
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...
150
click to vote
ICLP
1994
Springer
15 years 10 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
188
click to vote
DFT
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a concurrent error detection technique for the control logic of a modern microprocessor. Our method is based on execution time prediction for each instruction ...