( en | de | ru )

 

Disambiguierung von "Sutherland, Ivan E."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Framework for Asynchronous Circuit Modeling and Verification in ACL2.

, , , und . Haifa Verification Conference, Volume 10629 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2017)

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.

Eleanor Sutherland

John Sutherland

Mark Sutherland

Alexander Sutherland Murray

Petar Ivandić

 

Weitere Publikationen von Autoren mit dem selben Namen

A futures market in computer time.. Commun. ACM, 11 (6): 449-451 (1968)A VLSI architecture for updating raster-scan displays., , und . SIGGRAPH, Seite 71-78. ACM, (1981)Sketch pad a man-machine graphical communication system.. DAC, ACM, (1964)The Ultimate Display. Proceedings of the Congress of the Internation Federation of Information Processing (IFIP), volume 2, Seite 506-508. (1965)A Comparison of Codebook Generation Techniques for Vector Quantization., und . Data Compression Conference, Seite 122-131. IEEE Computer Society, (1992)Two FIFO ring performance experiments., , , , , und . Proc. IEEE, 87 (2): 297-307 (1999)Twinkle box: a three-dimensional computer input device., und . AFIPS National Computer Conference, Volume 43 von AFIPS Conference Proceedings, Seite 513-520. AFIPS Press, (1974)A display processor design., , , und . AFIPS Fall Joint Computing Conference, Volume 35 von AFIPS Conference Proceedings, Seite 209-217. AFIPS / ACM, (1969)Naturalized Communication and Testing., , , , , und . ASYNC, Seite 77-84. IEEE Computer Society, (2015)Data-Loop-Free Self-Timed Circuit Verification., , , , und . ASYNC, Seite 51-58. IEEE Computer Society, (2018)