2015 · 48 citations · 49 references
EngineeringComputer EngineeringComputer ScienceEmbedded SystemsFault-tolerant ComputingFormal MethodsApplication SandboxingDeductive VerificationEmbedded SecuritySafety-critical Embedded SystemsSoftware Fault ToleranceSystem SecurityControl Flow Integrity AnalysisControl-flow IntegrityMemory Safety VerificationRuntime SandboxingSafety PropertiesSoftware Fault IsolationTrusted ComputingTrusted Systems
Architectural heterogeneity is increasing: numerous products and studies have proven the benefits of combining cores and accelerators with varying ISAs into a single system. However, an underappreciated barrier to unlocking the full potential of heterogeneity is the need to specify and to reconcile differences in memory consistency models across layers of the hardware-software stack and among on-chip components.
49
Nathan Binkert, Bradford M. Beckmann, Gabriel Black et al. · ACM SIGARCH Computer Architecture News · 2011 · 4.9K citations
Chi-Keung Luk, Robert Cohn, Robert Muth et al. · ACM SIGPLAN Notices · 2005 · 3.2K citations
Chi-Keung Luk, Robert Cohn, Robert Muth et al. · 2005 · 2.3K citations
Three Partition Refinement Algorithms
Robert Paige, Robert E. Tarjan · SIAM Journal on Computing · 1987 · 1.2K citations
Shared memory consistency models: a tutorial
Sarita V. Adve, Kourosh Gharachorloo · Computer · 1996 · 1.1K citations