146
click to vote
ISAAC
1995
Springer
15 years 8 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. ...
142
click to vote
IRREGULAR
1995
Springer
15 years 8 months ago
1995
Springer
Dependencies between iterations of loop structures cannot always be determined at compile-time because they may depend on input data which is known only at run-time. A prime examp...
160
click to vote
IRREGULAR
1995
Springer
15 years 8 months ago
1995
Springer
In this paper, we review parallel search techniques for approximating the global optimal solution of combinatorial optimization problems. Recent developments on parallel implementa...
145
click to vote
IRREGULAR
1995
Springer
15 years 8 months ago
1995
Springer
Sparse matrix problems are di cult to parallelize e ciently on message-passing machines, since they access data through multiple levels of indirection. Inspector executor strategie...
127
click to vote
RTAS
1997
IEEE
15 years 8 months ago
1997
IEEE
In this paper, we propose and present Real-Time Channel-based Reflective Memory (RT-CRM)