Вы здесь

Главная

поток данных

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

The Interprocedural Coincidence Theorem
The Power of Assignment Motion
The Program Structure Tree: Computing Control Regions in Linear Time
The Structured Data Handling in High Performance Specialized Computer System
Thread-based Programming for the EM-4 Hydrid Dataflow Machine
Threads and Subinstruction Level Parallelism in a Data Flow Architecture
Towards an Efficient Hybrid Dtaflow Architecture Model
Towards Formalization of Data Flow Schemata with Colored Tokens
Transactions on Aspect-Oriented Software Development X
Transactions on Large-Scale Data-and Knowledge-Centered Systems I
Transactions on Large-Scale Data-and Knowledge-Centered Systems XL
Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXIII
Trnsactions on Large-Scale Data-and Knowledge-Centered Systems XIV
Types for Proofs and Programs: Revised Selected Papers/International Workshop, TYPES 2004. Jouy-en-Josas, France, December 2004
Une analyse du comporterment recursif de programmes Prolog par une interpretation abstraite
Un Langage Data-Flow Synchrone pour la Simulation Massivement Parallele
Update in Place: Overview of the Siva project
Using Control and Data Flow Analysis for Race Evaluation
Using Locality of Flow in Dataflow Analyses
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Virtual Data-Flow Machine as Vehicle of Inference/Computations in Knowledge Bases
Web Technologies and Applications: Proc./16th Asia-Pacific Web Conference, APWeb 2014, Changsha, China, September 2014
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
Which Pointer Analysis Should I Use?
Working Material for the Lectures of J.B. Dennis "Data Flow Models of Computation": International Summer School: "Control Flow and Data Flow": Munich, Germany, August, 1984
YAWL: yet another workflow language
АТМ - сетевая технология буду его
Вычисления, управляемые потоками данных: модели, машины, языки (проблемы и перспективы развития)
Вычислительные машины с нетрадиционной архитектурой. Супер-ВМ. Сборник научных трудов
Математическое и программное обеспечение адаптивной маршрутизации и балансировки потоков данных в программно-конфигурируемых сетях с обеспечением качества сетевых сервисов
Метод вертикальной обработки потока целочисленных групповых данных. II. Приложение к бинарным арифметическим операциям
Метод кумулятивных сумм для обнаружения вторжений и борьбы с ними
Методы межпроцедурного анализа
Об организованности потока данных в программах
Отображение параллельных вычислений на распределённые системы, использующие технологию RapidIO
Параллельная символьная обработка на языке Рефал
Построение алгоритмов спекулятивных оптимизаций
Разрешимость проблемы функциональной эквивалентности для подклассов свободных схем потоков данных
ЭВМ, управляемые потоками данных
Эволючионная модель оптимизации модульной ассоциативной памяти для машин потока данных на основе генетического алгоритма
Эффективные строковые алгоритмы в модели потока данных