Вы здесь

Главная

параллелизм

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

A Parallel Programming Environment Supporting Multiple Data-Parallel Modules
A Partially Deadlock-Free Typed Process Calculus
A Path-Based Method of Parallelizing C++ Programs
A Performance Study for Multiversion Databases
A Performance Study of Concurrency Control in a Real-Time Main Memory Database System
A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets
Application and Theory of Petri Nets 1994: Proc./15th Intern Conf. Zaragoza, Spain, June 1994
Application and Theory of Petri Nets and Concurrency: Proc./36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 2015
Application and Theory of Petri Nets and Concurrency: Proc./38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2017
Application and Theory of Petri Nets and Concurrency: Proc./39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 2018
Application of Fault Parallelism to the Automatic Test Pattern Generation for Sequential Circuits
Applications and Theory of Petri Nets and Concurrency: Proc./35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 2014
Applications and Theory of Petri Nets: Proc./29th International Conference, PETRI NETS 2008. Xi an, China, June 2008
Applying Similarity in Concurrency Control for Real-Time Database Application
Applying Static Analysis to Software Architectures
Approaches for Integrating Task and Data Parallelism
Approximation, Randomixation, and Combinatorial Optimization. Algorithms and Techniques: Proc./12th IW, APPROX 2009 and 13th IW, RANDOM 2009, Berkeley, CA, USA, August 2009
A Practical Prorgamming Model for the Multi-Core Era: Proc./3rd International Workshop on OpenMP, IWOMP 2007. Beijing, China, June 2007
A Principled Semantics for inp
A Probabilistic View of Datalog Parallelization
A Probably Time-Efficient Parallel Implementation of Full Speculation
A Programming Methodology for Dual-Tier Multicomputers
A Program s Eye View of Miprac
A Proof Environment for Concurrent Programs
A Rapid Compiler Prototyping System for Fine-Grained Concurrence Architectures
Architecture of Computing Systems - ARCS 2007: Proc./20th International Conference. Zurich, Switzerland, March 2007
Architecture of Computing Systems - ARCS 2009: Proc./22nd International Conference. Delft, The Netherlands, March 2009
A Reconfigurable Data Flow Machine for Implementing Functional Programming Languages
A Reduced Multipipeline Machine Description thet Preserves Scheduling Constraints
A Refinement Theory that Supports both Decrease of Nondeterminism and Increase of Parallelism
A Remark on Trace Equations
Are Parallel Workstations the Right Target for Parallelizing Compilers?
A Review of Exploitation of AND-Parallelism and Combined AND/OR-Parallelism in Logic Programs
Are Wait-Free Algorithms Fast?
ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging
ARIES/IM: An Efficient and High Concurrency Index Management Method Using Write-Ahead Logging
Array Privatization for Shared and Distributed Memory Machines
A Run-Time System for Dynamic Grain Packing
A Scalable Abstract Machine Model to Support Limited-OR (LOR/Restricted-AND Parallelism(RAP) in Logic Programs
A Shape Matching Approach for Scheduling Fine-Grained Parallelism
A Sheaf Semantics for FOOPS Experessions (Extended Abstract)
A Simple Implementation of Divide and Conquer Parallelism (Expressed in Haskell)
A Simple Program Transformation for Parallelism
A Simplified Approach to the Implementation of And-Parallelism in an Or-Parallel Environment
A Simulation Study of Or- and Independent And-parallelism
A solution to the covering problem for 1-bounded conflict-free Petri nets using Linear Programming
A Spatial Logic for Concurrency (Part I)
A Spatial Logic for Concurrency (Part II)
A Specification-Based Approach to Concurrency Analysis
A Specification Formalism for Interacting Objects