( en | de | ru )

 

Disambiguation of "Devadas, Srinivas"

Author of the publication

copydeleteadd this publication to your clipboard
Logic Verification Algorithms and Their Parallel Implementation.

, , , and . DAC, page 283-290. IEEE Computer Society Press / ACM, (1987)

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.

Vinay Devadas

Deepika Devadas

Srinivas Jagarlamudi

Srinivas Yarlanki

Girish Srinivas

 

Other publications of authors with the same name

A self-aware processor SoC using energy monitors integrated into power converters for self-adaptation., , , , , , , , , and . VLSIC, page 1-2. IEEE, (2014)Automatic Verification of Pipelined Microprocessors., and . DAC, page 603-608. ACM Press, (1994)Beaver: A Decentralized Anonymous Marketplace with Secure Reputation., , , and . IACR Cryptology ePrint Archive, (2016)RAW Path ORAM: A Low-Latency, Low-Area Hardware ORAM Controller with Integrity Verification., , , , , and . IACR Cryptology ePrint Archive, (2014)Var-CNN and DynaFlow: Improved Attacks and Defenses for Website Fingerprinting., , , and . CoRR, (2018)Challenges in code generation for embedded processors., , , , , , , and . Code Generation for Embedded Processors, page 48-64. Kluwer, (1994)MI6: Secure Enclaves in a Speculative Out-of-Order Processor., , , , , and . CoRR, (2018)Gate-Delay-Fault Testability Properties of Multiplexor-Based Networks., , and . ITC, page 887-896. IEEE Computer Society, (1991)Proof of Space from Stacked Expanders., and . TCC (B1), volume 9985 of Lecture Notes in Computer Science, page 262-285. (2016)Effects of Memory Performance on Parallel Job Scheduling., , and . JSSPP, volume 2221 of Lecture Notes in Computer Science, page 116-132. Springer, (2001)