( en | de | ru )

 

Disambiguation of "Narasimhan, Priya"

Author of the publication

copydeleteadd this publication to your clipboard
AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code.

, , , and . APLAS, volume 10017 of Lecture Notes in Computer Science, page 42-62. (2016)

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.

Karthik Narasimhan

NULL Priyakorn Pusawiro

Shekhar Priyadarshi

Swastiko Priyambodo

Vijay Narasimhan

 

Other publications of authors with the same name

Why Do Upgrades Fail and What Can We Do about It?, and . Middleware, volume 5896 of Lecture Notes in Computer Science, page 349-372. Springer, (2009)Gateways for Accessing Fault Tolerance Domains., , and . Middleware, volume 1795 of Lecture Notes in Computer Science, page 88-103. Springer, (2000)Smartphone-based assistive technologies for the blind., , and . CASES, page 223-232. ACM, (2009)Secure dissemination of code updates in sensor networks., , and . SenSys, page 278-279. ACM, (2005)WRSM 2003 PC Co-Chairs' Message., , and . OTM Workshops, volume 2889 of Lecture Notes in Computer Science, page 870. Springer, (2003)Experimental research in dependable computing at Carnegie Mellon University - From Faults to Manifestations., , and . IFIP Congress Topical Sessions, volume 156 of IFIP, page 305-328. Kluwer/Springer, (2004)Hardware performance counter-based problem diagnosis for e-commerce systems., , and . NOMS, page 551-558. IEEE, (2010)A multicast group communication protocol, engine, and bridge for CORBA., , , , and . Concurr. Comput. Pract. Exp., 13 (7): 579-603 (2001)A study of unpredictability in fault-tolerant middleware., and . Comput. Networks, 57 (3): 682-698 (2013)MEAD: support for Real-Time Fault-Tolerant CORBA., , , , , , and . Concurr. Pract. Exp., 17 (12): 1527-1545 (2005)