BDD Algortihms and Cache Misses (1996)

by Nils Klarlund, Theis Rauhe, Nils Klarlund, Theis Rauhe
Results 1 - 2 of 2

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.