Вы здесь

Главная

шаговый

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

A Higher Order Reconstruction of Stepwise Enhancement
Alphonse:Incremental Computation as a Programming Abstraction
An Incremental Access Method for ViewCache: Concept, Algorithms, and Cost Analysis
An Incremental Environment for Computer-Aided Design Tools
An Incremental Specification of a Hydroelectronic Power Plant Control System Using a Class of Modular Algebraic Nets
A Systematic Kernel Development
Atomic Incremental Garbage Collection
Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap
Automatic Generation of" Hyper-Paths" in Information Retrieval Systems: A Stochastic and an Incremental Algorithms
Barrier techniques for Incremental Tracing
Bounded Incremental Computation
Complementary Garbage Collector
Component Based Design of Multitolerant Systems
Compositional Specification and Verification of Distributed Systems
Data Warehouse Design and Maintenance through View Normalization
Derivation of Efficient Parallel Programs: An Example from Genetic Sequence Analysis
Designing a Framework by Stepwise Generalization
Distributed Proxy: A Design Pattern for the Incremental Development of Distributed Applications
Dynamic Grammars and Semantic Analysis
Efficient Differential Timeslice Computation
Efficient Incremental Garbage Collection for Workstation/Server Database Systems
Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction
Getting Order Independence in Incremental Learning
Incremental Algorithms for the Single-Source Shortest Path Problem
Incremental Analysis of Logic Programs
Incremental Analysis of Real Programming Languages
Incremental Collection of Mature Objects
Incremental compilation in the O2 object-oriented database
Incremental Computation of Dominator Trees
Incremental Computation of Planar Maps
Incremental Evaluation of Datalog Queries
Incremental Learning of Roughly Represented Concepts
Incremental Query Answering Using a Multi-layered Database Model in a Mobile Computing Environment
Incremental Reasoning for Object Oriented Systems
Incremental Update on Sequential Patterns in Large Databases by Implicit Merging and Efficient Counting
Lazy and Incremental Program Generation
LRNL(1): LR(1) with Nonterminal Lookaheads and Its Benefits for Incremental Parsing
Managing Change in Persistent Object Systems
Mechanized Support for Stepwise Refinement
Modelling Processes Using a Stepwise Refinement Technique
Object-Oriented Formal Specification Development using VDM
On-line Graph Algorithms for Incremental Compilation
On the Border Between Functional Programming and Program Synthesis
On the Compatibility of Model and Model-Class Transformations
On the Complexity of Incremental Computation
Parallel incremental compilation
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines
Predicate Transformers and Higher Order Logic
Real-Time Replication Garbage Collection
Replication-Based Incremental Copying Collection