Work

Results: 156439



#Item
1DryadSynth:	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

Add to Reading List

Source URL: www.react.uni-saarland.de

Language: English - Date: 2017-08-02 08:54:12
2Reasoning 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

Add to Reading List

Source URL: cgi.csc.liv.ac.uk

Language: English - Date: 2015-11-05 14:28:54
3Designing 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,

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2016-08-24 18:55:21
4Getting to Work with OpenPiton  Princeton University http://openpiton.org  OpenPit

Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit

Add to Reading List

Source URL: parallel.princeton.edu

Language: English - Date: 2017-02-16 20:26:30
5Chainweb: 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,

Add to Reading List

Source URL: kadena.io

Language: English - Date: 2018-05-11 22:40:04
6Language 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

Add to Reading List

Source URL: pxtp.github.io

Language: English - Date: 2017-09-19 23:50:55
7The 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

Add to Reading List

Source URL: www.newsd.admin.ch

Language: English - Date: 2018-10-26 08:17:02
8Rain 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

Add to Reading List

Source URL: qn-s0.yuketang.cn

Language: English - Date: 2018-03-21 03:28:08
9Finding 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

Add to Reading List

Source URL: zhang-sai.github.io

Language: English - Date: 2015-05-05 04:58:35
10Berne, 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

Add to Reading List

Source URL: work-smart-initiative.ch

Language: French - Date: 2018-04-16 11:07:47