Texas A

Results: 14222



#Item
1Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W

Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W

Add to Reading List

Source URL: www.pepper-project.org

Language: English - Date: 2017-11-11 14:59:54
2A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-07-30 15:10:44
3A Class of Greedy Algorithms And Its Relation to Greedoids Srinivas Nedunuri Dept. of Computer S
ien
es University of Texas at Austin

A Class of Greedy Algorithms And Its Relation to Greedoids Srinivas Nedunuri Dept. of Computer S ien es University of Texas at Austin

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2014-10-03 20:56:47
4A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin

A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin

Add to Reading List

Source URL: www.cs.utexas.edu

Language: English - Date: 2002-05-07 12:54:50
5Curriculum Vitae, Roozbeh Jafari, Updated OctoberROOZBEH JAFARI  Texas A&M University

Curriculum Vitae, Roozbeh Jafari, Updated OctoberROOZBEH JAFARI Texas A&M University

Add to Reading List

Source URL: jafari.tamu.edu

Language: English - Date: 2016-08-03 23:11:03
    6Notice of Nondiscrimination and Abuse Texas A&M University provides equal opportunity to all employees, students, applicants for employment or admission, and the public regardless of race, color, sex, religion, national

    Notice of Nondiscrimination and Abuse Texas A&M University provides equal opportunity to all employees, students, applicants for employment or admission, and the public regardless of race, color, sex, religion, national

    Add to Reading List

    Source URL: urc.tamu.edu

    Language: English - Date: 2018-03-08 15:57:16
    7Timothy Alden Davis Department Computer Science and Engineering Texas A&M University 3112 TAMU, College Station, Texasemail:  web: http://faculty.cse.tamu.edu/davis

    Timothy Alden Davis Department Computer Science and Engineering Texas A&M University 3112 TAMU, College Station, Texasemail: web: http://faculty.cse.tamu.edu/davis

    Add to Reading List

    Source URL: faculty.cse.tamu.edu

    Language: English - Date: 2018-06-27 12:39:25
      8A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the

      A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the

      Add to Reading List

      Source URL: www.pepper-project.org

      Language: English - Date: 2017-11-11 14:59:54
        9Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu

        Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu

        Add to Reading List

        Source URL: rishabhmit.bitbucket.io

        Language: English - Date: 2018-06-25 09:59:57
        10A publication of the Guadalupe-Blanco River Authority  Using water more efficiently not only will save money, but also will help protect the quality of life for future Texans. Texas is the second largest state by both

        A publication of the Guadalupe-Blanco River Authority Using water more efficiently not only will save money, but also will help protect the quality of life for future Texans. Texas is the second largest state by both

        Add to Reading List

        Source URL: www.gbra.org

        Language: English - Date: 2013-03-01 23:03:36