Вы здесь

Главная

метод

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

An Efficient Data Partitioning Method for Limited Memory Embedded Systems
An Efficient Implementation of Java s Remote Method Invocation
An Efficient Indexing Scheme for Objects with Roles
An Efficient Spatial Access Method for Spatial Images Containing Multiple Non-Overlapping Features
An Empirical Evaluation of Three Defect-Detection Techniques
An Evaluation of Query Processing Strategies Using the TIPSTER Collection
An EVES Data Abstraction Example
A New Compilation Technique for Parallelizing Loops with Unpredictable Branches on a VLIW Architecture
A New Shape Function Based Spatiotemporal Interpolation Method
A New Test Design Method for Requirement-Based Software Testing
An Examination of Operating Systems Laboratory Techniques
An Executable Specification and Verifier for Relaxed Memory Order
An Experimental Evaluation of Processor Pool-Based Scheduling for Shared-Memory NUMA Multiprocessors
An Experimental Study of an ILP-based Exact Solution Method for Software Pipelining
An Experiment in Parallelizing an Application Using Formal Methods
An Image Retrieval Mathod Using Inquiries on Spatial Relationships
Animated Free-Form Deformation: An Interactive Animation Technique
An Implementation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis
An Incremental Access Method for ViewCache: Concept, Algorithms, and Cost Analysis
An Informal Introduction to Constraint Database Systems
An Instant and Accurate Size Estimation Method for Joins and Selection in a Retrieval-Intensive Environment
An Integrated Environment for Design and Optimization of Parallel Programs
An Interdisciplinary Approach for Successfully Integrating Human-Centered Design Methods into Development Processes Practiced by Industrial Software Development Organizations
An Investigation of the Performance of Various Dynamic Scheduling Techniques
An Object-Based Approach to Protocol Software Implementation
An Object-Based Approach to the B Formal Method
An Object-Oriented Class Library for Scalable Parallel Heuristic Search
An Open Environment for the Integration of Heterogeneous Modeling Techniques and Tools
An Open Implementation Analysis and Design for Lightweight Threads
A Note on Covariance and Contravariance Unification
An Outline Pattern Language for Z: Five Illustrations and Two Tables
A Novel Method for Parallel Implementation of findall
An Overview of the ISO/VDM-SL Standard
An Overview of the SPRINT Method
An Unfolding-Based Loop Optimization Technique
Anwendung der Objektorientierung in einem industriellen Telekommunikationsprojekt
A Paradox in Database Theory
A Parallel Implementation of Flat Concurrent Prolog
A Path-Based Method of Parallelizing C++ Programs
A Pattern-Based Application Generator for Building Simulation
A Performance Evaluation of OID Mapping Techniques
A Petri-Net-Based Method to the Design of Parallel Programs for a Multiprocessor System
A Pipeline Algorithm for Interactive Volume Visualization
APL as an Embedded Language: The Ultimate Application?
Application of a Generator-Based Software Development Method Supporting Model Reuse
Application of Artificial Intelligence Methods in a Word-Prediction Aid
Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics
Applications of Evolutionary Computation, Part I: Proc./20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 2017
Applications of Evolutionary Computing: Proc./EvoWorkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC. Lausanne, Switzerland, March/April 2005
Applications of Formal Methods to Intellectual Property