Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Bryant, Randal E."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Reasoning about infinite state systems using Boolean methods
Randal E. Bryant
Lecture Notes in Computer Science
2914
, 2003, pp. 399-407
Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors
Miroslav N. Velev
,
Randal E. Bryant
Journal Symbolic Computation
35
(2), 2003, pp. 73-106
An analysis of hashing on parallel and vector computers
Thomas J. Sheffler
,
Randal E. Bryant
Proceedings of the 1993 International Conference on Parallel Processing. Vol.~III: Algorithms & Applications (St.~Charles, Illinois, August 16-20, 1993)
3
, 1993, pp. 29-36
Symbolic boolean manipulation with ordered binary-decision diagrams
Randal E. Bryant
ACM Computing Surveys
24
(3), 1992, September, pp. 293-318
On the complexity of VLSI implementations of Boolean functions with application to integer multiplication
Randal E. Bryant
IEEE Transactions on Computers
40
(2), 1991, February, pp. 205-213