Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
зависимость
Связанные издания:
A Checker for Modal Formulae for Processes with Data
A Concurrent Execution Semantics for Parallel Program Graphs and Program Dependence Graphs
Advances in Information Retrieval Theory: Proc./Third International Conference, ICTIR 2011, Bertinoro, Italy, September 2011
A Dynamic Algorithm for Online Scheduling of Parallel Processes
A Formal Basis for Some Dependability Notions
A Frame work for Generalized Control Dependence
A General Algorithm for Data Dependence Analysis
A General Data Dependence Test for Dynamic, Pointer-Based Data Structures
Algorithms and Architectures for Parallel Processing, Part III: Proc./15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 2015
Algorithms and Architectures for Parallel Processing: Proc./ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 2015
Algorithms for Sensor Systems: Revised Selected Papers/14th International Symposium on Algorithms and Experiments for Wireless Sesor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 2018
Alias Analysis of Pointers in Pascal and Fortran 90: Dependence Analysis between Pointer References
A Methodology and Tool for Derivation of Functional Dependencies from Business Forms
A Multiagent Update Process in a Database with Temporal Data Dependencies and Schema Versioning
Analysis and Caching of Dependencies
Analyzing Direct Non-Local Dependencies in Attribute Grammars
An Automatic Class Generation Mechanism by Using Method Integration
An Exact Method for Analysis of Value-based Array Data Dependences
An Exact Reference Analysis for Data Flow Testing
An Extended Classification of Inter-instruction Dependency and Its Application in Automatic Synthesis of Pipelined Processors
An Improvement on the Automatic Tool for Relational Database Design
An Object-Oriented Dependency Graph for Program Slicing
A Parallelizer for a Language without Variables
Applications and Theory of Petri Nets: Proc./32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 2011
Applying Object-Oriented Analysis on a Case Study
Approximate Dependency Inference from Relations
A Practical Algorithm for Exact Array Dependence Analysis
A Program Integration Algorithm that Accomodates Semantics-Preserving Transformations
A Prototype Dependency Calculus
APT: A Data Structure for Optimal Control Dependence Compulation
APT: A Data Structure for Optimal Control Dependence Computation
A Reflective Model for First Class Dependencies
Array Privatization for Shared and Distributed Memory Machines
A Simple Mechanism for Improving the Accuracy and Efficiency of Instruction-Level Disambiguation
A Technique to Eliminate Redundant Inter-Processor Communication on Parallelizing Compiler TIPAR
A Top-Down Proof Procedure for Generalized Data Dependencies
Attributed Document Grammars
Automatic Parallelization of Sparse Matrix Computations: A Static Analysis
Beyong Induction Variables
Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation
Building a Bridge between Pointer Aliases and Program Dependences
Combinatorial and Algebraic Results for Database Relations
Combined Code Motion and Register Allocation Using the Value State Dependence Graph
Combining Dependability with Architectural Adaptability by Means of the SIGNAL Language
Comparision of Data Dependence Analysis Tests
Complete Decompositions of Join Dependencies
Comprehension Categories and the Semantics of Type Dependency
Compulation of Interprocedural Control Dependence
Computation of Dynamic Program Slices for Unstructured Programs
Computer Performance Engineering: Proc./15th European Workshop, EPEW 2018, Paris, France, October 2018
1
2
3
4
5
следующая ›
последняя »