Вы здесь

Главная

компилятор

Связанные издания:

Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct
Run-Time Parallelization and Scheduling of Loops
Scalable Certification for Typed Assembly Language
Scanning Regular Languages by Dual Finite Automata
Scheduling Time-Critical Instructions on RISC Machines
Searching for the Best FFT Formulas with the SPL Compiler
Self-Applicable Online Partial Evaluation
Shade: A Fast Instruction-Set Simulator for Execution Profiling
Sharlit - A Tool for Building optimizers
SIMD Vectorization of Straight Line FFT Code
Simple Compiler Algorithms to Reduce Ownership Overhead in Cache Coherence Protocols
Simple Garbage-Collector-Safety
Simple Generation of Static Single-Assignment Form
Simple Qualitative Experiments with a Sparse Compiler
Simplication of Array Access Patterns for Compiler Optimizations
Simplifying Control Flow in Compiler-Generated Parallel Code
Simulating and Compiling a Hypothetical Microprogrammed Architecture with Projects for Computer Architecture and Compiler Design
Sisal 3.1 language structures decomposition
Software and Compilers for Embedded Systems: Proc./7th Intern. Workshop, SCOPES 2003, Vienna, Austria, September 2003
Software and Compilers for Embedded Systems: Proc./8th International Workshop, SCOPES 2004. Amsterdam, The Netherlands, September 2004
Software Caching and Computation Migration in Olden
Software Pipelining Showdown: Optimal vs. Heuristic Methods in a Production Compiler
Software Support for Speculative Loads
Some Comments on Morel and Renvoise s "Global Optimization by Suppression of Partial Redundancies"
Some Results on Exact Data Dependence Analysis
Some Simple OpenMP Optimization Techniques
Source-Level Debugging of Scalar Optimized Code
Space-Efficient Closure Representations
Specification of an Oberon Compiler by Means of a Typed Gurevich Machine
Specifications Can Make Programs Run Faster
Speculative Prediction Across Arbitrary Interprocedural Control Flow
Squeezing More CPU Performance Out of a Cray-2 by Vector Block Sheduling
StaCS: A Static Control Superscalar Architecture
STARLET: An Affix-Based Compiler Compiler Designed as a Logic Programming Systems
Statically Safe Speculative Execution for Real-Time Systems
Static Analysis: 4th Intern Symp., SAS 97. Paris, France, September 1997
Static Analysis of Linear Congruence Equalities Among Variables of a Program
Static Analysis of Upper and Lower Bounds on Dependences and Parallelism
Static Analysis: Proc./13th International Symposium, SAS 2006. Seoul, Korea, August 2006
Static Analysis: Proc./16th International Symposium, SAS 2009. Los Angeles, CA, USA, August 2009
Static Analysis: Proc./22nd International Symposium, SAS 2015, Saint-Malo, France, September 2015
Static Analysis: Proc./25th International Symposium, SAS 2018
Static Analysis: Proc./First Intern. Static Analysis Symp., SAS 94. Namur, Belgium, September 1994
Static Analysis: Proc./Third International Symposium, SAS 96. Aachen,Germany,September 1996
Static Single Assignment Form for Machine Code
Static Transition Compression
Storage Assignment to Decrease Code Size
StreamIt: A Language for Streaming Applications
Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell
Structuring a Compiler with Active Objects