Вы здесь

Главная

параллелизм

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

Spatial Machines: A More Realistic Approach to Parallel Communication
Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication
Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency
Specification and Verification of Real Time Systems in ACP
Specification Structures and Propositions-as-Types for Concurrency
Specifications Using Multiple-Conclusion Logic Programs
Speeding up Parallelism Detection for Attribute Grammars
SProc Categorically
Static Analysis of Upper and Lower Bounds on Dependences and Parallelism
Static Analysis: Proc./18th International Symposium, SAS 2011, Venice, Italy, September 2011
Static Analysis: Proc./6th Intern. Symp., SAS 99. Venice, Italy, September 1999
Static dependence analysis and control for loop scheduling
Strategies for Scheduling And- and Or-Work in Parallel Logic Programming Systems
Strategies Optimization and Integration in DSM
Strength Reduction of Integer Division and Modulo Operations
Strength Reduction of Multiplications by Integer Constants
Strong Bisimilarity on Nets Revisited
Structural Information and Communication Complexity: Revised Selected Papers/24th International Colloquium,SIROCCO 2017, Porquerolles, France, June 2017
Structured Operational Semantics for Concurrency and Hierarchy
Structuring parallel algorithms in an MIMD, shared memory environment
Subclasses of Recognizable Trace Languages
SUIF: An Infrastructure for Research on Parallelizing and Optimizing Compilers
Summary of Database Research Activities at the University of Massachusetts, Amherst
Supercomputers of TDAY AND Tomorrow. The Parallel Processing Revolution
Supercomputing: Proc./29th International Conference, ISC 2014, Leipzig, Germany, June 2014
Super Monaco: Its Portable and Efficient Parallel Runtime System
Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler
Supporting Coarse and Fine Grain Parallelism in an Extension of ML
Supporting Irregular and Dynamic Computations in Data Parallel Languages
Symbolic Analysis: A Basis for Parallelization, Optimization, and Scheduling of Programs
Symbolic Program Analysis and Optimization for Parallelizing Compilers
SyncGen: An Aspect-Oriented Framework for Synchronization
Synchrony and Asynchrony in Process Algebra
Synopsis of Orca, A Simple Language Implementation of Phase Abstractions
Syntactic and Semantic Aspects of Parallelism
Synthesis of ENI-systems Using Minimal Regions
Synthesis of Net Systems
System Architecture and Design Using Co-operating Groups of Real and Abstract Components
Systematic Concurrent Object-Oriented Programming
Systeme de Preuve pour un Langage d acteurs
Tagged Semaphores
T++: an Object-Oriented Language to Express Task and Data Parallelism on Multi-SIMD Computers
Task Migration and Fine Grain Parallelism on Distributed Memory Architectures
Task Parallelism and High-Performance Languages
Teaching Concurrency with Joyce and Linda
Teaching Formal Methods: Proc./Second International Conference, TFM 2009. Eindhoven, The Netherlands, November 2009
Teaching Parallelism and Concurrency to Engineering Students: Experiences at the University of East Anglia
Techniques for Extracting Instruction Level Parallelism on MIMD Architectures
Temporal Structures
Testing Techniques in Softwarw Engineering: Revised Lectures/Second Pernambuco Summer School on SE, PSSE 2007, Recife, Brazil, December 2007