Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
компилятор
Связанные издания:
Unifying Data and Control Transformations for Distributed Shared-Memory Machines
Uniprep - Preparing a C/C++ Compiler for Unicode
Uniqueness and Completeness Analysis of Array Comprehensions
Usage Scenarios for an Automated Model Compiler
USC: A Universal Stub Compiler
User-Extensible Simplification - Type-Based Optimizer Generators
Using graph coloring in an algebraic compiler
Using JavaTM APIs with Native Ada Compilers
Using Knowledge-Based Techniques for Parallelization on Parallelizing Compilers
Using Optimistic Execution Techniques as a Parallelisation Tool for General Purpose Computing
Using Preemptive Thread Migration to Load-Balance Data-Parallel Applications
Using Profile Information to Assist Advanced Compiler Optimization and Scheduling
Using Static Analysis to Derive Imperative Code from ALPHA
Using YACC and Lex with C++
Utilizing New Communication Features in Compilation for Private-Memory Machines
Value-Based Distributions in Fortran D
Value-Based Partial Redundancy Elimination
VCOCO: A Visualisation Tool for Teaching Compilers
Verification, Model Checking, and Absract Interpretation: Proc./5th Intern. Conf., VMCAI 2004, Venice, Italy, January 2004
Verification of ANDF Components
Verification of Compilers
Verification Tools in the Development of Provably Correct Compilers
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/10th International Conference, VSTTE 2018, Oxford, UK, July 2018
Verifying a Compiler Optimization for Multi-Threaded Java
Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations
Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation
VIP: A Visual Editor and Compiler for v-Promela
Visual C++ 4.0 - возможности для профессионалов
Vortex: An Optimizing Compiler for Object-Oriented Languages
Walk-Time Address Adjustment for Improving the Accuracy of Dynamic Branch Prediction
WAMCC: Compiling Prolog to C
Weighted Decision Trees
Windows 3.0 и все, все, все
With-Loop-Folding in SAC - Condensing Consecutive Array Operations
XIL and YIL: The Intermediate Languages of TOBEY
Zero-cost Range Splitting
Zonnon for .NET - A language and Compiler Experiment
Zur Problematik der Fehlerbehandlung in Compilern - Ein Diskussionsbeitrag
Абстрактная модель компилятора
Абстрактная модель компилятора как результат алгебраической семантики языка программирования
Автоматизация процесса построения компиляторов
Автоматизированный практикум по методам конструирования компиляторов
Автоматическая генерация тестов для проверки распараллеливаю их и векторизую их преобразований циклов в компиляторе
Автоматическая генерация тестов для проверки распараллеливаю их и векторизую их преобразований циклов в компиляторе
Авто-распараллеливатель и векторизатор программ, реализованный на основе универсальной библиотека трансляции и технологии LLVM
Авто-распараллеливатель программ, реализованный на основе компонентной технологии построения оптимизирую их компиляторов
Анализ структурной эквивалентности описаний в компиляторе с языка С[]
Архитектуры с мелко-зернистым параллелизмом и проблема построения прототипов компиляторов
Блок редукции в компиляторе SISAL 3.0
Введение в системное программирование
« первая
‹ предыдущая
…
13
14
15
16
17
18
19
20
21
следующая ›
последняя »