44651 search results - page 430 / 8931 » Generalized |
176
click to vote
ELP
1993
15 years 11 months ago
1993
We describe how the calculus of partial inductive definitions is used to represent logics. This calculus includes the powerful principle of definitional reflection. We describe two...
180
click to vote
EDCC
1994
Springer
15 years 11 months ago
1994
Springer
This paper discusses the problems of pin-level fault injection for dependability validation and presents the architecture of a pin-level fault injector called RIFLE. This system ca...
152
click to vote
FPL
1994
Springer
15 years 11 months ago
1994
Springer
The implementation of larger digital neural networks has not been possible due to the real-estate requirements of single neurons. We present an expandable digital architecture whic...