( en | de | ru )

 

Disambiguation of "Sorin, Daniel J."

Author of the publication

copydeleteadd this publication to your clipboard
PVCoherence: Designing Flat Coherence Protocols for Scalable Verification.

, , , and . IEEE Micro, 35 (3): 84-91 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Julia Sorina-Müller

Kai Söring

Julia Sorina-Müller

Jürgen Söring

Laurent Sorin

 

Other publications of authors with the same name

Nostradamus: Low-cost hardware-only error detection for processor cores., and . DATE, page 1-6. European Design and Automation Association, (2014)NANA: A nano-scale active network architecture., , , and . JETC, 2 (1): 1-30 (2006)Reducing the impact of intra-core process variability with criticality-based resource allocation and prefetching., , , and . Conf. Computing Frontiers, page 129-138. ACM, (2008)Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures., and . IEEE Trans. Dependable Secur. Comput., 6 (1): 18-31 (2009)Online diagnosis of hard faults in microprocessors., , and . ACM Trans. Archit. Code Optim., 4 (2): 8 (2007)A Primer on Memory Consistency and Cache Coherence, Second Edition, , , and . Synthesis Lectures on Computer Architecture Morgan & Claypool Publishers, (2020)AMVA techniques for high service time variability., , and . SIGMETRICS, page 217-228. ACM, (2000)Dynamic Verification of Sequential Consistency., and . ISCA, page 482-493. IEEE Computer Society, (2005)Timestamp snooping: an approach for extending SMPs., , , , , , , , , and . ASPLOS, page 25-36. ACM Press, (2000)UNified Instruction/Translation/Data (UNITD) coherence: One protocol to rule them all., , , and . HPCA, page 1-12. IEEE Computer Society, (2010)