1![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 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](https://www.pdfsearch.io/img/e94ab3f84280d8f9c721f40624edbf3b.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
2![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 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](https://www.pdfsearch.io/img/e7ce247cfaa4154e04d07aaebe07c965.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:44
|
---|
3![A 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](https://www.pdfsearch.io/img/261057e4744f61cde9b8826cd16b7db9.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2014-10-03 20:56:47
|
---|
4![A 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](https://www.pdfsearch.io/img/8bfaf34dc14f4a3e2b72a58b0cbaee05.jpg) | Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2002-05-07 12:54:50
|
---|
5![Curriculum Vitae, Roozbeh Jafari, Updated OctoberROOZBEH JAFARI Texas A&M University Curriculum Vitae, Roozbeh Jafari, Updated OctoberROOZBEH JAFARI Texas A&M University](https://www.pdfsearch.io/img/06adace8b24e6e1fa99e57976950b894.jpg) | Add to Reading ListSource URL: jafari.tamu.eduLanguage: English - Date: 2016-08-03 23:11:03
|
---|
6![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 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](https://www.pdfsearch.io/img/ef56d80b4768245e258d0fc83a17efbf.jpg) | Add to Reading ListSource URL: urc.tamu.eduLanguage: English - Date: 2018-03-08 15:57:16
|
---|
7![Timothy 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](https://www.pdfsearch.io/img/8d9b3e2109a8f209613e6ae775457d79.jpg) | Add to Reading ListSource URL: faculty.cse.tamu.eduLanguage: English - Date: 2018-06-27 12:39:25
|
---|
8![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 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](https://www.pdfsearch.io/img/a5aee081700b20db726bccf6a69bc873.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
9![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 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](https://www.pdfsearch.io/img/a110f247bc20ac7bc41e6682e06f715b.jpg) | Add to Reading ListSource URL: rishabhmit.bitbucket.ioLanguage: English - Date: 2018-06-25 09:59:57
|
---|
10![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 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](https://www.pdfsearch.io/img/c388c2d5496b5d2a9f41e8b42d708ea2.jpg) | Add to Reading ListSource URL: www.gbra.orgLanguage: English - Date: 2013-03-01 23:03:36
|
---|