Вы здесь

Главная

модульный

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

Parallel Module Specification on SLPX
Parallel Programming with Interacting Processes
Partitioning and Mapping Communication Graphs on a Modular Reconfigurable Parallel Architecture
Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment
PLEIADE: A System for Grammatical Programming
Practical Interface Specification
P-RIO: A Modular Parallel-Programming Environment
Program Composition and Modular Verification
Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code
PUNDIT - Natural Language Interfaces
Scalability in Distributed Systems, Parallel Systems and Supercomputers
{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems
Software Reengineering Based on Concept Lattices
Specification and Refinement of a Buffer of Length One
sql и модульное тестирование
Stand-Alone Messages: A Step Towards Component-Oriented Proramming Languages
Strategies in Modular System Design by Interface Rewriting
The Behavior-Oriented Design of Modular Agent Intelligence
The Click Modular Router
The DBPL Project: Advances in Modular Database Programming
The Embeddable Common Lisp
The Equational Theory of a Boolean Monad
The Influence of Software Module Systems on Modular Verification
Thread-Modular Model Checking
Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control
Towards a Modular Program Derivation via Fusion and Tupling
Towards Autonomous Robotic Systems: Proc./19th Annual Conference, TAROS 2018, Bristol, UK, July 2018
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker
Type Isomorphisms for Module Signatures
Verification of Large Software Systems
Verifying Properties of Module Construction in Type Theory
Автоматизированная система М-БАНК
Анализ модульного подхода и его применение в различных языках программирования
Архитектура и программное обеспечение макета системы МАРС
Вычислительные методы и программирование (Вопросы системного программирования)
Комплексная модульная система автоматизации обучения на ПЭВМ
Конфигурации программ. Рецепты безболезненных изменений. 2-е изд.
Конфигурация программ. Рецепты безболезненных изменений
Методы построения и оптимизации модульных структур технических и программных средств систем управления
Модульная асинхронная развиваемая система
Модульный алгоритмический язык рекурсивно конструированных и изображаемых значений - Маркиз
Модульный конвейерный процессор (предварительное описание).Ч.1. Архитектура. Данные. Управление
Модульный конвейерный процессор (предварительное описание). Ч.2. Приложения
О методологии композиционного структурно-модульного программирования
ОС QNX V4.2 - архитектура в области применения
Параллельное программирование в среде ОС МКП
Параллельное программирование для многомодульных вычислительных систем
Подход к модульному проектированию устойчивых программных средств
Применение модульного подхода к разработке транслятора
Проблемы оптимизации в композиционной структурно-модульной технологии программирования