Vivek

Results: 447



#Item
11ABCD: Eliminating Array Bounds Checks on Demand Rastislav Bod´ık Rajiv Gupta Vivek Sarkar

ABCD: Eliminating Array Bounds Checks on Demand Rastislav Bod´ık Rajiv Gupta Vivek Sarkar

Add to Reading List

Source URL: www.cs.virginia.edu

- Date: 2005-09-29 10:19:56
    12CS231N Project: Coloring black and white world using Deep Neural Nets Vivek Kumar Bagaria Stanford University Kedar Tatwawadi Stanford University

    CS231N Project: Coloring black and white world using Deep Neural Nets Vivek Kumar Bagaria Stanford University Kedar Tatwawadi Stanford University

    Add to Reading List

    Source URL: cs231n.stanford.edu

    - Date: 2016-03-23 18:05:40
      13Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems Max Kanovich1,5 Tajana Ban Kirigin2 Vivek Nigam3 Andre Scedrov4,5 and Carolyn Talcott6 1

      Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems Max Kanovich1,5 Tajana Ban Kirigin2 Vivek Nigam3 Andre Scedrov4,5 and Carolyn Talcott6 1

      Add to Reading List

      Source URL: nigam.info

      - Date: 2016-06-23 07:42:17
        14Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders Vivek Nigam1 , Carolyn Talcott2 and Abra˜ao Aires Urquiza1 1

        Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders Vivek Nigam1 , Carolyn Talcott2 and Abra˜ao Aires Urquiza1 1

        Add to Reading List

        Source URL: nigam.info

        - Date: 2016-07-01 05:16:14
          15Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems ? Carolyn Talcott1 , Vivek Nigam2 , Farhad Arbab3 , and Tobias Kapp´e4 1 SRI International, Menlo Park, CA 94025, USA

          Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems ? Carolyn Talcott1 , Vivek Nigam2 , Farhad Arbab3 , and Tobias Kapp´e4 1 SRI International, Menlo Park, CA 94025, USA

          Add to Reading List

          Source URL: nigam.info

          - Date: 2016-05-07 12:12:43
            16Using PlanetLab for Network Research: Myths, Realities, and Best Practices Neil Spring, Larry Peterson, Andy Bavier, and Vivek Pai 1

            Using PlanetLab for Network Research: Myths, Realities, and Best Practices Neil Spring, Larry Peterson, Andy Bavier, and Vivek Pai 1

            Add to Reading List

            Source URL: www.usenix.org

            - Date: 2005-10-24 14:41:46
              17Project 6: Towards Creating an Atlas of South Asian Languages… Students’ Team: Himanshu Patel, Vivek Shekhar, Vikalp Kumar Mentor: Dr. Hina Nandrajog & Ms. Versha Rana External Mentor: Ms. Avitoli Zhimo (Department o

              Project 6: Towards Creating an Atlas of South Asian Languages… Students’ Team: Himanshu Patel, Vivek Shekhar, Vikalp Kumar Mentor: Dr. Hina Nandrajog & Ms. Versha Rana External Mentor: Ms. Avitoli Zhimo (Department o

              Add to Reading List

              Source URL: cdn.ducic.ac.in

              - Date: 2016-01-01 02:11:28
                18Can we mitigate the attacks on Distance-Bounding Protocols by using challenge-response rounds repeatedly ? Max Kanovich∗k , Tajana Ban Kirigin† , Vivek Nigam‡ , Andre Scedrov§k , and Carolyn Talcott¶ ∗

                Can we mitigate the attacks on Distance-Bounding Protocols by using challenge-response rounds repeatedly ? Max Kanovich∗k , Tajana Ban Kirigin† , Vivek Nigam‡ , Andre Scedrov§k , and Carolyn Talcott¶ ∗

                Add to Reading List

                Source URL: nigam.info

                - Date: 2016-06-23 07:53:04
                  19Project 5: Indic Language App: An Interactive Language App of Indian Languages Students’ Team: Himanshu Patel, Vivek Shekhar, Vikalp Kumar Mentors: Ms. Versha Rana and Dr. Hina Nandrajog External Mentor: Prof. Ravinder

                  Project 5: Indic Language App: An Interactive Language App of Indian Languages Students’ Team: Himanshu Patel, Vivek Shekhar, Vikalp Kumar Mentors: Ms. Versha Rana and Dr. Hina Nandrajog External Mentor: Prof. Ravinder

                  Add to Reading List

                  Source URL: cdn.ducic.ac.in

                  - Date: 2016-01-01 02:11:28
                    20UNITED STATES SURGEON GENERAL Vivek H. Murthy, M.D., M.B.A. August 2016 Dear Colleague, I am asking for your help to solve an urgent health crisis facing America: the opioid epidemic.

                    UNITED STATES SURGEON GENERAL Vivek H. Murthy, M.D., M.B.A. August 2016 Dear Colleague, I am asking for your help to solve an urgent health crisis facing America: the opioid epidemic.

                    Add to Reading List

                    Source URL: static1.squarespace.com