Вы здесь

Главная

машина

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

Abstract Complexity of Prolog Based on WAM
Abstract Machine Approach to Operational Semantics of Prolog
Abstract Machines, Control, and Sequents
Abstract State Machines 2004 - Advances in Theory and Practice: Proc./11th Intern. Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 2004
Adding Data and Procedure Abstraction to the Transparent Prolog Machine (TPM)
Adding Genericity to Object-Oriented ASMS
Advanced Programming in PVM
A Formal Specification of JavaTM Virtual Machine Instructions for Objects, Methods and Subroutines
A FORTRAN Compiling Method for Dataflow Machines and Its Prototype Compiler for the Parallel Processing System -Harray-
A Haskell to Java Virtual Machine Code Compiler
A Language and Tool for Generating Efficient Virtual Machine Interpreters
Algebraic Imperative Specifications
Algorithmic Learning Theory: Proc./21st International Conference, ALT 2010, Canberra, Australia, October 2010
A Memory Manadement for Prolog
A Modulation Package Tuning Machine Applying Fuzzy Logic
A Multi-Purpose Dataflow Simulator
An Abstract Machine for Oz
An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs
An Abstract Machine to Implement Efficiently OR-AND Parallel Prolog
An Approach to Unfolding Asynchronous Communication Protocols
An Efficient Optimization Algorithm of Java Bytecode to Reduce Network Trafffic
An Efficient Small Sized On-Card Verifier for Java Card
A New Scheme for Unification in WAM
An Imperative Extension of the Object Constraint Language OCL
An Object Oriented Framework for Parallel Multiple Optimizations
A Processors Management System for PVM
Architecture of Parallel Inference Machines
A Reconfigurable Data Flow Machine for Implementing Functional Programming Languages
A Transputer-based Parallel Rendering Engine for Computer Graphics
Automatic Inference of Models for Statistical Code Compression
A Verification Approach for Distributed Abstract State Machines
A Virtual Machine for a Process Calculus
Beyond Flexibility and Reflection: The Virtual Virtual Machine Approach
Cid: A Parallel, "Shared-memory" C for Distributed-memory Machines
Client Server Computing on Message Passing Systems: Experiences with PVM-RPC
Code Sharing among Virtual Machines
Compiler Optimizations for Massively Parallel Machines: Transformations on Iterative Spatial Loops
Computation with Access to the Reals, but Using only Classical Machines
CONCUR 2010 - Concurrency Theory: Proc./21st International Conference, CONCUR 2010, Paris, France, August/September 2010
Concurrent Abstract Machines
Database Machines and Database Management
Data Path Issues in a Highly Concurrent Machine
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation
DREAM: The DistRibuted Eden Abstract Machine
Efficient Support for Irregular Applications on Distributed-Memory Machines
Evaluating the Java Virtual Machine as a Target for Languages Other than Java
Evaluation of Mechanisms for Fine-Grained Parallel Programs in the J-Machine and the CM-5
Executing Bounded Quantifications on Shared Memory Multiprocessors
Exegesis of DBC/1012 and P-90 - Industrial Supercomputer Database Machines
Extending the Warren Abstract Machine to Polimorphic Order-Sorted Resolution