( en | de | ru )

 

Disambiguierung von "Sorin, Daniel J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifiable hierarchical protocols with network invariants on parametric systems.

, , und . FMCAD, Seite 101-108. IEEE, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Julia Sorina-Müller

Kai Söring

Julia Sorina-Müller

Jürgen Söring

Laurent Sorin

 

Weitere Publikationen von Autoren mit dem selben Namen

Nostradamus: Low-cost hardware-only error detection for processor cores., und . DATE, Seite 1-6. European Design and Automation Association, (2014)Reducing the impact of intra-core process variability with criticality-based resource allocation and prefetching., , , und . Conf. Computing Frontiers, Seite 129-138. ACM, (2008)AMVA techniques for high service time variability., , und . SIGMETRICS, Seite 217-228. ACM, (2000)Timestamp snooping: an approach for extending SMPs., , , , , , , , , und . ASPLOS, Seite 25-36. ACM Press, (2000)Dynamic Verification of Sequential Consistency., und . ISCA, Seite 482-493. IEEE Computer Society, (2005)UNified Instruction/Translation/Data (UNITD) coherence: One protocol to rule them all., , , und . HPCA, Seite 1-12. IEEE Computer Society, (2010)Core cannibalization architecture: improving lifetime chip performance for multicore processors in the presence of hard faults., und . PACT, Seite 43-51. ACM, (2008)Reduced Precision Checking for a Floating Point Adder., , und . DFT, Seite 145-152. IEEE Computer Society, (2009)Foosball Coding: Correcting Shift Errors and Bit Flip Errors in 3D Racetrack Memory., , , und . DSN, Seite 331-342. IEEE, (2020)Argus: Low-Cost, Comprehensive Error Detection in Simple Cores., , und . IEEE Micro, 28 (1): 52-59 (2008)