( en | de | ru )

 

Disambiguation of "Arvind,"

Author of the publication

copydeleteadd this publication to your clipboard
MI6: Secure Enclaves in a Speculative Out-of-Order Processor.

, , , , , and . MICRO, page 42-56. ACM, (2019)

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. You can also use the button next to the name to display some publications already assigned to the person.

Arvind Batra

Arvind Agarwal

Arvind Krishnamurthy

Arvind Dev

Arvind Krishnaswamy

 

Other publications of authors with the same name

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