Algorithmic Aspects of Symbolic Switch Network Analysis (1987)

Cached

Download Links

by Randal E. Bryant
Venue:IEEE Trans. CAD/IC
Citations:16 - 5 self

Active Bibliography

16 Fast and Efficient Parallel Solution of Sparse Linear Systems – Victor Pan, John Reif - 1993
63 Boolean analysis of MOS circuits – Randal E. Bryant - 1987
13 Symbolic Verification of MOS Circuits – Randal E. Bryant - 1985
52 COSMOS: A compiled simulator for MOS circuits – Randal E. Bryant, Derek Beatty, Karl Brace, Kyeongsoon Cho, Thomas Sheffler - 1987
72 SEMIRING FRAMEWORKS AND ALGORITHMS FOR SHORTEST-DISTANCE PROBLEMS – Mehryar Mohri - 2002
5 Analysis of Power Supply Networks in VLSI Circuits – Don Stark - 1991
4 Piecewise Linear Models for Switch-Level Simulation – Russell Kao - 1992
Transistor Level Reliability Estimation Of Integrated Circuits – Edgar Holmann, Prof G. Leonard Tyler, Prof David - 1995
This is a preliminary version of a Chapter on Algebraic Algorithms in the upcoming – Ioannis Z. Emiris, Victor Y. Pan, Elias P. Tsigaridas, Francis Group
CHAPTER 10: ALGEBRAIC ALGORITHMS – Allen Tucker, Teo Gonzales, Jorge L. Diaz-herrera, Ioannis Z. Emiris, Victor Y. Pan, Elias P. Tsigaridas
Journal of Automata, Languages and Combinatorics u (v) w, x–y c ○ Otto-von-Guericke-Universität Magdeburg Semiring Frameworks and Algorithms for Shortest-Distance Problems – Mehryar Mohri
2 Parallel Output Sensitive Algorithms for Combinatorial and Linear Algebra Problems – John H. Reif - 2000
3 Mapping Regular Recursive Algorithms To Fine-Grained Processor Arrays – Kumar Nanjunda Ganapathy - 1994
31 Algorithms To Schedule Tasks With And/or Precedence Constraints – Donald William Gillies - 1993
42 A Control-Flow Normalization Algorithm and Its Complexity – Zahira Ammarguellat - 1992
Detecting Deadlocks in the Ada accept...do – Stephen P. Masticola
ACKNOWLEDGMENTS – Akash Lal
Intraprocedural Analysis and the Verification of Concurrent Programs – Akash Lal - 2009
1 Efficient Parallel Factorization and Solution of Structured and Unstructured Linear Systems – John H. Reif - 2000