( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Reference String Generation Processes.

, , и . SOSP, стр. 80-87. ACM, (1973)Operating System Review 7(4).

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.

Arvind Batra

Arvind Agarwal

Arvind Krishnamurthy

Arvind Dev

Arvind Krishnaswamy

 

Другие публикации лиц с тем же именем

Investigating the "Wisdom of Crowds" at Scale., , , , , , , , , и 50 other автор(ы). UIST (Adjunct Volume), стр. 75-76. ACM, (2015)Memory Model = Instruction Reordering + Store Atomicity, и . Proceedings of the 33rd annual international symposium on Computer Architecture, стр. 29--40. Washington, DC, USA, IEEE Computer Society, (2006)Wire-Speed Multirate Accelerator for Aggregation Operations on Sorted Data., и . FCCM, стр. 324. IEEE, (2019)Data Flow Systems - Guest Editors' Introduction., и . Computer, 15 (2): 10-13 (1982)Constructive computer architecture.. WCAE, стр. 10:10. ACM, (2015)Demand-Driven Evaluation on Dataflow Machine.. FSTTCS, том 206 из Lecture Notes in Computer Science, стр. 411. Springer, (1985)Getting Formal Verification into Design Flow., , и . FM, том 5014 из Lecture Notes in Computer Science, стр. 12-32. Springer, (2008)Building up to macroprogramming: an intermediate language for sensor networks., , и . IPSN, стр. 37-44. IEEE, (2005)M-Structures: Extending a Parallel, Non-strict, Functional Language with State., , и . FPCA, том 523 из Lecture Notes in Computer Science, стр. 538-568. Springer, (1991)Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols., , и . CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 317-339. Springer, (2022)