The Texas

Results: 45675



#Item
1Cryptography / Randomized algorithms / Computational complexity theory / Mathematics / Probabilistically checkable proof / Complexity classes / Interactive proof system / IP / NP / Soundness / PCP theorem / Commitment scheme

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
2Boolean algebra / Forcing / Theoretical computer science / Mathematics / Complete Boolean algebra / Order theory / Assertion / Mathematical logic

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
3Logic / Mathematical logic / Mathematics / Propositional calculus / Logical truth / Logic in computer science / Syntax / Automated theorem proving / Resolution / Frege system / Boolean satisfiability problem / First-order logic

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
4Cryptography / Distributed computing architecture / Parallel computing / MapReduce / Certificate / IP / NP / Commitment scheme / PP / Computational complexity theory

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
5Artificial intelligence / Logic / Logic programming / Declarative programming / Automated reasoning / Programming paradigms / Automated theorem proving / Answer set programming / Reasoning system / Stable model semantics / Prolog / Inference

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
6Cryptography / Computational complexity theory / Randomized algorithms / Complexity classes / Probabilistically checkable proof / Proof theory / IP / NP / NEXPTIME / Soundness / PCP theorem / Commitment scheme

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
7Computational complexity theory / Logic / Mathematics / Randomized algorithms / Automated theorem proving / Logic programming / Probabilistically checkable proof / IP / NP / Substitution / MAX-3SAT / operator

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
8Computability theory / Functions and mappings

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
9Transaction processing / Computing / Fault-tolerant computer systems / Data management / Application checkpointing / Data / Rollback / Database transaction / Checkpoint / Communication protocol / Two-phase commit protocol

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
10Human behavior / Human sexuality / Sex crimes / Feminism / Workplace bullying / Labour law / Harassment / Sexual harassment / Sexual assault / Title IX / Office for Civil Rights

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
UPDATE