www.energyevent.com EMC 2014 SHOW NEWS

First Page		Document Content
Date: 2014-05-12 14:23:28 Work Association of Energy Engineers International performance measurement and verification protocol Technology Engineering Force Energy conservation Energy service company Green Building Certification Institute		www.energyevent.com EMC 2014 SHOW NEWS Add to Reading List Source URL: www.aeeprograms.com Download Document from Source Website File Size: 2,67 MB Share Document on Facebook

	DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop DocID: 1xW38 - View Document
	Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop DocID: 1xVYq - View Document
	Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University, DocID: 1xVWJ - View Document
	Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit DocID: 1xVWB - View Document
	Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy, DocID: 1xVWn - View Document