6045 search results - page 956 / 1209 » Computable Linearizations of Well-partial-orderings |
149
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper, we present a parallel algorithm for the minimization of deterministic finite state automata (DFA's) and discuss its implementation on a connection machine CM-5...
156
click to vote
INFOCOM
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper addresses the problem of finding the worst case end-to-end delay and buffer occupancy bounds in ATM networks with rate-controlled, non-work conserving servers. A theore...
149
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
This report details our development of a computer controlled spotlight with four actuated degrees-of-freedom for pan, tilt, linear movement, and beam focusing. We review the mecha...
148
click to vote
SPDP
1993
IEEE
15 years 10 months ago
1993
IEEE
In PRAM emulations, universal hashing is a well-known method for distributing the address space among memory modules. However, if the memory access patterns of an application ofte...
147
click to vote
CHI
1993
ACM
15 years 10 months ago
1993
ACM
An interface is described that uses color and spatial relations to provide an intuitive interface for sound manipulation. A simple geometric shape, called the Geometric Sound Mixe...