29908 search results - page 618 / 5982 » On the Complexity of |
209
click to vote
ISAAC
1995
Springer
15 years 11 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
165
click to vote
ISAAC
1995
Springer
15 years 11 months ago
1995
Springer
An extended abstract of this paper will be presented at the Sixth Annual International Symposium on Algorithms and Computation.
201
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
Resource allocation for high-performance real-time applications is challenging due to the applications' data-dependent nature, dynamic changes in their external environment, ...
178
Voted
PPOPP
1995
ACM
15 years 11 months ago
1995
ACM
paper we describe d/streams, a language-independent abstraction with a small set of simple primitives for buffered I/O on distributed data-structures. We describe the interface an...