Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
компилятор
Связанные издания:
The Scc Compiler: SWARing at MMX and 3DNow!
The Skel-BSP Global Optimizer: Enhancing Performance Portability in Parallel Programming
The SPNT Test: A New Technology for Run-Time Speculative Parallelization of Loops
The Structure of a Compiler for Explicit and Implicit Parallelism
The Structure of Parafrase-2: an Advanced Parallelizing Compiler for C and Fortran
The Superthreaded Processor Architecture
The Use of the Parsing Method for Optimal Code Generation and Common Subexpression Elimination
The Verifying Compiler: A Grand Challenge for Computing Research
The WAM: A (Real) Tutorial
TIL: A Type Directed Optimizing Compiler for ML
TIL: A Type-Directed Optimizing Compiler for ML
Tile Size Selection Using Cache Organization and Data Layout
Tiling and Memory Reuse for Sequences of Nested Loops
Time-Safety Checking for Embedded Programs
To Inline or Not to Inline? Enhanced Inlining Decisions
Tools and Algorithms for the Construction and Analysis of Systems, Part II: Proc./24th International Conference, TACAS 2018 Held as Part of Europea Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessalonoki, Greece, April 2018
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./24th International Conference, TACAS 2018 Held as Part of the Europen Joint Conference ETAPS 2018, Thessaloniki, Greece, April 2018
Toward Compiler Support for Scalable Parallelism Using Multipartitioning
Towards a Constraints Functional Logic Compiler for Symbolic Computation Systems
Towards a Lightweight HPF Compiler
Towards a Provably Correct Compiler for OBJ3
Towards Better Inlining Decisions Using Inlining Trials
Towards Detection of Coarse-Grain Loop-Level Parallelism in Irregular Computations
Towards Machine-checked Compiler Correctness for Higher-order Pure Functional Languages
Towards Rigorous Compiler Implementation Verification
Towards the Verifying Compiler
Toward Zero-Cost Branches Using Instruction Registers
Transactions on High-Performance Embedded Architectures and Compilers I
Transactions on High-Performance Embedded Architectures and Compilers II
Transformations for Optimizing Interprocess Communication and Synchronization Mechanisms
Transforming Haskell for Tracing
Translation Validation: From DC+ to C
Transport-Triggering vs. Operation-Triggering
Tree Automata for Code Selection
Trends in Functional Programming: Revised Selected Papers/15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 2014
Trends in Functional Programming: Revised Selected Papers/17th International Conference, TFP 2016, College Park,MD,USA, June 2016
Trends in Functional Programming: Revised Selected Papers/20th International Symposium, TFP 2019, Vancouver,BC,Canada, June 2019
Trends in Functional Programming: Revised Selected Papers/21st International Symposium, TFP 2020, Krakow, Poland, February 2020
Tuple Analysis and Partial Evaluation Strategies in the Linda Precompiler
Turbo Analyst 7.0
TurboJ, a Java Bytecode-to-Native Compiler
Turbo Pascal 6.0: первые впечатления
Turbo Pascal for Windows
Two for the Price of One: Composing Partial Evaluation and Compilation
Type Analysis of Prolog Using Type Graphs
Type Inference for Late Binding: The SmallEiffel Compiler
Type Matching, Type-Graphs, and the Schanuel Conjecture
Types in Compilation: Proc./Third Intern. Workshop, TIC 2000, Montreal, Canada, September 2000
Un compilateur Estelle multi-processeurs pour l experimentation d algorithmes distribues sur machines paralleles
Understanding the Bottom-Up SLR Parser
« первая
‹ предыдущая
…
13
14
15
16
17
18
19
20
21
следующая ›
последняя »