Symbolic boolean manipulation with ordered binary-decision diagrams
RE Bryant - ACM Computing Surveys (CSUR), 1992 - dl.acm.org
Ordered Binary-Decision Diagrams (OBDDs) represent Boolean functions as directed acyclic
graphs. They form a canonical representation, making testing of functional properties such …
graphs. They form a canonical representation, making testing of functional properties such …
Graph-based algorithms for boolean function manipulation
RE Bryant - Computers, IEEE Transactions on, 1986 - ieeexplore.ieee.org
In this paper we present a new data structure for representing Boolean functions and an
associated set of manipulation algorithms. Functions are represented by directed, acyclic …
associated set of manipulation algorithms. Functions are represented by directed, acyclic …
Varicella pneumonia in adults: report of seven cases and a review of literature
JH Triebwasser, RE Harris, RE Bryant, ER Rhoades - Medicine, 1967 - journals.lww.com
In an extensive review in 1935, pneumonia was mentioned in 08 per cent of 2.534 cases of
varicella (10) and was believed to be the result of secondary infection with streptococ-cus in …
varicella (10) and was believed to be the result of secondary infection with streptococ-cus in …
Efficient implementation of a BDD package
KS Brace, RL Rudell, RE Bryant - Proceedings of the 27th ACM/IEEE …, 1991 - dl.acm.org
Efficient manipulation of Boolean functions is an important component of many computer-aided
design tasks. This paper describes a package for manipulating Boolean functions based …
design tasks. This paper describes a package for manipulating Boolean functions based …
Pleural empyema
RE Bryant, CJ Salmon - Clinical infectious diseases, 1996 - JSTOR
… Bryant RE. Effect of the suppurative environment on antibiotic activity. In: Root RD, Sande
MD, eds. … Bryant RE. Pleural effusion and empyema. In: Mandell GL, Bennett JE, Dolin R, eds. …
MD, eds. … Bryant RE. Pleural effusion and empyema. In: Mandell GL, Bennett JE, Dolin R, eds. …
[PDF][PDF] On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
RE Bryant - IEEE transactions on Computers, 1991 - Citeseer
This paper presents lower bound results on Boolean function complexity under two di erent
models. The rst is an abstraction of tradeo s between chip area and speed in very large scale …
models. The rst is an abstraction of tradeo s between chip area and speed in very large scale …
[PDF][PDF] Verification of arithmetic circuits with binary moment diagrams
RE Bryant, YA Chen - Proceedings of the 32nd annual ACM/IEEE …, 1995 - dl.acm.org
Binary Moment Diagrams (BMDs) provide a canonical representations for linear functions
similar to the way Binary Decision Diagrams (BDDs) represent Boolean functions. Within the …
similar to the way Binary Decision Diagrams (BDDs) represent Boolean functions. Within the …
Semantics-aware malware detection
A malware detector is a system that attempts to determine whether a program has malicious
intent. In order to evade detection, malware writers (hackers) frequently use obfuscation to …
intent. In order to evade detection, malware writers (hackers) frequently use obfuscation to …
[BOEK][B] Computer systems: a programmer's perspective
RE Bryant, DR O'Hallaron - 2011 - thuvienso.hoasen.edu.vn
Computer Systems: A Programmer's Perspective Page 1 Computer Systems A Programmer’s
Perspective Randal E. Bryant Carnegie Mellon University David R. O’Hallaron Carnegie Mellon …
Perspective Randal E. Bryant Carnegie Mellon University David R. O’Hallaron Carnegie Mellon …
Formal verification by symbolic evaluation of partially-ordered trajectories
Symbolic trajectory evaluation provides a means to formally verify properties of a sequential
system by a modified form of symbolic simulation. The desired system properties are …
system by a modified form of symbolic simulation. The desired system properties are …