Вы здесь

Главная

параллелизм

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

The Syntax of Parallelism
Thinking in Cycles
Third Workshop on Concurrency and Compositionality : Extended Abstracts, Goslar, Germany, March 1991
Threads and Subinstruction Level Parallelism in a Data Flow Architecture
Three Equivalent Semantics for CCS
Tight Lower Bounds for Probabilistic Solitude Verification on Anonymous Rings
Timed Communicating Object Z
Timed CSP: Theory and Practice
Timed Transition Systems
Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction
Time for Concurrency
Token-Free Petri Nets
Tools and Algorithms for the Construction and Analysis of Systems: Proc./22nd International Conference, TACAS 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016
TOP2 Tool Suite for the Development and Testing of Parallel Applications
Topological Aspects of Traces
Tornado: Maximizing Locality and Concurrency in a Shared Memory Multiprocessor Operating System
Toward a Method of Object-Oriented Concurrent Programming
Toward an Operating System that Supports Parallel Processing on Nondedicated Clusters
Toward Compiler Support for Scalable Parallelism Using Multipartitioning
Towards an Algebraic Theory of Concurrency
Towards an Efficient Algorithm for Unfolding Petri Nets
Towards an Epistemic Approach to Reasoning about Concurrent Programs
Towards an Object Calculus
Towards a Unified Theory of Concurrency Control and Recovery
Towards Detection of Coarse-Grain Loop-Level Parallelism in Irregular Computations
Towards Independent And-Parallelism in CLP
Towards Visual Development of Message-Passing Programs
Trace Nets
Trace nets and process automata
Trace Semantics for Actor Systems
Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes
Transactional Memory: Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001
Transactional Syatems: Increasing Running-Time Concurrency while Maintaining an Efficient Recovery Processing
Transaction Management in N-Version Programmed Database Systems
Transactions and Database Dynamics: Proc./8th Intern. Workshop on Foundations of Models and Languages for Data and Objects. Dagstuhl Castle, Germany, September 1999
Transactions Classification and a Concurrency Control Algorithm in a Multidatabase System
Transactions on High-Performance Embedded Architectures and Compilers III
Transactions on Large-Scale Data-and Knowledge-Centered Systems V
Transactions on Petri Nets and Other Models of Concurrency I
Transactions on Petri Nets and Other Models of Concurrency IX
Transactions on Petri Nets and Other Models of Concurrency XI
Transformation de Programmes Sequentiels en Programmes Paralleles: These
Transformation Techniques in Pei
Transforming Generate-and-Test Programs to Execute Under Committed-Choice AND-Parallelism
Transition Systems of Elementary Net Systems with Localities
Translating Imperative Affine Nested Loop Programs into Process Networks
Transparent And-Parallelism in the Presence of Shared Free Variables
Transparent Parallelisation through Reuse: Between a Compiler and a Library Approach
Trees in Algebra and Programming - CAAP 96: Proc./21st Intern. Colloq. Linkoping, Sweden, April 1996
Trends in Functional Programming: Revised Selected Papers/14th International Symposium, TFP 2013, Provo,UT,USA, May 2013