Вы здесь

Главная

параллелизм

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

Conditional rewriting logic as a unified model of concurrency
Conditional Rewriting Logic as a Unified Model of Concurrency
Congruent Weak Conformance, a Partial Order among Processes
Consistency and Orderability: Semantics-Based Correctness Criteria for Databases
Constraint-Based Inter-Procedural Analysis of Parallel Programs
Constraints for Free in Concurrent Computation
Constructing List Homomorphisms
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation
Constructing Systems as Object Communities
Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented Languages
Context-Free Event Domains are Recognizable
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers
Contextual nets
Contrasting Themes in the Semantics of Imperative Concurrency
Control and Data Driven Execution of Logic Programs: A Comparison
Control Flow Prediction for Dynamic ILP Processors
Controlled Node Splitting
Controlling Memory Access Concurrency in Efficient Fault-Tolerant Parallel Algorithms
Control machines: a new model of parallelism for compositional specifications and their effective compilation
Coordinating Rule-Based Software Processes with ESP
Coordination Languages and their Significance
Coordination Models and Languages: Proc./19th IFIP WG 6.1 International Conference, COORDINATION 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 2017
Coordination Models and Languages: Proc./9th International Conference, COORDINATION 2007. Paphos, Cyprus, June 2007
Coordination Models for Enhancing Parallelism
Coordination Requirements Expressed in Types for Active Objects
COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata
Correct Hardware Synthesis. An algebraic approach
Cost and Availability Tradeoffs in Replicated Data Concurrency Control
Cost Effectiveness of Data Flow Machines and Vector Processors
Cost Optimality and Predictability of Parallel Programming with Skeletons
Critical Evaluation of the EJB Transaction Model
Critical Issues for the Development of Distributed Real-Time Computing Sustems
Current Status of the SUIF Research Project
C Wolf - A Toolset for Extracting Models from C Programs
Cyclic Orders and the axiomatization of causality and concurrency in periodic processes
Data and Computation Transformations for Multiprocessors
Database and XML Technologies: Proc./5th International XML Database Symposium, XSym 2007. Vienna, Austria, September 2007
Database Concurrency Control on a Shared-Nothing Architecture using Speculative Lock Modes
Database Machines and Database Management
Database Migration: A New Architecture for Transaction Processing in Boardband Networks
Database Theory - ICDT 95: Proc./5th Intern. Conf. Prague, Czech Republic, January 1995
Database Theory - ICDT 99: Proc./7th International Conference. Jerusalem, Israel, January 1999
Data Consistency in Intermittently Connected Distributed Systems
Data Dependence and Data-Flow Analysis of Arrays
Data Dependence and Its Application to Parallel Processing
Data Distribution and Loop Parallelization for Shared-Memory Multiprocessors
Data Flow Implementation of Generalized Guarded Commands
Data-flow Synchronous Languages
Data-Parallel Computing: The Language Dimension
Data Parallel Connectionist Programming Using PROMOTER