Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
оптимизация
Связанные издания:
A Relational Object Model
A Representation for Bit Section Based Analysis and Optimization
Array Data Flow Analysis for Load-Store Optimizations in Superscalap Architectures
Array Reference Disambiguation for VLIW
Array Unification: A Locality Optimization Technique
Artificial Evolution: Revised Selected Papers/10th International Conference, Evolution Artificielle, lEA 2011, Angers, France, October 2011
Artificial Evolution: Revised Selected Papers/11th International Conference, EA 2013, Bordeaux, France, October 2013
Artificial Evolution: Revised Selected Papers/12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 2015
Artificial Evolution: Revised Selected Papers/13th International Conference, Evolution Artificielle, EA 2017, Paris, France, October 2017
Artificial Evolution: Revised Selected Papers/7th International Conference, Evolution Artificielle, EA 2005. Lille, France, October 2005
Artificial Evolution: Revised Selected Papers/9th International Conference, EA 2009, Strasbourg, France, October 2009
Artificial Immune Systems: Proc./10th International Conference, ICARIS 2011, Cambridge, UK, July 2011
Artificial Immune Systems: Proc./5th International Conference, ICARIS 2006. Oieras, Portugal, September 2006
Artificial Intelligence and Computational Intelligence, Part II: Proc./International Conference, AICI 2010, Sanya, China, October 2010
Artificial Intelligence and Computational Intelligence, Part I: Proc./International Conference, AICI 2010, Sanya, China, October 2010
Artificial Intelligence and Soft Computing, Part I: Proc./12th International Conference, ICAISC 2013, Zakopane, Poland, June 2013
Artificial Intelligence: Methodologiy, Systems, and Applications: Proc./16th International Conference, AIMSA 2014, Varna, Bulgaria, September 2014
Artificial Intelligence: Methodology, Systems, and Applications: Proc./12th International Conference, AIMSA 2006. Varna, Bulgaria, September 2006
Artificial Intelligence: Theories and Applications: Proc./7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 2012
Artificial Life and Computational Intelligence: Proc./2nd Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2016
Artificial Neural Networks and Machine Learning - ICANN 2012, Part I: Proc./22nd International Conference on ANN, Lausanne, Switzerland, September 2012
Artificial Neural Networks and Machine Learning - ICANN 2014: Proc./24th International Conference on ANN, Hamburg, Germany, September 2014
Artificial Neural Networks: Formal Models and Their Applications - ICANN 2005, Part II: Proc./15th International Conference. Warsaw, Poland, September 2005
Artificial Neural Networks - ICANN 2008. Part II: Proc./18th International Conference. Prague, Czech Republic, September 2008
A Runtime Optimization System for OpenMP
A second-order matching procedure for the practical use in a program transformation system
A semantic approach to optimize linear datalog programs
A Semantic Query Optimization Algorithm for Object-Oriented Databases
A Semantic Query Optimization Approach to Optimize Linear Datalog Programs
A Simple and General Method for Integrating Abstract Interpretation in SICStus
A Source-to-Source Architecture for User-Defined Optimizations
A Spill Code Placement Framework for Code Scheduling
Assertions in Modern Software Engineering
A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization
A Syntactic Approach to Program Transformations
A Taxonomy of Functional Language Implementations. Part I: Call by Value
A Third-Generation SELF Implementation: Reconciling Responsiveness with Performance
ATOM - A System for Building Customized Program Analysis Tools
A Tool Kit for Constructing Optimal Interprocedural Data Flow Analyses
A Toolkit for Optimising Parallel Performance
A Tracing Protocol of Optimizing Data Parallel Irregular Computations
A Transaction-oriented Approach to Attribute Partitioning
A Transformational Approach which Combines Size Inference and Program Optimization (Position Paper)
A Transformation-Based Approach to Optimizing Loops in Database Programming Languages
A Tutorial on Optical Networks
A Type-Based Algoritm for the Control-Flow Analysis of Higher-Order Concurrent Programs
A Type Based Sharing Analysis for Update Avoidance and Bookkeeping Optimization
A Type Based Sharing Analysis for Update Avoidance and Optimisation
A Type System for Reachability and Acyclicity
A Unified Data-Flow Framework for Optimizing Communication
« первая
‹ предыдущая
…
2
3
4
5
6
7
8
9
10
…
следующая ›
последняя »