Вы здесь

Главная

динамический

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

The Algebraic Specification Column
The Complexity of Late-Binding in Dynamic Object-Oriented Languages
The Concept of Dynamic Analysis
The Construction of Optimal Multiway Search Trees and the Monotonicity Principle
The Dynamic Programming Algorithm as a Finite Automaton
The Dynamic Semantics of the BSI/VDM. Specification Language
The Evolution of Conceptual Modeling: From a Historical Perspective towards the Future of Conceptual Modeling
The HS File: A New Dynamic Signature File Method for Efficient Information Retrieval
The Performance Impact of Granularity Control and Functional Parallelism
The Role of Reflective Middleware in Supporting the Engineering of Dynamic Applications
The Semantics of the OCL Action Clause
Time-1: Semantic System for Dynamic Object Domain
Topology B-Trees and Their Applications
To Provide or to Bound: Sampling in Fully Dynamic Graph Algorithms
Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models
Towards Dynamic Population Management of Abstract Machines in the B Method
Towards Integration of Heterogeneous Knowledge for Highly Autonomous Analysis of Dynamical Systems - Preliminary Report from the PSX Project
Towards the Ultimate APL-TOE
Transaction-Based Specification of Database Evolution
Transactions on Aspect-Oriented Software Development XII
Transactions on Large-Scale Data-and Knowledge-Centered Systems X: Special Issue on Database-and Expert-Systems Applications
Transformation of Dynamic Integrity Constraints into Transaction Specifications
Twig Abbreviated User Manual
Type Test Elimination using Typeflow Analysis
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment
Understanding Data-Sensitive Code: One Piece of the Year 2000 Puzzle
User Modeling, Adaptation and Personalization: Proc./23rd International Conference, UMAP 2015, Dulin, Ireland, June 2015
Using Fuzzy Logic in a Mobile Robot Path Controller
Using Lifetime Predictors to Improve Memory Allocation Performance
VCODE: A Retargetable, Extensible, Very Fast Dynamic Code Generation System
Verification, Model Checking, and Abstract Interpretation: Proc./17th International Conference, VMCAI 2016, St.Petersburg,FL,USA, January 2016
Video Processing and Computational Video: Revised Papers/International Seminar, Dagstuhl Castle, Germany, October 2010
When Generic Functions Use Dynamic Values
Whole Progam Paths
Wide Classes
Wired/Wireless Internet Communication: Proc./11th International Conference, WWIC 2013, St.Petersburg, Russia, June 2013
Wired/Wireless Internet Communications: Proc./8th International Conference, WWIC 2010, Lulea, Sweden, June 2010
XIX. LCM and MCM
Абстрактная интерпретация императивных программ
Автоматизация проверки правильности индексирования динамических массивов
Автоматический поиск ошибок в компьютерных программах с применением динамического анализа
Автоматическое построение систем распределенных компонентов по моделям вложенных сетей Петри
Алгебраические методы представления динамических систем в пространстве состояний: точная и приближенная реализации
Алгоритмы динамической балансировки загрузки при реализации метода частиц в ячейках на МИМД мультикомпьютерах
Алгоритмы и структуры данных
Альтернативная характеризвция понятия зоны временных сетей Петри с динамическими приоритетами
Анализ и синтез дискретных систем управления в условиях нестохастической неопределенности
Анализ поведения дискретных динамических систем средствами логического программирования
Анализ стабилизации цен в динамической модели двойного аукциона
Библиотека Win/Sys