1![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
|
---|
2![Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule http://www.cs.utexas.edu/users/moore/acl2 ARCADE in Gothenburg, Sweden Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule http://www.cs.utexas.edu/users/moore/acl2 ARCADE in Gothenburg, Sweden](https://www.pdfsearch.io/img/5e0b91dfc1dea202f4a3e7c1d5161bf0.jpg) | Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2017-08-05 03:12:13
|
---|
3![Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu](https://www.pdfsearch.io/img/a4c297366ea4e20b548ffe63d536fa6f.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:42
|
---|
4![The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden](https://www.pdfsearch.io/img/efef8f21674d6dab76148348ecb1be74.jpg) | Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2017-08-06 02:05:36
|
---|
5![](/pdf-icon.png) | Add to Reading ListSource URL: www.coerll.utexas.edu- Date: 2018-05-29 17:31:30
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: www.tsgc.utexas.edu- Date: 2017-03-09 17:48:54
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: engr.utexas.edu- Date: 2017-09-21 11:38:01
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: identity.utexas.edu- Date: 2015-02-09 18:04:31
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: web2.ph.utexas.edu- Date: 2012-08-09 21:11:51
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: www.cah.utexas.edu- Date: 2016-04-25 13:56:48
|
---|