Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
синхронный
Связанные издания:
About Synchronous Programming and Abstract Interpretation
Accommodating Latecomers in a System for Synchronous Collaboration
A Distributed Protocol for Channel-Based Communication with Choice
A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL
An Axiomatic Semantics for the Synchronous Language Gentzen
An ML-Like Module System for the Synchronous Language SIGNAL
Applying the Synchronous Approach for Rial Time Active Visual Reconstruction
A Process Algebra for Synchronous Concurrent Constraint Programming
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Axiomatizing an Algebra of Step Reactions for Synchronous Languages
Clocked and Asynchronous Instruction Pipelines
COBRA-Based Data Transfer for Financial Risk Management
Coloured Petri Nets Extended with Channels for Synchronous Communication
Communicating Clauses: towards Synchronous Communication in Contextual Logic Programming
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation
Compositional Semantics of Non-deterministic Synchronous Languages
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
Correct Hardware Synthesis. An algebraic approach
Data-flow Synchronous Languages
Efficient Verification of Halting Properties For MPI Programs with Wildcard Receives
Execution of Distributed Reactive Systems
First-class Synchronous Operations
Foundations of a Theory of Synchronous Systems
GC: The Data-Flow Graph Format of Synchronous Programming
Horizons of Parallel Computation
Implementation of the Data-flow Synchronous Language SIGNAL
Implementing Reactive Programs on Circuits. A Hardware Implementation of LUSTRE
Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms
Instrumentation of Synchronous Reactive Models for Performance Engineering
Interface SIGNAL-SynDEx
Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints
Languages for Reactive Specifications: Synchrony Vs Asynchrony
Lightweight Causal and Atomic Group Multicast
Model Checking the Time to Reach Agreement
Modelling Asynchrony with a Synchronous Model
On certain problem of resourse allocation in systems of concurrent programs
On Circuits and Numbers
On Statistical Structural Testing of Synchronous Data Flow Programs
On the Combination of Synchronous Languages
Problems, Promises and Performance: Some Questions for Real-Time System Specification
Projet SYNCHRONE. Les formats communs des langages syncrones
Prototyping of VLSI Components from a Formal Specification
Solving the generalized eigenvalue problem on a synchronous linear processor array
Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs
Synchronous and Asynchronous Group Communication
Synchronous-Asynchronous Cellular Computations
Synchronous Thread Management in a Distributed Operating System s Micro Kernel
Synchronous versus asynchronous cellular automata for simulating nano-systems kinetics
Synchrony and Asynchrony in Process Algebra
The SL Synchronous Language
1
2
следующая ›
последняя »