Вы здесь

Главная

машина

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

FCP Sequential Abstract Machine Characteristics for the Systems Development Workload
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Flexible Operating Environment for Matrix Based Neurocomputers
FORK: A High-Level Language for PRAMs
Format verification of programs for abstract register machines
Foundations of Software Science and Computational Structures: Proc./14th International Conference, FOSSACS 2011 Held as a Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011
Functional and Constraint Logic Programming: Revised Selected Papers/19th International Workshop, WFLP 2010, Madrid, Spain, January 2010
Garbage Collection and Local Variable Type-Precision and Liveness in JavaTM Virtual Machines
How the World Computes: Proc./Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 2012
Hybrid Artificial Intelligent Systems, Part I: Proc./6th International Conference, HAIS 2011, Wroclaw, Poland, May 2011
Implementation and Application of Functional Languages: Revised Selected Papers/22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 2010
Implementation of a Universal Unification Algorithm for Macro Tree Transducers
Implementing Constraint Imperative Programming Languages: The Kaleidoscope 93 Virtual Machine
Implementing Jalapeno in Java
Incremental Generation of Index Sets for Array Statement Execution on Distributed-Memory Machines
Incremental Global Compilation of Prolog with the Vienna Abstract Machine
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./8th International Conference, CPAIOR 2011, Berlin, Germany, May 2011
Java: Memory Consistency and Process Coordination
Large Join Order Optimization on Parallel Shared-Nothing Database Machines Using Genetic Algorithms
Lively Linear Lisp - Look Ma, No Garbage!
Machine de Gestion de Memoire pour Prolog
Manchecter Dataflow Machine: Benchmark Test Evaluation Report
Massively Parallel Methods for Engineering and Science Problems
mEDA-2: An Extention of PVM
Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine
Native Code Compilation in SICStus Prolog
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines
On the Minimality of Finite Automata and Stream X-machines for Finite Languages
Optimal Evaluation of Array Expressions on Massively Parallel Machines
Orthogonal to the Java Imperative
PAGODE: A Back End Generator
Parallel Bounded Quantification - Preliminary Results
Parallel Evaluation of Functional Programs: The <v,G>-machine approach
Parallel Virtual Machine - EuroPVM 96: Proc./Third European PVM Conf. Munich, Germany, October 1996
Porting the GNAT Tasking Runtime System to the Java Virtual Machine
Processor Element Architecture for a Parallel Inference Machine, PIM/p
Programming Distributed Systems with Both Ada95 and PVM
Proving Theorems about Java and the JVM with ACL2
Proving Theorems About Java-Like Byte Code
PVM 3 Beyond Network Computing
PVM for SCI Clusters
Rationalized Three Instruction Machine
Recent Advances in Parallel Virtual Machine and Message Passing Interface: Proc./4th European PVM/MPI Users Group Meeting. Cracow, Poland, November 1997
Recent Advances in Parallel Virtual Machine and Message Passing Interface: Proc./5th European PVM/MPI Users Group Meeting. Liverpool, UK, September 1998
Recent Advances in Parallel Virtual Machine and Message Passing Interface: Proc./6th European PVM/MPI Users Group Meeting. Barcelona, Spain, September 1999
Recent Advances in Parallel Virtual Machine and Message Passing Interface: Proc./9th European PVM/MPI User s Group Meeting, Linz, Austria, September-October 2002
Recursive Tree Networks as Dataflow Machines
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
SelfLog: Language and Implementation
Set of Tools for Native Code Generation for the Java Virtual Machine