Вы здесь

Главная

параллелизм

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

Branch Effect Reduction Techniques
Branch History Table Indexing to Prevent Pipeline Bubbles in Wide-Issue Superscalar Processors
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications
Branching Time and Abstraction in Bisimulation Semantics
Branch Merging for Effective Explotation of Instruction-Level Parallelism
BSP in CSP: Easy as ABC
Building BSP Programs Using the Refinement Calculus
Bus Based Parallel Computers: A Viable Way for Massive Parallelism
CARMEL-4: The Unify-Spawn Machine for FCP
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs
Causal Trees: Interleaving + Causality
CC Programs with Both In- and Non-determinism: A Concurrent Semantics
CCS is an (Augmented) Contact Free C/E System
CCS+Time= an Interleaving Model for Real Time Systems
CEDISYS: Compositional Distributed Systems Final Report
Cellular Automata and Discrete Complex Systems: Proc./22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 2016
Cellular Automata and Discrete Complex Systems: Proc./23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Spain, June 2017
Centralized Concurrency Control Methods for High-End TP
CHAOSarc: Kernel Support for Multiweight Objects, Invocations, and Atomicity in Real-Time Multiprocessor Applications
Chapter 18. A Duplication Based Compile Time Scheduling Method for Task Parallelism
Chapter 2. The Sisal Project: Real World Functional Programming
Chapter 4. A Concurrency Abstraction Model for Avoiding Inheritance Anomaly in Object-Oriented Programs
Chores: Enhanced Run-Time Support for Shared-Memory Parallel Computing
CLAO: An Object-Oriented Programming System for Distributed Memory Parallel Machines
Clock Trees: Logical Clocks for Programs with Nested Parallelism
CMPP 2000: Second International Workshop on Constructive Methods for Parallel Programming
CMPP 98: First International Workshop on Constructive Methods for Parallel Programming
CMPP 98: First Intern. Workshop on Constructive Methods for Parallel Programming. Marstrand, Sweden, June 18, 1998
Collections and Garbage Collection
Colored Cause-Effect Structures
Combinatorial Image Analysis: Proc./18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 2017
Combinatorics, Complexity, and Randomness
Combining Compositionality and Concurrency
Combining Conditional Constant Propagation and Interprocedural Alias Analysis
Combining Oberon with Active Objects
Combining Optimism and Pessimism to Produce High Availability in Distributed Transaction Processing
Combining Petri Nets and Other Formal Methods
Communicating B Machines
Communicating Evolving Algebras
Communication and Transactions in Vienna Parallel Logic
Communication-Free Parallelization via Affine Transformations
Communication Topology Analysis for Concurrent Programs
Commutativity Analysis: A New Analysis Eramework for Parallelizing Compilers
Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers
Comparability Orders and Measurement
Comparing Byzantine Agreement with Degradable Agreement
Comparing Logical and Behavioural Equivalences for Event Structures
Comparing Semantics Under Strong Timing of Petri Nets
Comparing Tail Duplication with Compensation Code in Single Path Global Instruction Scheduling