Showing 1 - 20 results of 32 for search '"Optimizing compiler"', query time: 0.13s Refine Results
  1. 1
    Compilation Techniques for Reconfigurable Architectures
    by Cardoso, João M.P, Diniz, Pedro C.
    Published 2009
    Table of Contents: “… -- Mapping and Execution Optimizations -- Compilers for Reconfigurable Architectures -- Perspectives…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Programming Language Concepts
    by Sestoft, Peter
    Published 2012
    Table of Contents: “… -- Locally Optimizing Compiler -- Crash Course in F# -- Index.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Programming Language Concepts
    by Sestoft, Peter
    Published 2017
    Table of Contents: “… Optimizing Compiler -- Compiling Micro-SML -- Real Machine Code -- A Crash Course in F#.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    Published 2007
    Table of Contents: “…Formal Verification of an Optimizing Compiler -- Challenges in Satisfiability Modulo Theories…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits
    Table of Contents: “… Compiler Optimizations -- Compiler and Synthesis Transformations Employed During Scheduling -- Code…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
    Published 2001
    Table of Contents: “…, Based on General Term-Orderings -- Specialisation -- A Model for Inter-module Analysis and Optimizing…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Languages and Compilers for Parallel Computing 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers /
    Published 2003
    Table of Contents: “…Optimizing Compiler Design for Modularity and Extensibility -- Translation Schemes for the HPJava…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
    Published 2007
    Table of Contents: “… Components -- ViDoC - Visual Design of Optimizing Compilers -- Abstract Interpretation for Worst and Average…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
    Published 2006
    Table of Contents: “… Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Automated Technology for Verification and Analysis Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /
    Published 2004
    Table of Contents: “… of an Industrial Optimizing Compiler -- Composition of Accelerations to Verify Infinite Heterogeneous Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Published 2006
    Table of Contents: “… of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages -- Description Logic Reasoning…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
    Published 2008
    Table of Contents: “… -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Compiler Construction 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
    Table of Contents: “… for Generating Variable Range Tables -- Program Analysis -- Efficient Symbolic Analysis for Optimizing Compilers…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings /
    Published 1998
    Table of Contents: “… as Model Checking of Abstract Interpretations -- Invited Talks -- Certifying, Optimizing Compilation.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Transactions on High-Performance Embedded Architectures and Compilers I
    Published 2007
    Table of Contents: “… Architecture -- Power Aware External Bus Arbitration for System-on-a-Chip Embedded Systems -- 2: Optimizing…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Translation for Optimizing Compilers -- Analysis of Low-Level Code Using Cooperating Decompilers -- Session 6…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings /
    Published 2007
    Table of Contents: “… of Optimizing Compilers.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Computer Vision Systems First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999 Proceedings /
    Published 1999
    Table of Contents: “… Theater Play -- Sassy: A Language and Optimizing Compiler for Image Processing on Reconfigurable Computing…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings /
    Published 2001
    Table of Contents: “… and Introducing the Cardinality-PathConstraint Family -- Optimizing Compilation of Constraint Handling Rules…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Modular Programming Languages Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Allocation for Optimizing Compilers -- A Source-To-Source Architecture for User-Defined Optimizations…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search