Вы здесь

Главная

выполнение

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

Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications
Improving the Execution of the Dependent And-parallel Prolog DDAS
Interfacing Engines and Schedulers in Or-Parallel Prolog Systems
Localising the GHC Suspension Test
Locally Simultaneous Constraint Satisfaction
Modeling OR-parallel Execution of Prolog using CHOCS
Modellimg Foundations and Applications: Proc./6th European Conference, ECMFA 2010, Paris, France, June 2010
Multi-Pass Execution of Functional Logic Programs
Multiple Query Execution on a Multiprocessor Database Machine
Multistage Indexing Algorithms for Speeding Prolog Execution
Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution
NASA Formal Methods: Proc./4th International Symposium, NFM 2012, Norfolk,VA,USA, April 2012
Nogood Backmarking with Min-conflict Repair in Constraint Satisfaction and Optimization
Object-Oriented Execution of OPS5 Production Systems
Observation de la causalite dans les executions reparties
On the Elimination of Redundant Derivations During Execution
Optimization Scheme on Execution of Logic Program in a Dataflow Environment
OR-Parallel Execution of Prolog on BC-Machine
OSAM*.KBMS/P: A Parallel, Active, Object-Oriented Knowledge Base Server
Parallel Execution Models for Constraint Programming over Finite Domains
Parallel Execution of Three-Dimensional Vector Operations
Parallelizing Tree Algorithms: Overhead vs. Parallelism
PDP: Prolog Distributed Processor for Independent AND/OR Parallel Execution of Prolog
Perceptual Speed, Learning and Information Retrieval Performance
Predicting the Worst-Case Execution Time of the Concurrent Execution of Instructions and Cycle Stealing DMA I/O Operations
Programming paradigms in higher education
Query Optimization for Parallel Execution
RTSM - A Runtime System for Transputer based Realtime Systems
Runtime Verification: Proc./5th International Conference, RV 2014, Toronto,ON,Canada, September 2014
SCT: a Tool for Hydrid Execution of Hydrid Software Systems
Service-Oriented and Cloud Computing: Proc./3rd European Conference, ESOCC 2014, Manchester, UK, September 2014
Similarity Search and Applications: Proc./8th International Conference, SISAP 2015, Glasgow, UK, October 2015
Smart Card Research and Advanced Applications: Revised Selected Papers/13th International Conference, CARDIS 2014, Paris, France, November 2014
Software Language Engineering: Revised Selected Papers/2nd International Conference, SLE 2009, Denver,CO,USA, October 2009
Solving Shape-Analysis Problems in Languages with Destructive Updating
Speedup and Optimality in Pipeline Programs
Static Dependent Costs for Estimating Execution Time
Supporting SPMD Execution for Dynamic Data Structures
TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language
Terminable Statements and Destructive Computation
Tests and Proofs: Proc./11th International Conference, TAP 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017
The Competition Model for Parallel Execution of Logic Programs
The EDS Parallel Relational Database System
Theory and Applications of Satisfiability Testing - SAT 2011: Proc./14th International Conference, SAT 2011, Ann Arbor,MI,USA, June 2011
Transforming High-Level Data-Parallel Programs into Vector Operations
Trust and Trustworthy Computing: Proc./8th International Conference, TRUST 2015, Heraklion, Greece, August 2015
Une Machine Abstraite pour un Modele d Execution Parallele du Langage Prolog
User Interface Construction Based on Parallel and Sequential Execution Specification
Web Services and Formal Methods: Revised Selected Papers/10th International Workshop, WS-FM 2013, Beijing, China, August 2013
Wired/Wireless Internet Communications: Proc./9th IFIP TC 6 International Conference, WWIC 2011, Vilanova i la Geltru, Spain, June 2011