Guaranteed Loop Bound Identification from Program Traces for WCET Mark Bartlett, Iain Bate and Dimitar Kazakov Department of Computer Science University of York Heslington, York, UK

First Page		Document Content
Date: 2012-05-02 15:17:28 Compiler optimizations Control flow Worst-case execution time For loop Loop unwinding Infinite loop Loop counter Type system Algorithm Computing Software engineering Computer programming		Guaranteed Loop Bound Identification from Program Traces for WCET Mark Bartlett, Iain Bate and Dimitar Kazakov Department of Computer Science University of York Heslington, York, UK Add to Reading List Source URL: www.cs.york.ac.uk Download Document from Source Website File Size: 145,37 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