Showing 1 - 20 results of 32 for search '"optimizing compilers"', query time: 0.10s 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
    Introduction to Compiler Design
    by Mogensen, Torben Ægidius
    Published 2011
    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
    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
  8. 8
    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
  9. 9
    Variations on Constants Flow Analysis of Sequential and Parallel Programs /
    by Müller-Olm, Markus
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Coders at Work Reflections on the Craft of Programming /
    by Seibel, Peter
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    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
  12. 12
    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
  13. 13
    Instruction Level Parallelism
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    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
  15. 15
    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
  16. 16
    Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /
    Published 2006
    Table of Contents: “… Analysis -- Interprocedural Symbolic Range Propagation for Optimizing Compilers -- Parallelization…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    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
  18. 18
    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
  19. 19
    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
  20. 20
    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
Search Tools: RSS Feed – Email Search