| 编译技术 |
| |
| An Efficient Compiler Technique for Code Size Reduction Using Reduced Bit-Width ISAs |
|
|
| A compiler technique for improving whole-program locality |
|
|
| A Parallelizing Compiler Technique for Loops with lrregular Accesses |
|
|
| A Compiler Technique With SIMD Instructions for Multi-Media Processing |
|
|
| Compiler Optimization Technique with Prediction of Execution Timing of Instructions |
|
|
| Complier-Supported Speculation Techniques For SMT Processors |
|
|
| Utilizing Parallel Resources By Speculation |
|
|
| Java Compilation for Embedded Systems: Current & Next Generation |
|
|
| A Compiler Technique to Hide Relaxed Memory Consistency |
|
|
| Compiler Techniques for the Distribution of Data and Computation |
|
|
| Analysis of the Influence of Register File Size on Energy Consumption, Code Size and Execution Time |
|
|
| Communication Optimizations and Their Effects on Memory Consistency Models |
|
|
| Decoupled Software Pipelining: A Promising Technique to Exploit Thread-Level Parallelism |
|
|
Compiler.net  |
|
|
| Intel? compilers |
|
|
| Embedded Tools and C Compilers for Developing Compact, Efficient Code |
|
|
| A Region-Based Compilation Technique for a Java Just-In-Time Compiler |
|
|
| Compilers For Embedded Systems Reading List |
|
|
| DeCCo: A Demonstrably Correct Compiler |
|
|
| Abstract State Machines: Static Link Technique |
|
|
| Customization For C++ |
|
|
| A Compiler Optimization Technique |
|
|
| Introduction to Special Issue on Compilers and Languages for Parallel and Distributed Computers |
|
|
| A Parallelizing Compiler Based on Partial Evaluation |
|
|
| Advanced System Tool For Low-Power Designs |
|
|
| Compiler-Directed Page Coloring For Multiprocessors |
|
|
| StackGuard and StackShield |
|
|
| Cache Miss Heuristics and Preloading Techniques for General-Purpose Programs |
|
|
| Reducing Register File Energy Consumption Using Compiler Support |
|
|
| An Overview Of IA-64 Architectural Features and Compiler Optimization |
|
|
| Memory Redundancy Elimination To Improve Application Energy Efficiency |
|
|
| Reorganizing Global Schedules For Register Allocation |
|
|
| TRAIAN: A Compiler for E-LOTOS/LOTOS NT Specifications |
|
|
| Compilation and Simulation Support For Custom Instruction Processors |
|
|
| Compiling deductive queries with the STARBASE compilation technique |
|
|
| Automatically Proving the Correctness of Compiler Optimizations |
|
|
| Building Demanding Hard Real-Time Systems with Software Thread Integration |
|
|
| PointGuard: Protecting Pointers From Buffer Overflow Vulnerabilities |
|
|
| Using XML as an Intermediate Form for Compiler Development |
|
|
| Intel? OpenMP C++/Fortran Compiler for Hyper-Threading Technology: Implementation and Performance (continued |
|
|
| Improving Lookahead in Parallel Discrete Event Simulations of Large-Scale Applications using Compiler Analysis |
|
|
| Advanced Compiler Design and Implementation (Book) 1997 |
|
|
| Modern Compiler Design (Book) 2000 |
|
|
| Modern Compiler Implementation In Java (Book) 2002 |
|
|
| Optimizing Compilers for Modern Architectures: A Dependence-based Approach (Book) 2001 |
|
|
| Compiler Design (Book) 1995 |
|
|
| The Compiler Design Handbook: Optimizations & Machine Code Generation (Book) 2002 |
|
|
| Compiler Optimizations |
|
|
| Advanced Compiler Optimization Techniques |
|
|
| Fast Area Estimation to Support Compiler Optimizations in FPGA ... |
|
|
| The Multics MACLISP Compiler |
|
|
| Design Compiler Technology Backgrounder |
|
|
| Compilers, Interpreters and Bytecode |
|
|
| Compiler-Assisted Thread Level Control Speculation |
|
|
| The Accent Compiler Compiler |
|
|
| Verifying Data Flow Optimizations for Just-in-Time Compilation |
|
|
| Incremental Development of a High Integrity Compiler: experience from an industrial development |
|
|
| Facile: A Language and Compiler For High-Performance Processor ... |
|
|
| Compiler Support for Reducing Leakage Energy Consumption |
|
|
| The Compiler Search Engine |
|
|
| Aki - Debugger for Attribute Grammar Description |
|
|
| Maximizing Multiprocessor Performance with the SUIF Compiler |
|
|
| A Compiler Toolkit in Haskell |
|
|
| Just-In-Time Compilation |
|
|
| Compiler Optimization-Space Exploration |
|
|
| Compiler-directed cache polymorphism |
|
|
| GARGOYLE, A Language for Compiler Writing |
|
|
| Method and system for supporting software pipelining using a shifting register queue |
|
|
| RMTool: The Software Reflexion Model Technique |
|
|
| A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors) |
|
|
| shuJIT - Java Just-In-Time Compiler for x86 Processors |
|
|
| Advanced Compiler Optimization nTechniques |
|
|
| Abstract State Machines: Compiler Correctness |
|
|
| Low-power branch prediction techniques for VLIW architectures |
|
|
| Optimized for Maximum Acceleration |
|
|
| Design of Multilingual Retargetable Compilers: Experience of the XDS Framework Evolution. |
|
|
| Using Basic Compiler Optimizations |
|
|
| CASPER: Compiler-Assisted Securing of Programs at Runtime |
|
|
| Polyglot: An Extensible Compiler Framework for Java |
|
|
| Playing by the Rules: Rewriting as a Practical Optimization Technique in GHC |
|
|
| Toward Differentiation-Enabled Fortran 95 Compiler Technology |
|
|
| Very Early C Compilers and Language |
|
|
| MIPSpro Compiler Technology |
|
|
| Compiler-assisted Banked Register File Architecture |
|
|
| The Very Portable Optimizer for Digital Signal Processors |
|
|
| Modular Compilers and Their Correctness Proofs |
|
|
| Automatically Proving the Correctness of Compiler Optimizations |
|
|
| Delphi Compiler Core |
|
|
| General Compiler-Assisted Software Prefetching |
|
|
| Advanced Parallelizing Compiler Technology |
|
|
| ACCENT - A Compiler Compiler for the Entire Class of Context-Free Languages |
|
|
| A quick overview and justification of vector processing |
|
|
| HPFC: A Prototype HPF Compiler |
|
|
| Compiler Research At Rochester |
|
|
| 4stack Compiler |
|
|
| The JIT Compiler Interface Specification |
|
|
| Java JIT Compiler Publications |
|
|
| Using gcj as a JIT Compiler |
|
|
| Just-In-Time (JIT) Compiler |
|
|
| Profile-Guided Optimizations For a .NET JIT Compiler |
|
|
| Working of JIT Compiler For Java VM |
|
|
| JIT Compiler For Linux |
|
|
| Software Thread Integration (STI) |
|
|
| Massively parallel compiler optimization |
|
|
| Parallel Compiler Representation |
|
|
| Parallel Compiler Runtime Consortium (PCRC) |
|
|
| Data Parallelism |
|
|
| Bibliography Of "High Performance Compilers For Parallel Computing" |
|
|
| dHPF: A Platform for Data-Parallel Compiler Research |
|
|
| Data-Parallel Compiler Support for Multipartitioning |
|
|
| pyacc - Pascal YACC Compiler Compiler |
|
|
| The Lex & Yacc Page |
|
|
| Yacc: Yet Another Compiler-Compiler |
|
|
| Koala Tools Compiler XT-A Bundle of Program Transformation Tools |
|
|
| Compiler Tools |
|
|
| Catalog Of Compiler Construction Tools |
|
|
| Free Compiler Construction Tools |
|
|
| Zephyr: Tools for a National Compiler Infrastructure |
|
|
| Compiler Basics |
|
|
| A Portable Compiler: Theory and Practice |
|
|
| VLIW Compiler Implementing An Experimental VLIW Compiler
|
|
|
| A VLIW Architecture For Trace Scheduling Compiler |
|
|
| A Compiler For Application_Specific Signal Processors |
|
|
| Using the IMPACT VLIW Compiler Framework to Implement a Compiler for a Fixed Point DSP |
|
|
| A Retargetable VLIW Compiler Framework for DSPs, in The Compiler Design Handbook: Optimizations & Machine Code Generation |
|
|
| Compiler/architecture interaction in a tree-based VLIW processor |
|
|
| Compiler For VLIW Architecture |
|
|
| Compiler-Assisted Multiple Instruction Word Retry for VLIW Architectures |
|
|
| Word On VLIW (VLIW Compiler Techniques) |
|
|
| Compiler Optimization and Ordering Effects on VLIW Code Compression |
|
|
| The Multiflow Trace Scheduling Compiler |
|
|
| What Is Compiler-Oriented Architecture ? |
|
|
| Implementing A VLIW Compiler Using SUIF |
|
|
| Bulldog : A Compiler for VLIW Architectures (ACM Doctoral Dissertation Award) |
软件工程
软件过程管理和改进
软件生存期模型
