Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
выполнение
Связанные издания:
A Correction Method for Parallel Loop Execution
A Curry-Howard Isomorphism for Compilation and Program Execution
Adaptive Parallel Query Execution in DBS3
A Data-Driven Parallel Execution Model for Logic Programs
A Discussion on the Ada Run-Time Environment in Safety Critical Application
Advances in Swarm Intelligence, Part II: Proc./3rd International Conference, ICSI 2012, Shenzhen, China, June 2012
A Functional Scenario for Bytecode Verification of Resource Bounds
Algorithm for Parallel Simulation of High Level Petri Net
A Memory Organisation Independent Binding Environment for AND and OR Parallel Execution of Logic Pragrams
An Architecture Based on Content-Addressable Memory for the Rapid Execution of Prolog
And/Or Parallel Execution of Logic Programs: Exploting Dependent And-parallelism
AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results
A New Facility for Dynamic Control of Program Execution: DELI
An Optimization Method of Data Communication and Control for Parallel Execution of SQL Queries
An Overview of the Opus Language and Runtime System
A Static Load Partitioning Method Based on Execution Profile for Committed Choice Languages
A Stream AND-Parallel Execution Algorithm with Backtracking
A Substitution Operation for Constraints
A time-bounded binding access with low task-switching cost in an OR-Parallel Prolog
A Uniform Approach for Compile-time and Run-time Specialization
Automatic Termination Analysis for Partial Functions Using Polynomial Orderings
Basis of Parallel Speculative Execution
Bug Localization Based on Error-Cause-Chasing Methods
Compiler and Middleware Support for Scalable Data Mining
Compiling APL for Parallel and Vector Execution
Contradicting Conventional Wisdom in Constraint Satisfaction
Creation of a Family of Compilers and Runtime Environments by Combining Reusable Components
Database and Expert Systems Applications: Proc./20th International Conference, DEXA 2009, Linz, Austria, August/September 2009
Dataflow Computation for Knowledge-Based Control of Autonomous Systems
Delayed Exceptions - Speculative Execution of Trapping Instructions
Dependable Software Engineering: Theories, Tools, and Applications: Proc./1st International Symposium, SETTA 2015, Nanjing, China, November 2015
Drawings on Napkins, Video-Game Animation, and Other Ways to Program Computers
Efficient and Language-Independent Mobile Programs
Enchancing the Performance of Autoscheduling in Distributed Shared Memory Multiprocessors
Euro-Par 2015: Parallel Processing: Proc./21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 2015
Executable Specifications for Language Implementation
Executing Bounded Quantifications on Shared Memory Multiprocessors
Explaining Program Execution in Deductive Systems
Exploiting Dependent And-parallelism in Prolog: the Dynamic Dependent And-parallel Scheme (DDAS)
Exploiting Or-parallelism in Optimisation Problems
Forward Computation of Dynamic Program Slices
Foundations of Software Science and Computation Structures: Proc./18th International Conference, FOSSACS 2015 Held as Part of the ETAPS 2015, London, UK, April 2015
Fully Distributed, AND/OR-Parallel Execution of Logic Programs
Fundamental Approaches to Software Engineering: Proc./15th International Conference, FASE 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012
Global Consistency for Continuous Constraint
Hamiltonian Recurrence for ILP
Hardware and Software: Verification and Testing: Proc./11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 2015
High-Level Visualisation of Parallel Logic Program Execution
Implementation and Application of Automata: Proc./23rd International Conference, CIAA 2018, Charlottetown,PE,Canada, July 2018
Implementation and Application of Functional Languages: Revised Selected Papers/22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 2010
1
2
3
следующая ›
последняя »