Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
метод
Связанные издания:
Optimizing Method Search with Lookup Caches and Incremental Coloring
Optimizing Multi-Method Dispatch Using Compressed Dispatch Tables
Optimizing Parallel SPMD Programs
Optimizing Sisal Programs: A Formal Approach
Optimizing Storage Size for Static Control Programs in Automatic Parallelizers
Order-Preserving Minimal Perfect Hash Functions and Information Retrieval
Paraconsistency in Object-Oriented Databases
Parallel Associative Processing for Knowledge Bases
Parallel Database Processing on the KSR1 Computer
Parallelization - A Case Study
Parallelization of HIRLAM on MIMD Platforms
Parallelizing Compilers: What can be Achieved?
Parallelizing Complex Scans and Reductions
Parallel Problem Solving from Nature - PPSN X: Proc./10th International Conference. Dortmund, Germany, September 2008
Parameterization without parameters in: The history of a hierarchy of specifications
Parametric Grobner Bases For Non-Commutative Polynomials
Parasitic Methods: An Implementation of Multi-Methods for Java
Partial Evaluation of GHC Programs Based on the Ur-Set with Constraints
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
Partial Replication of Object-Oriented Databases
Path Dictionary: A New Access Method for Query Processing in Object-Oriented Databases
Pattern Recognition: Applications and Methods: Revised Selected Papers/3rd International Conference, ICPRAM 2014, Angers, France, March 2014
Pattern Recognition in Bioinformatics: Proc./ Third IAPR International Conference, PRIB 2008. Melbourne, Australia, October 2008
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z
PENGUIN: a language for reactive graphical user interfaces
Performance Evaluation of Ephemeral Logging
Performance Evaluation of Tree-Based Structures
Petri Net based Specifications of Services in an Intelligent Network - Experiences gained from a Test Case Application
Phased Inspection and their Implementation
Phased-Mission System Analysis Using Boolean Algebraic Methods
Polaris: Improving the Effectiveness of Parallelizing Compilers
POMP or How to design a massively parallel machine with small developments
Position Locking: Handling Location Dependent Queries in Mobile Computing Environment
Position Paper Collection - Second International Workshop on Software Reusability. Lucca, Italy, March 24-26, 1993
Power Efficient Filtering of Data on Air
Practical Minimal Perfect Hash Fanctions for Large Databases
Practical Prefetching via Data Compression
Precise Semantics for Object-Oriented Modeling Techniques
Priority Consistency in Protocol Architectures
Priority Rendering with a Virtual Reality Address Recalculation Pipeline
Probablistic Register Allocation
Proceedings of the First International Workshop on Software Reusability. Dortmund, Germany, July 3-5, 1991
Proceedings of Third IEEE International Conference on Formal Engineering Methods - ICFEM 2000, York, England, 4-6 September 2000
Processing Complex Similarity Queries with Distance-Based Access Methods
Product-Focused Software Process Improvement: Proc./19th International Conference, PROFES 2018, Wolfsburg, Germany, November 2018
Product Focused Software Process Improvement: Proc./6th International Conference, PROFES 2005. Oulu, Finland, June 2005
Programming by Numbers: A Programming Method for Novices
Programming Languages and Systems: Proc./First Asian Symp., APLAS 2003, Beijing, China, November 2003
Program Translation Fundamentals Methods and Issues
Program Verification Techniques as a Tool for Reasoning about Action and Change
« первая
‹ предыдущая
…
12
13
14
15
16
17
18
19
20
…
следующая ›
последняя »