EDCC
1994
Springer
14 years 25 days ago
1994
Springer
A new control flow checking scheme, based on assigned-signature checking by a watchdog processor, is presented. This scheme is suitable for a multitasking, multiprocessor environme...
EDCC
1994
Springer
14 years 25 days 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...
FCT
1993
Springer
14 years 25 days ago
1993
Springer
FCT
1993
Springer
14 years 25 days ago
1993
Springer
The generalized topological sorting problem takes as input a positive integer k and a directed, acyclic graph with some vertices labeled by positive integers, and the goal is to la...
DISCO
1993
14 years 25 days ago
1993
DISCO
1993
14 years 25 days ago
1993
DISCO
1993
14 years 25 days ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
DISCO
1993
14 years 25 days ago
1993
The fastest known algorithms in classical algebra make use of signature functions. That is, reducing computation with formulae to computing with the integers modulo p, by substitut...
BIRTHDAY
1994
Springer
14 years 25 days ago
1994
Springer
Cook's construction from 1971 [4] shows that any two-way deterministic pushdown automaton (2DPDA) can be simulated in time O(n), where n is the length of its input string, and...
ARITH
1993
IEEE
14 years 26 days ago
1993
IEEE