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

	A New Loop Optimizer for GCC Zdenˇek Dvoˇrák SuSE Labs , http://atrey.karlin.mff.cuni.cz/˜rakdver/ Abstract DocID: 1fVMl - View Document
	Journal of Instruction-Level ParallelismSubmitted 6/07; published 6/08 Dynamic Parallelization and Vectorization of Binary Executables on Hierarchical Platforms DocID: 1fArT - View Document
	Optimizing Software Data Prefetches with Rotating Registers Gautam Doshi Intel Corporation 2200, Mission College Blvd Santa Clara, CA 95052 DocID: 18TIq - View Document
	Compiling for Resource-Constrained Platforms using ASSHes: Application- and System-Specific Heuristics Alastair Reid Nathan Cooprider John Regehr School of Computing, University of Utah DocID: 18In5 - View Document
	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 DocID: 15Dq3 - View Document