ISAAC
2001
Springer
14 years 10 months ago
2001
Springer
ISAAC
2001
Springer
14 years 10 months ago
2001
Springer
ISAAC
2001
Springer
14 years 10 months ago
2001
Springer
Abstract. We first consider adaptive serial diagnosis for multiprocessor systems. We present an adaptive diagnosis algorithm using N + t − 1 tests, which is the smallest possibl...
ISAAC
2001
Springer
14 years 10 months ago
2001
Springer
ISAAC
2001
Springer
14 years 10 months ago
2001
Springer
ISAAC
2001
Springer
14 years 10 months ago
2001
Springer
ISAAC
2001
Springer
14 years 10 months ago
2001
Springer
ISAAC
2001
Springer
14 years 10 months ago
2001
Springer
In current networks, packet losses can occur if routers do not provide sufficiently large buffers. This paper studies how many buffers should be provided in a router to eliminat...
ISAAC
2001
Springer
14 years 10 months ago
2001
Springer
A discrete pushdown timed automaton is a pushdown machine with integer-valued clocks. It has been shown recently that the binary reachability of a discrete pushdown timed automaton...
ISAAC
2001
Springer
14 years 10 months ago
2001
Springer
A fragmentary pattern is a multiset of non-empty strings, and it matches a string w if all the strings in it occur within w without any overlaps. We study some fundamental issues o...