( en | de | ru )

 

Disambiguierung von "Huang, Ting-Lu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Assertional Proof of a Lock Synchronization Algorithm Using Fetch and Store Atomic Instruction.

, und . ICPADS, Seite 759-768. IEEE Computer Society, (1994)

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.

Ting Huang

Huei-ting Huang

M Tingart

Wen-tsi Ting

Lu Lu

 

Weitere Publikationen von Autoren mit dem selben Namen

Fast and Fair Mutual Exclusion for Shared Memory Systems.. ICDCS, Seite 224-231. IEEE Computer Society, (1999)Fast Mutual Exclusion Algorithms Using Read-Modify-Write and Atomic Read/Write Registers.. ICPADS, Seite 292-299. IEEE Computer Society, (1998)On processor allocation in hypercube multiprocessors., , und . COMPSAC, Seite 16-23. IEEE, (1989)A Practical Nonblocking Queue Algorithm Using Compare-and-Swap., , und . ICPADS, Seite 470-475. IEEE Computer Society, (2000)Reachability testing: an approach to testing concurrent software., , und . APSEC, Seite 246-255. IEEE, (1994)A Fair and Space-ef.cient Mutual Exclusion., und . ICPADS (1), Seite 467-473. IEEE Computer Society, (2005)An Assertional Proof of a Lock Synchronization Algorithm Using Fetch and Store Atomic Instruction., und . ICPADS, Seite 759-768. IEEE Computer Society, (1994)Parallelism in Connection-Graph-Based Logic Inference., , und . ICPP (2), Seite 1-8. Pennsylvania State University Press, (1988)0-271-00654-4.