Вы здесь

Главная

параллелизм

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

20-->30 Transformation of Cellular Algorithms
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
A Backtracking Algorithm for the Stream AND-parallel Execution of Logic Programs
A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem
About Synchronous Programming and Abstract Interpretation
Abstract Specialization and Its Application to Program Parallelization
Abstract State Machines 2003 - Advances in Theory and Practice: Proc./10th Intern. Workshop, ASM 2003, Taormina, Italy, March 2003
Abstract State Machines Capture Parallel Algorithms
A Calculus for Exploiting Data Parallelism on Recursively Defined Data
A Case for the PRAM as a Standard Programmer s Model
A Categorial Observaion of Timed Testing Equivalence
A Categorical View of Timed Weak Bisimulation
Access Method Concurrency with Recovery
Accomodating Interference in the Formal Design of Concurrent Object-Based Programs
Achieving Milti-level Parallelization
Achieving Speedups for APL on an SIMD Distributed Memory Machine
Achieving Strong Consistency in a Distributed File System
A Classification of Models for Concurrency
A Communication Scheme for the Distributed Execution of while Loops
A Comparison of Automatic versus Manual Parallelization of the Boyer-Moore Theorem Prover
A Comparison of Modulo Scheduling Techniques for Software Pipelining
A Comparison of Superscalar and Decoupled Access/Execute Architectures
A Compilation Technique for Varying Communication Cost NUMA Architectures
A Compiler Framework to Detect Parallelism in Irregular Codes
A Completeness Theorem for Nondeterministic Kleene Algebras
A Component- and Message-Based Architectural Style for GUI Software
A Compositional Petri Net Semantics for SDL
A Compositional Semantics for Statecharts using Labeled Transition Systems
A Computer supporting Data Flow, Control Flow and Updateable Memory
A Concept of Decompositional Approach to Concurrent Systems Design
A Concurrency Control Mechanism for C++ Objects
A Concurrency Study Using RAISE
A Concurrent and Compositional Petri Net Semantics of Preemption
A Control-Parallel Programming Model Implemented on SIMD Hardware
A Coordination Layer for Exploiting Task Parallelism with HPF
Actalk: une Plateforme de Modelisation de Langages d Acteurs en Smalltalk-80
A Customizable Substrate for Concurrent Languages
A Customized Multidatabase Transaction Management Strategy
Ada 9X Reusable Components
Adaptable Concurrency Control for Atomic Data Types
Adaptive Parallelism on Multiprocessors: Preliminary Experience with Piranha on the CM-5
A Database Rule Language Compiler Supporting Parallelism
A Data-Parallel Declarative Language for the Simulation of Large Dynamical Systems and Its Compilation
A Data Partitioning Algorithm for Distributed Memory Compilation
Adding Concurrency to the Oberon System
A Decade of Concurrency - Reflections and Perspectives: Proc./REX School-Symp. Noordwijkerhout, The Netherlands, June 1993
A Denotational Real-Time Semantics for Shared Processors
A Digit-Serial Divider for Fine Grain Heterogeneous Parallel-Pipelined Processing
A Distributed Self-Stabilizing Solution to the Dining philosophers Problem
Advanced Methodologies for Bayesian Networks: Proc./2nd International Workshop, AMBN 2015, Yokohama, Japan, November 2015