ISAAC
2001
Springer
14 years 2 months ago
2001
Springer
ISAAC
2001
Springer
14 years 2 months ago
2001
Springer
ISAAC
2001
Springer
14 years 2 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 2 months ago
2001
Springer
ISAAC
2001
Springer
14 years 2 months ago
2001
Springer
ISAAC
2001
Springer
14 years 2 months ago
2001
Springer
ISAAC
2001
Springer
14 years 2 months ago
2001
Springer
ISAAC
2001
Springer
14 years 2 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 2 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 2 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...