The Texas - PDFSEARCH.IO - Document Search Engine

The Texas
Results: 45675

#	Item
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 Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Cryptography Randomized algorithms Computational complexity theory Mathematics Probabilistically checkable proof Complexity classes Interactive proof system IP NP Soundness PCP theorem Commitment scheme
2	Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Boolean algebra Forcing Theoretical computer science Mathematics Complete Boolean algebra Order theory Assertion Mathematical logic
3	The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-02 12:35:21 Logic Mathematical logic Mathematics Propositional calculus Logical truth Logic in computer science Syntax Automated theorem proving Resolution Frege system Boolean satisfiability problem First-order logic
4	Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Cryptography Distributed computing architecture Parallel computing MapReduce Certificate IP NP Commitment scheme PP Computational complexity theory
5	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 Artificial intelligence Logic Logic programming Declarative programming Automated reasoning Programming paradigms Automated theorem proving Answer set programming Reasoning system Stable model semantics Prolog Inference
6	Making Argument Systems for Outsourced Computation Practical (Sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract This paper describes the desig Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Cryptography Computational complexity theory Randomized algorithms Complexity classes Probabilistically checkable proof Proof theory IP NP NEXPTIME Soundness PCP theorem Commitment scheme
7	Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Computational complexity theory Logic Mathematics Randomized algorithms Automated theorem proving Logic programming Probabilistically checkable proof IP NP Substitution MAX-3SAT operator
8	On The Impossibility Of Robust Solutions For Fair Resource Allocation Rajeev Joshi , Jayadev Misra Department of Computer Sciences, The University of Texas at Austin Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Computability theory Functions and mappings
9	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 Transaction processing Computing Fault-tolerant computer systems Data management Application checkpointing Data Rollback Database transaction Checkpoint Communication protocol Two-phase commit protocol
10	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 Human behavior Human sexuality Sex crimes Feminism Workplace bullying Labour law Harassment Sexual harassment Sexual assault Title IX Office for Civil Rights

UPDATE