( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Programming Multicores: Do Applications Programmers Need to Write Explicitly Parallel Programs?

, , , , , и . IEEE Micro, 30 (3): 19-33 (2010)

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)Wire-Speed Multirate Accelerator for Aggregation Operations on Sorted Data., и . FCCM, стр. 324. IEEE, (2019)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)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)Constructive computer architecture.. WCAE, стр. 10:10. ACM, (2015)Getting Formal Verification into Design Flow., , и . FM, том 5014 из Lecture Notes in Computer Science, стр. 12-32. Springer, (2008)Demand-Driven Evaluation on Dataflow Machine.. FSTTCS, том 206 из Lecture Notes in Computer Science, стр. 411. Springer, (1985)Building up to macroprogramming: an intermediate language for sensor networks., , и . IPSN, стр. 37-44. IEEE, (2005)Data Flow Systems - Guest Editors' Introduction., и . Computer, 15 (2): 10-13 (1982)