Вы здесь

Главная

параллелизм

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

Advanced Parallel Processing Technologies: Proc./8th International Symposium, APPT 2009, Rapperswill, Switzerland, August 2009
Advanced Parallel Processing Technologies: Proc./9th International Symposium, APPT 2011, Shanghai, China, September 2011
Advanced Topics in Exception Handling Techniques
Advanced Transaction Processing in Multilevel Secure File Stores
Advances in Computer Systems Architecture: Proc./11th Asia-Pacific Conference, ACSAC 2006. Shanghai, China, September 2006
Advansed Database Systems.:Proc./10th British Conf. on Database, BNCOD 10 Aberdeen, Scotland, July 1992
A Fine-Grain Parallelizing Compiler
A First-Come-First-Served Mutual-Exclusion Algorithm with Small Communication Variables
A First Step Towards Time Optimal Software Pipelining of Loops with Control Flows
A Flexible and Adaptable Tool Kit Approach for Concurrency Control in Non Standard Database Systems
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
A Fortran Parallelizing Compilation Scheme for OSCAR Using Dependence Graph Analysis
A Frame work for Generalized Control Dependence
A Framework for Programming and Formalizing Concurrent Objects
A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality
A fully abstract model for concurrent nondeterministic processes based on posets with non-actions
A Functorial Semantics for Observed Concurrency
A General, Fine-Grained, Machine Independent, Object-Oriented Language
A Generalization of a Relational Structures Model of Concurrency
A Generalized Event Structure for the Muller Unfolding of a Safe Net
A General Theory of Action Languages
Agent Language NUML and Its Reduction Implementation Model Based on HO
A Global Communication Optimization Technique Based on Data-Flow Analysis and Linear Algebra
A Graph-Based Approach to Action Scheduling in a Parallel Database System
A Graphical Tool for Automatic Parallelization and Scheduling of Programs on Multiprocessors
A graph transformation algorithms for concurrency control in a partitioned database
A Hierarchical Activation Management Technique for Fine-Grain Multithreaded Execution
A Hierarchical Parallelizing Compiler for VLIW/MIMD Machines
A High Performance C Compiler for Distributed Memory Machines
A Hybrid Concurrency Control with Deadlock-free Approach
A Kleene Iteration for Parallelism
A Kleene Theorem for Recognizable Languages over Concurrency Monoids
A lambda-calculus for concurrency (abstract/introduction)
Algebra and Coalgebra in Computer Science: Proc./Second International Conference, CALCO 2007. Bergen, Norway, August 2007
Algebraic characterization of bihavioural equivalences over event structures
Algebraic Techniques for Concurrency and their Application
Algebras of arrays - a tool to deal with concurrency
Algorithms, Concurrency and Knowledge: Proc./1995 Asian Computing Science Conf., ACSC 95. Pathumthani, Thailand, December 1995
Algorithms - ESA 2015: Proc./23rd Annual European Symposium, Patras, Greece, September 2015
Algorithms for Flexible Space Management in Transaction Systems Supporting Fine-Granularity Locking
Algorithms for Unboundedly Parallel Simulations
Aliasing in Object-Oriented Programming: Types, Analysis, and Verification
A Linear Algebra Framework for Automatic Determination of Optimal Data Layouts
A Linear Metalanguage for Concurrency
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
A logic-free method for modular composition of specifications
A Loop Parallelization Algorithm for HPF Compilers
Altruistic Locking
A Machine Independent Interface for Lightweight Threads
A Methodology for Deriving Parallel Programs with a Family of Parallel Abstract Machines