Вы здесь

Главная

параллелизм

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

A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting
A Status Report on CONSUL
A Survey of Asynchronous Remote Procedure Calls
A Survey of DBMS Research Issues in Supporting Very Large Tables
A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems
Asynchronous and Deterministic Objects
Asynchronous rendez-vous in distributed logic programming
A Systematic Kernel Development
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds
A Task- and Data-Parallel Programming Language Based on Shared Objects
A Technique to Eliminate Redundant Inter-Processor Communication on Parallelizing Compiler TIPAR
A Theorethical Framework of Data Parallelism and Its Operational Semantics
A Thread-Aware Debugger with an Open Interface
Atomic Snapshots of Shared Memory
A Tool to Schedule Parallel Applications on Multiprocessors: The NANOS CPU Manager
A Unified Approach to Concurrency Control and Transaction Recovery
A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets
Automata, Languages and Programming: Proc./21st Intern. Colloquium, ICALP 94. Jerusalem, Israel, July 1994
Automata, Languages and Programming: Proc./22nd International Colloquium, ICALP95 Szegen, Hungary, July 1995
Automata, Languages and Programming: Proc./32nd International Colloquium, ICALP 2005. Lisbon, Portugal, July 2005
Automated Analysis of Mutual Exclusion Algorithms using CCS
Automated Technology for Verification and Analysis: Proc./14th International Symposium, ATVA 2016, Chiba, Japan, October 2016
Automatic Analysis of Loops to Exploit Operator Parallelism on Reconfigurable Systems
Automatic Coarse Grain Task Parallel Processing on SMP Using OpenMP
Automatic Compile-Time Paralleization of Prolog Programs for Dependent And-Parallelism
Automatic Data Distribution
Automatic Datapath Abstraction in Hardware Systems
Automatic Exploitation of Or-Parallelism in Prolog
Automatic Generation of Parallelizing Compilers for Object-Oriented Programming Languages from Denotational Semantics Specifications
Automatic Parallelization by Pattern-Matching
Automatic Parallelization for Non-cache Coherent Multiprocessors
Automatic Parallelization in the Polytope Model
Automatic Parallelization of Grid-based Applications for the iPSC/860
Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming
Automatic Parallelization of Statements without if Conversion
Automatic Support for Data Distribution on Distributed Memory Multiprocessor Systems
Average-Case Performance Analysis of Online Non-Clairvoyant Scheduling of Parallel Tasks With Precedence Constraints
A Virtual Machine for a Process Calculus
Avoidance and Suppression of Compensation Code in a Trace Scheduling Compiler
A way to logically measure synchronisation for distributed executions
Axiomatizations of Temporal Logics on Trace Systems
Balanced Scheduling: Instruction Scheduling When Memory Latency is Uncertain
Beyond Data Parallelism: The Advantages of Multiple Parallelizations in Combinatorial Search
Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors
Bisimulation Equivalences for Graph Grammars
Bisimulation for Models in Concurrency
Bisimulation, Games, and Logic
Bisimulations Up-to for the Linear Time Branching Time Spectrum
Bloking versus Nonbloking Interprocess Communication: A Note on the Effect on concurrency
Boolen Algebras for Concurrency. Abstract