Вы здесь

Главная

асинхронный

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

Problems, Promises and Performance: Some Questions for Real-Time System Specification
Process Algebra with Asynchronous Communication Mechanisms
Programming Distributed Reactive Systems: A Strong and Weak Synchronous Coupling
Protected Records in Ada 9X
Secure Communications in ATM Networks
Signaling and Operating System Support for Native-Mode ATM Applications
Simple Extensions of 1-Writer Atomic Variable Constructions to Multiwriter Ones
Specifying and Verifying Partial Order Properties Using Template MSCs
Static Analysis of Communication for Asynchronous Concurrent Programming Languages
Structural Information and Communication Complexity: Proc./17th Internatiomal Colloquium, SIROCCO 2010, Sirince, Turkey, June 2010
Structural Information and Communication Complexity: Revised Selected Papers/20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 2013
Subclasses of Recognizable Trace Languages
Synchronous and Asynchronous Group Communication
Synchronous-Asynchronous Cellular Computations
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Synchronous versus asynchronous cellular automata for simulating nano-systems kinetics
Synchrony and Asynchrony in Process Algebra
Testing Semantics of Asynchronous Distibuted Programs
The Asynchronous Zero-Searching Problem
The Cost of Order in Asynchronous Systems
The European Meta Computing Utilising Integrated Broadband Communications (E=MC )Project
The Expressive Power of Indeterminate Primitives in Asynchronous Computation
The START Project
Timed Petri Nets: Efficiency of Asynchronous Systems
Time Stream Petri Nets - A Model for Timed Multimedia Information
Tolerating Transient and Permanent Failures
Toward Languages and Formal Systems for Distributed Computing
Towards the Synthesis of Asynchronous Concurrent Programs
Transactions on Petri Nets and Other Models of Concurrency VI
Using Static Analysis to Improve Automatic Test Generation
Visual Specifications for Modular Reasoning about Asynchronous Systems
Автоматное управление асинхронными процессами в ЭВМ и дискретных системах
Архитектура и программное обеспечение макета системы МАРС
Асинхронная сеть пакетной коммутации "СВIT"
Асинхронный вызов функций и методов в Си++
Верификация асинхронных параллельных систем на основе L-программ
Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий
Динамические модели параллельных вычислений для макроконвейерных программ
Категорное описание асинхронных параллельных вычислений
Компиляция параллельного языка LEQ класса "производитель-потребитель" на сеть взаимодействую их процессов
Логическое время в распределенных программных системах
Модульная асинхронная развиваемая система
Некоторые вопросы оптимальной реализации алгоритмов
О верификации асинхронных программ продукционного типа
Предварительное описание языка БАРС
Преобразование оперативных схем в асинхронные программы
Преобразование операторных схем в асинхронные программы
Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов
Режимы взаимодействия неоднородных распределенных конкурирую их процессов
Синтез параллельных алгоритмов с асинхронно-модульной структурой