Concepedia

David E. Wallace

DE

3

Publications

78

Citations

3

H-Index

1986

Active since

Affiliations

University of California, Berkeley(Current)

David E. Wallace is an author at University of California, Berkeley specializing in computer engineering, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceParallel ComputingComputer EngineeringComputer ArchitectureProcess ControlSoftware DesignProgram AnalysisHardware Security

Publications per year

1986–2001

3

Publications

3

Patient pain during different stages of phacoemulsification using topical anesthesia

Paul D. O'Brien, Tim Fulcher, David E. Wallace et al. · Journal of Cataract & Refractive Surgery · 2001 · 39 citations

ATV: an abstract timing verifier

David E. Wallace, Carlo H. Séquin · Design Automation Conference · 1988 · 25 citations

Hardware Security, Engineering, Clock Recovery +14

Plug-In Timing Models for an Abstract Timing Verifier

David E. Wallace, Carlo H. Séquin · Design Automation Conference · 1986 · 14 citations

Engineering, Commercial Timing Verifiers, Timing Analysis +14

Rows per page

1–3 of 3