Вы здесь

Главная

параллелизм

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

Runtime Verification: Proc./5th International Conference, RV 2014, Toronto,ON,Canada, September 2014
Scalable parallel subdefinite calculations for sparse systems of constraints
Scalable Sharing Methods Can Support a Simple Performance Model
Scala: From a Functional Programming Perspective: An Introduction to the Programming Language
Scenario-Based Hypersequential Programming: Formulation of Parallelization
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism
Scheduling Algorithms for Parallel Transaction Processing Systems
Scheduling Non-Numerical Programs with Hierarchical Windows
Scheduling on the Tera MTA
Scheduling OR-Parallelism: An Argonne Perspective
Scheduling Programs on a Large Parallel Machine
Scheduling Real-Time Transactions: A Performance Evaluation
Scheduling Transactions with Stringent Real-Time Constraints
Selective Recomputation for Handling Side-Effects in Parallel Logic Programs
Self-applicable Partial Evaluation for the Pi-calculus
Self-independent Petri Nets (or a dead-lock-free paradigm)
Semantic Analysis for Parallelizing C
Semantics and Analysis of Linda-based languages
Semantics-Based Concurrency Control: Beyondd Commutativity
Semantics of Systems of Concurrent Processes
Sentinel Scheduling: A Model for Compiler-Controlled Speculative Execution
Sentinel Scheduling for VLIW and Superscalar Processors
Sequential Consistency versus Linearizability
Serializability, Concurrency Control, and Replication Control
Serializability Preserving Extensions of Concurrency Control Protocols
Simple Qualitative Experiments with a Sparse Compiler
Simple Rational Guidance for Chopping Up Transactions
Siphons and Traps of Algebraic Petri Nets
Skeletons for Data Parallelism in p3l
Slicing Concurrent Programs
Software and the Concurrency Revolution
Software Caching and Computation Migration in Olden
Software Carry-Save: A Case Study for Instruction-Level Parallelism
Software Engineering and Formal Methods: Proc./14th International Conference, SEFM 2016 Held as Part of STAF 2016, Vienna, Austria, July 2016
Software Engineering - ESEC 95: Proc./ 5th European Software Engineering Conference. Sitges, Spain, September 1995
Software Fault Tolerance: An Overview
Software Geography: Physical and Economic Aspects
Solutions to the Communication Minimization Problem for Affine Recurrence Equations
Solving Irregularly Structured Problems in Parallel: Proc./5th Intern. Symp., IRREGULAR 98. Berkeley, California, USA, August 1998
Solving the Linda Multiple rd Problem
Some Characteristics of Nondeterministic Processes
Some Design Aspects for VLIW Architectures Exploiting Fine-Grained Parallelism
Some Issues in the Semantics of Facile Distributed Programming
Some Results on Exact Data Dependence Analysis
Some Synthesis Aspects for Data Parallel Programming
Sorting and Searching on the Word RAM
Space and Time Efficient Execution of Parallel Irregular Computations
Space-Efficient Implementation of Nested Parallelism
Space-Time Scheduling of Instruction-Level Parallelism on a Raw Machine
Space-Time Transformation of While-Loops using Speculative Execution