Concepedia

K.S. Brace

KB

Statistics

Publications

1

Citations

449

H-Index

1

Active since

2002

Affiliations

Carnegie Mellon University(Current)

K.S. Brace is an author at Carnegie Mellon University specializing in program analysis, formal verification, and computer engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisFormal VerificationSystems EngineeringComputer EngineeringParallel Programming

Publications per year

2002–2002

1

Publications

1

Efficient implementation of a BDD package

K.S. Brace, Richard Rudell, Randal E. Bryant · 27th ACM/IEEE Design Automation Conference · 2002 · 449 citations

Hash Table, Engineering, Boolean Function +20

1–1 of 1