Concepedia

Bogdan F. Romanescu

BF

Statistics

Publications

6

Citations

229

H-Index

6

Active since

2008

Affiliations

Duke University(Current)

Bogdan F. Romanescu is an author at Duke University specializing in computer engineering, computer architecture, and computer science.

Top concepts

EngineeringComputer ScienceComputer EngineeringComputer ArchitectureSystem SoftwareHardware SecurityFormal MethodsProgram AnalysisFormal VerificationVerification

Publications per year

2008–2010

6

Publications

6

Core cannibalization architecture

Bogdan F. Romanescu, Daniel J. Sorin · 2008 · 86 citations

Engineering, Computer Architecture, Ccs Function +17

UNified Instruction/Translation/Data (UNITD) coherence: One protocol to rule them all

Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. Sorin et al. · 2010 · 68 citations

Engineering, Hardware Verification Language, Verification +23

Specifying and dynamically verifying address translation-aware memory consistency

Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. Sorin · ACM SIGARCH Computer Architecture News · 2010 · 23 citations

Engineering, Hardware Verification Language, Verification +17

Specifying and dynamically verifying address translation-aware memory consistency

Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. Sorin · 2010 · 21 citations

Engineering, Hardware Verification Language, Verification +17

Reducing the impact of intra-core process variability with criticality-based resource allocation and prefetching

Bogdan F. Romanescu, Michael E. Bauer, Sule Ozev et al. · 2008 · 19 citations

Architectural Techniques, Engineering, Computer Architecture +18

1–5 of 6