( en | de | ru )

 

Disambiguation of "Sorin, Daniel J."

Author of the publication

copydeleteadd this publication to your clipboard
Verifiable hierarchical protocols with network invariants on parametric systems.

, , and . FMCAD, page 101-108. IEEE, (2016)

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)Online diagnosis of hard faults in microprocessors., , and . ACM Trans. Archit. Code Optim., 4 (2): 8 (2007)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)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)Timestamp snooping: an approach for extending SMPs., , , , , , , , , and . ASPLOS, page 25-36. ACM Press, (2000)Core cannibalization architecture: improving lifetime chip performance for multicore processors in the presence of hard faults., and . PACT, page 43-51. ACM, (2008)UNified Instruction/Translation/Data (UNITD) coherence: One protocol to rule them all., , , and . HPCA, page 1-12. IEEE Computer Society, (2010)