RS-96-25 Devdatt Dubhashi and Desh Ranjan. Balls and Bins: A Study in Negative Dependence (1996)

by Kim G Larsen Jensen, Arne Skou
Results 1 - 4 of 4

BDD Algorithms and Cache Misses

by Nils Klarlund, Nils Klarlund, Theis Rauhe, Theis Rauhe , 1996
"... Within the last few years, CPU speed has greatly overtaken memory speed. For this reason, implementation of symbolic algorithms--- with their extensive use of pointers and hashing---must be reexamined. ..."
Abstract - Cited by 12 (6 self) - Add to MetaCart
Within the last few years, CPU speed has greatly overtaken memory speed. For this reason, implementation of symbolic algorithms--- with their extensive use of pointers and hashing---must be reexamined.

Fusion trees can be implemented with AC0 instructions only. Theoret

by Arne Andersson, Peter Bro Miltersen, Mikkel Thorup, Arne Andersson, Peter Bro Miltersen, Mikkel Thorup - Comput. Sci , 1999
"... is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies may be obtained by contacting: BRICS ..."
Abstract - Cited by 12 (1 self) - Add to MetaCart
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies may be obtained by contacting: BRICS

Regular Trace Event Structures

by P. S. Thiagarajan, P. S. Thiagarajan , 1996
"... We propose trace event structures as a starting point for constructing effective branching time temporal logics in a non-interleaved setting. ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
We propose trace event structures as a starting point for constructing effective branching time temporal logics in a non-interleaved setting.

BDD Algortihms and Cache Misses

by Nils Klarlund, Theis Rauhe, Nils Klarlund, Theis Rauhe , 1996
"... is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies may be obtained by contacting: BRICS ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies may be obtained by contacting: BRICS