1![DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop](https://www.pdfsearch.io/img/e67d94bcac41ab3ad563c39760dc01f9.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
2![Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop](https://www.pdfsearch.io/img/0b21db153daa815335107ceadb066f6e.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-11-05 09:28:54
|
---|
3![Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University, Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University,](https://www.pdfsearch.io/img/f4de88dbf7bf15c6084cd211e8ef69f1.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2016-08-24 14:55:21
|
---|
4![Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit](https://www.pdfsearch.io/img/7534d32f8f764a53acacf1953d9636ee.jpg) | Add to Reading ListSource URL: parallel.princeton.eduLanguage: English - Date: 2017-02-16 15:26:30
|
---|
5![Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy, Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy,](https://www.pdfsearch.io/img/464ff3834ed03d4047d72f9480b4f9af.jpg) | Add to Reading ListSource URL: kadena.ioLanguage: English - Date: 2018-05-11 18:40:04
|
---|
6![Language and Proofs for Higher-Order SMT (Work in Progress)∗ Haniel Barbosa Jasmin Christian Blanchette Language and Proofs for Higher-Order SMT (Work in Progress)∗ Haniel Barbosa Jasmin Christian Blanchette](https://www.pdfsearch.io/img/0e010aaf9f0f1e90685467c18f6012cc.jpg) | Add to Reading ListSource URL: pxtp.github.ioLanguage: English - Date: 2017-09-19 19:50:55
|
---|
7![The German text is solely decisive. Tripartite declaration on the future of work and social partnership in Switzerland in the digital business age We, as the tripartite representatives of the State, and employer and tr The German text is solely decisive. Tripartite declaration on the future of work and social partnership in Switzerland in the digital business age We, as the tripartite representatives of the State, and employer and tr](https://www.pdfsearch.io/img/6d99f6b9f93ad04b719b2589af01661b.jpg) | Add to Reading ListSource URL: www.newsd.admin.chLanguage: English - Date: 2018-10-26 04:17:02
|
---|
8![Rain Classroom Manual
Part 1 Prepare Work
FOR TEACHERS ■Computer: WindowsXP SP3、Windows7 or more advanced versions Rain Classroom Manual
Part 1 Prepare Work
FOR TEACHERS ■Computer: WindowsXP SP3、Windows7 or more advanced versions](https://www.pdfsearch.io/img/ce770b927351d3e495ef99bd5455326c.jpg) | Add to Reading ListSource URL: qn-s0.yuketang.cnLanguage: English - Date: 2018-03-20 23:28:08
|
---|
9![Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst](https://www.pdfsearch.io/img/da4424d7157ea9f88b184506eba19c1f.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:35
|
---|
10![Berne, 9 juinCharte relative à l’organisation de modes de travail flexibles et indépendants du lieu Évolution des modes de travail Berne, 9 juinCharte relative à l’organisation de modes de travail flexibles et indépendants du lieu Évolution des modes de travail](https://www.pdfsearch.io/img/602af7d02214d1c35ac4b0bb709ee36c.jpg) | Add to Reading ListSource URL: work-smart-initiative.chLanguage: French - Date: 2018-04-16 07:07:47
|
---|