BDD Algortihms and Cache Misses (1996)

by Nils Klarlund , Theis Rauhe , Nils Klarlund , Theis Rauhe
Citations:2 - 0 self

Active Bibliography

12 BDD Algorithms and Cache Misses – Nils Klarlund, Nils Klarlund, Theis Rauhe, Theis Rauhe - 1996
70 MONA Implementation Secrets – Nils Klarlund, Anders Møller, Michael Schwatzbach - 2000
4 Mona: Decidable Arithmetic in Practice – Morten Biehl, Nils Klarlund, Theis Rauhe - 1996
38 Efficient External-Memory Data Structures and Applications – Lars Arge - 1996
40 A performance study of BDD-based model checking – Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi - 1998
28 The I/O-Complexity of Ordered Binary-Decision Diagram Manipulation – Lars Arge - 1995
1 An Axiomatization for the Terminal Cycle – Wan Fokkink - 1996
3 Register-Machine based Processes – Jan A. Bergstra, Alban Ponse - 2001
6 Axiomatizations for the perpetual loop in process algebra – Wan Fokkink - 1997
9 Some of My Favourite Results in Classic Process Algebra – Luca Aceto - 2003
19 Formal Design Constraints – Nils Klarlund, Jari Koistinen, Michael I. Schwartzbach - 1996
1 Space- and Time-Efficient BDD Construction via Working Set Control – Bwolen Yang, Yirng-an Chen, Randal E. Bryant, David R. O'Hallaron - 1998
8 Breadth-First with Depth-First BDD Construction: A Hybrid Approach – Yirng-An Chen, Bwolen Yang, Randal E. Bryant - 1997
20 High Performance BDD Package Based on Exploiting Memory Hierarchy – Rajeev Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto Sangiovanni-vincentelli - 1996
22 Binary Decision Diagrams on Network of Workstations – Rajeev Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto Sangiovanni-vincentelli - 1996
14 Parallel Breadth-First BDD Construction – Bwolen Yang, David R. O'Hallaron - 1997
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
An Efficient Decision Procedure for S1S – Klaus Schneider, Holger Weindel
2 Implicit State Enumeration for FSMs with Datapaths – James H. Kukula, Thomas R. Shiple, Adnan Aziz - 1998