Вы здесь

Главная

цикл

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

Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
Tailoring Software Pipelining for Effective Exploitation of Zero Overhead Loop Buffer
Temporary Arrays for Distribution of Loops with Control Dependences
Terminable Statements and Destructive Computation
The Complexity of the Flowchart Programs, Loop Programs, and Related Structures
The Lambda Loop Transformation Toolkit (User s Reference Manual)
The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization
The Mechanical Parallelization of Loop Nests Containing while Loops
The Pandore Compiler: Overview and Experimental Results
The SPNT Test: A New Technology for Run-Time Speculative Parallelization of Loops
Tiling and Memory Reuse for Sequences of Nested Loops
Towards Detection of Coarse-Grain Loop-Level Parallelism in Irregular Computations
Towards More Efficient Loop Checks
Translating Imperative Affine Nested Loop Programs into Process Networks
Trustworthy Software Development Processes: Proc./International Conference on Software Process, ICSP 2009, Vancouver, Canada, May 2009
Unimodularity Considered Non-Essential (Extended Abstract)
Unroll-Based Copy Elimination for Enhanced Pipeline Scheduling
Using Loop-Level Parallelism to Parallelize Vectorizable Programs
WHILE Loops and the Analogy of the Single Stroke Engine
Автоматизация дедуктивной верификации С-программ без использования инвариантов циклов
Автоматический синтез программ с циклами и рекурсиями
Автоматическое распараллеливание рекуррентных циклов с проверкой устойчивости
Алгоритм оптимизации потоков работ
Анализ зависимостей: состояние проблемы
Анализ информационных влияний в Модула-программах
Анализ и оптимизация циклов с помо ью производя их функций
Возможности оптимального выполнения параллельных программ, содержа их простые и итерированные циклы, на неоднородных параллельных вычислительных системах с распределенной памятью
Вторичные циклы обработки системных сооб ений Windows
Доказательство корректности программ
К задаче чистки циклов
Контекстные условия для объединения и расчленения циклов с индексными выражениями
Корректность преобразований чистки циклов для программ на внутреннем языке системы БЕТА
Корректность преобразования чистки циклов для программ на внутреннем языке системы Бета
К распараллеливанию последовательных программ: распределение массивов между процессорами и структуризация коммуникаций
Максимальные пути и циклы в графах
Математические методы распараллеливания рекуррентных циклов для суперкомпьютров с параллельной памятью
Матрицы циклов и разрезов графаи их использование для плоской реализации
Мелкозернистое распараллеливание неполных гнезд циклов
Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов
Обнаружение параллельно выполнимых шагов в программах с массивами
Обоснование преобразования чистки циклов
О некоторых особенностях природных циклов и их моделировании
Оптимизация циклов в оптимизирую ем генераторе кода проекта СОКРАТ
Отображение гнезд циклов на многоконвейерную вычислительную архитектуру
Покрытие графов циклами и быстрое восстановление оптоволоконных сетей
Полная система эквивалентных преобразований для двухленточных автоматов с непересекаю имися циклами
Преобразования циклов, основанные на несингулярных матрицах
Принципиальная модель архитектуры интегрированных технологичесих окружений
Программирование циклов (Учебное пособие)
Программная конвейеризация циклов методом планирования по модулю