Sciweavers

    1251 search results - page 22 / 251
    » Optimizing Compilation of CLP(R)
    Sort
    View
    CF
    2006
    ACM
    89views Applied Computing» more  CF 2006»
    On the decidability of phase ordering problem in optimizing compilation
    15 years 10 months ago
    On the decidability of phase ordering problem in optimizing compilation
    Download  www.prism.uvsq.fr
    Sid Ahmed Ali Touati, Denis Barthou
    claim paper
    Read More »
    LCPC
    2005
    Springer
    123views System Software» more  LCPC 2005»
    Interprocedural Symbolic Range Propagation for Optimizing Compilers
    15 years 10 months ago
    Interprocedural Symbolic Range Propagation for Optimizing Compilers
    Download  cobweb.ecn.purdue.edu
    Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
    Hansang Bae, Rudolf Eigenmann
    claim paper
    Read More »
    TYPES
    2004
    Springer
    83views Formal Methods» more  TYPES 2004»
    A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis
    15 years 9 months ago
    A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis
    Download  gallium.inria.fr
    Yves Bertot, Benjamin Grégoire, Xavier Lero...
    claim paper
    Read More »
    IPPS
    2003
    IEEE
    118views Distributed And Parallel Com...» more  IPPS 2003»
    Selective Optimization of Locks by Runtime Statistics and Just-in-Time Compilation
    15 years 9 months ago
    Selective Optimization of Locks by Runtime Statistics and Just-in-Time Compilation
    Download  www.labri.fr
    Ray Odaira, Kei Hiraki
    claim paper
    Read More »
    ICSE
    2009
    IEEE-ACM
    134views Software Engineering» more  ICSE 2009»
    Automated Test Program Generation for an Industrial Optimizing Compiler
    15 years 9 months ago
    Automated Test Program Generation for an Industrial Optimizing Compiler
    Download  ast2009.com
    Chen Zhao, Yunzhi Xue, Qiuming Tao, Liang Guo, Zha...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.