Вы здесь

Главная

асинхронный

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

Clocked and Asynchronous Instruction Pipelines
COBRA-Based Data Transfer for Financial Risk Management
Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS
Compiling a Producer-Consumer LEQ System in a Network of Communicating Processes
Composition and Behaviors of Probabilistic I/O Automata
Composition and Decomposition in True-Concurrency
Concurrent Logic Programming Asynchronous and Language Comparison
Conformance Checking for Models of Asynchronous Message Passing Software
Correct Compilation of Specifications to Deterministic Asynchronous Circuits
Data-flow Synchronous Languages
Deriving Petri Nets from Finite Transition Systems
Deterministic Asynchronous Automata for Infinite Traces
Determinizing Asynchronous Automata
Determinizing Buchi Asynchronous Automata
Distributed Real-Time System Sprcification and Verification in APTL
Dynamics of TCP Traffic over ATM Networks
Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations
Efficient Atomic Snapshots Using Lattice Agreement
Efficient Implementation of PVM on the AN2 ATM Network
Enhancing Asynchronism of Data Exchanges in Parallel Programs
Entwurf und Implementierung von CSSA..: Teil A: Konzepte
Entwurf und Implementierung von CSSA.. Teil B: CSSA-Sprachbeschreibung
Entwurf und Implementierung von CSSA.. Teil C: CSSA-Systembenutzung
Experiences of Building an ATM Switch for the Local Area
Faster Asynchronous Systems
Finite State Verification for the Asynchronous pi-Calculus
Formal Aspects of Component Software: Revised Selected Papers/12th International Conference, FACS 2015, Niteroi, Brazil, October 2015
Formal Methods for Multicore Programming: Advanced Lectures/15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 2015
Formal Verification of an Arbiter Cascade
Foundations of Software Science and Computation Structures: Proc./9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
Foundations of Web Transactions
Functionality and performance analysis of B-net models
Hardware Support of Parallel Asynchronous Processes
Improvements to TCP Performance in High-Speed ATM Networks
Initial Failures in Distributed Computations
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: Proc./17th Intl WS, PATMOS 2007. Gothenburg, Sweden, September 2007
Integrated Circuit and System Design: Proc./14th International Workshop, PATMOS 2004. Santorini, Greece, September 2004
Joint Scheduling and Admission Control for ATS-based Switching
Languages for Reactive Specifications: Synchrony Vs Asynchrony
Le Controle des Systemes Asynchrones: Concepts, Proprietes, Analyse Statique: These
MARS - A Hierarchical Heterogeneous Modular System
Membrane Computing: Revised Selected and Invited Papers/6th International Workshop, WMC 2005. Vienna, Austria, July 2005
Model Checking Software: Proc./12t International SPIN Workshop. San Francisco, CA, USA, August 2005
Modelling rational BDI-agents within the framework of asynchronous automata
On Asynchronous Communication Semantics
On Blocks: locality and asynchronous communication
On the action semantics of concurrent programming languages
On the Complementation of Buchi Asynchronous Cellular Automata
Performance Analysis of an Asynchronous Multi-rate Crossbar with Bursty Traffic
Principles of Distributed Systems: Proc./13th International Conference, OPODIS 2009, Nimes, France, December 2009