Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

EMSOFT
2009
Springer

favoriteEmaildiscussreport

101views Software Engineering» more EMSOFT 2009»

Refining the control structure of loops using static analysis

13 years 11 months ago

Refining the control structure of loops using static analysis

Download www.cs.colorado.edu

Gogul Balakrishnan, Sriram Sankaranarayanan, Franj

Real-time Traffic

EMSOFT 2009 | Software Engineering |

claim paper

Related Content

» Improving the Static Analysis of Loops by Dynamic Partitioning Techniques

» Control flow optimization in loops using interval analysis

» Dragon A Static and Dynamic Tool for OpenMP

» Automatic Inference of Frame Axioms Using Static Analysis

» Establishing Timing Requirements and Control Attributes for Control Loops in RealTime Syst...

» Static analysis of processor stall cycle aggregation

» Dynamic Object Process Graphs

» Abstract Parsing Static Analysis of Dynamically Generated String Output Using LRParsing Te...

» A Framework for CFGBased Static Program Analysis of Ada Programs

Post Info
More Details (n/a)

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	EMSOFT
Authors	Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Comments (0)