DBLP XML Requests Appendix to the paper “DBLP — Some Lessons Learned” (June 17, 2009) Michael Ley Universitat ¨ Trier, Informatik D–54286 Trier - Compound engine - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2009-06-17 14:30:40 Computing Software engineering Programming language comparisons Control flow DBLP University of Trier Constructor Entry point Foreach loop		DBLP XML Requests Appendix to the paper “DBLP — Some Lessons Learned” (June 17, 2009) Michael Ley Universitat ¨ Trier, Informatik D–54286 Trier Add to Reading List Source URL: dblp.org Download Document from Source Website File Size: 154,66 KB Share Document on Facebook

	Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington DocID: 1xVUp - View Document
	FPGAs as Streaming MIMD Machines for Data Analy9cs James Thomas, Matei Zaharia, Pat Hanrahan CPU/GPU Control Flow Divergence DocID: 1xVnb - View Document
	Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ † DocID: 1xVic - View Document
	Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st DocID: 1xVap - View Document
	Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang DocID: 1xV5v - View Document