Sciweavers

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

8

ATVA
2008
Springer

favoriteEmaildiscussreport

111views Hardware» more ATVA 2008»

Loop Summarization Using Abstract Transformers

13 years 6 months ago

Loop Summarization Using Abstract Transformers

Download verify.inf.unisi.ch

marization using Abstract Transformers Daniel Kr

Daniel Kroening, Natasha Sharygina, Stefano Tonett

Real-time Traffic

Abstract Transformers | ATVA 2008 | Carnegie Mellon University | Fondazione Bruno Kessler | Hardware |

claim paper

Related Content

» Improving the Memory Bandwidth Utilization Using Loop Transformations

» Fractal summarization summarization based on fractal theory

» Loop Transformation Recipes for Code Generation and AutoTuning

» Loop Transformations in the AheadofTime Optimization of Java Bytecode

» A Methodology and Tool for Automated Transformational HighLevel Design Space Exploration

» Modeling Loop Unrolling Approaches and Open Issues

» Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences

» DynTile Parametric tiled loop generation for parallel execution on multicore processors

» Optimizing Memory Accesses For Spatial Computation

Post Info
More Details (n/a)

Added	18 Oct 2010
Updated	18 Oct 2010
Type	Conference
Year	2008
Where	ATVA
Authors	Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Comments (0)