Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
декомпозиция
Связанные издания:
A Decompositional Approach to the Design of Efficient Parallel Programs
A Decomposition Method for General Queueing Networks Subject to Blocking
A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method
A Methodology for Clustering Entity Relationship Models - A Human Information Processing Approach
An Action System Specification of the Caltech Asynchronous Microprocessor
An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases
Annealing and Data Decomposition in VDM++
An optimal algorithm for decomposing a window into maximal quadtree blocks
An Optimal Partitioning Method for Parallel Algorithms
Automatic Data Decomposition for Message-Passing Machines
Better Algorithms for the Pathwidth and Treewidth of Graphs
Block Implementations of the Symmetric QR and Jacobi Algorithms
Compiling Pattern Matcing by Term Decomposition
Complete Decompositions of Join Dependencies
Component properties of forgetting and progression in the situation calculus
Composition and Decomposition in True-Concurrency
Constructing Refinement Operators by Decomposing Logical Implication
Controlled Decomposition Strategy for Complex Spatial Objects
Data Structures, Computational, and Communication Kernels for Distributed Memory Sparse Iterative Solvers
Decomposing Real-Time Specifications
Decomposition and Lossless Join in Constraint Databases
Decomposition of Multilevel Objects in an Object-Oriented Database
Decomposition of Relationships through Pivoting
Design and Evaluation of Signature File Organization Incorporating Vertical and Horizontal Decomposition Schemes
Efficient Parallel and Linear Time Sequential Split Decomposition
Efficient Parallel Graph Algorithms Based on Open Ear Decomposition
Functionality Decomposition by Compositional Correctness Preserving Transformation
Goal Oriented Decomposition - Its Application for Process Modelling in the PIMS Project
Hammock-on-Ears Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and Other Problems
Implementing Semantic-Based Decomposition of Transactions
Introducing Data Decomposition into VDM for Tractable Development of Programs
Latent Variable Analysis and Signal Separation: Proc./13th International Conference, LVA/ICA 2017, Grenoble, France, February 2017
Latent Variable Analysis and Signal Separation: Proc./9th International Conference, LVA/ICA 2010, St.Malo, France, September 2010
Mathematics of Program Construction: Proc./12th International Conference, MPC 2015, Konigswinter, Germany, June 2015
MGNet: A Multigrid and Domain Decomposition Network
Multi-Transputer Implementation of Detonational Initiation Processes in Combustible Gas Mixtures
Numerical Analysis and Its Applications: revised Selected Papers/6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 2016
On the Decomposition of Datalog Program
On Transitive Orientation
Open Issues in Object-Oriented Programming: Learning Methods, Object Decomposition and Inheritance and Reuse
Optimal Constraing Decomposition for Distributed Databases
Parallelizing Recursive Logic Programs through Decomposition
Problem Frames: A Case for Coordination
Properties of Relatively Decomposable Theories
Protocol Service Decomposition for High-Performance Networking
Query Evaluation via Tree-Decompositions. Extended Abstract
Removing Redudancy and Updating Databases
Semantics of Time-Varying Information
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects
Sparse QR Factorization in MATLAB
1
2
следующая ›
последняя »