Вы здесь

Главная

параллелизм

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

Program Optimization in the Domain of High-Performance Parallelism
Program Parallelization Based on an Abstract Computational Tuple-Space Model
PROLOG Implementations for Cellular Architectures
Proposal of a Multi-Threaded Processor Architecture for Embedded Systems and Its Evaluation
Protected Records in Ada 9X
Proving Correctness of Timed Concurrent Constraint Programs
Proving Finiteness of CCS Processes by Non-Standard Semantics
Quantifying the Multi-level Nature of Tiling Interactions
Quasar: A New Tool for Concurrent Ada Programs Analysis
Quiescence, Fairness, Testing, and the Notion of Implementation
Railway Scale Model Simulator
Rational Number Arithmetic by Parallel P-adic Algorithms
Reactive, Generative, and Stratified Models of Probabilistic Processes
Readies and Failures in the Algebra of Communicating Processes
Real Space Process Algebra
Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction
Real-Time Transaction Scheduling in Database Systems
Reasoning about Safety and Liveness Properties for Probabilistic Processes
Recent Advances in Parallel Virtual Machine and Message Passing Interface: Proc./15th European PVM/MPI Users Group Meeting. Dublin, Ireland, September 2008
Recent Trends in Algebraic Development Techniques: Selected Papers/ 13th International Workshop, WADT 98, Lisbon, Portugal, April 1998
Recent Trends in Data Type Specification: Selected Papers/9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop. Caldes de Malavella, Spain, October 1992
Reconfigurable Computing: Architectures, Tools and Applications: Proc./7th International Symposium, ARC 2011, Belfast, UK, March 2011
Recovering Logical Structures of Data
Reduction of Code Space in Parallel Logic Programming Systems
Refined C: an Update
Refinement of actions for real-time concurrent systems with casual ambiguity
Refinement of Actions in Event Structures and Causal Trees
Reforming Compilation of Logic Programs
Register Allocation for Software Pipelined Loops
Register Saturation in Superscalar and VLIW Codes
Regular Sets of Pomsets with Autoconcurrency
Relating Data-Parallelism and (And-) Parallelism in Logic Programs
Relating Two Categorical Models of Term Rewriting
Relational and Algebraic Methods in Computer Science: Proc./16th International Conference, RAMiCS 2017, Lyon, France, May 2017
Relational structures model of concurrency
Relationships Between Models of Concurrency
Relaxing SIMD Control Flow Constraints using Loop Transormations
Reliable Software Technologies - Ada-Europe 2013: Proc./18th Ada-Europe International Conference, Berlin, Germany, June 2013
Reliable Software Technologies - Ada-Europe 2014: Proc./19th Ada-Europe International Conference on RST, Paris, France, June 2014
Reliable Software Technologies - Ada-Europe 2016: Proc./21st Ada-Europe International Conference on RST, Pisa, Italy, June 2016
Remarks on the Equivalence of c-e Structures and Petri Nets
Removing Anti Dependences by Repairing
Resolution de Systemes Lineaires
Resource-Directed Loop Pipelining
Reverse If-Conversion
Rewriting: An Effective Model of Concurrency
Rewriting as a Unified Model of Concurrency
Rewriting Logic and Its Applications: Revised Selected Papers/8th International Workshop, WRLA 2010, Helds as Satellite Event of ETAPS 2010, Paphos, Cyprus, March 2010
Run-Time Parallelization and Scheduling of Loops
Runtime Support for Multigrain and Multiparadigm Parallelism