Вы здесь

Главная

вычисление

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

Non Erasing Turing Machines: A Frontier between a Decidable Halting Problem and Universality
Non-linear Invariant Generation using Grobner Bases
Non-Monotonic Extensions of Logic Programming
Notation as a Tool of Thought
Novel End User Facilities Based on Subdefinite Calculations
NSF Supported Projects: Parallel Computation as an Integrated Component in the Undergraduate Curriculum in Computer Science
Object-Based Concurrent Computing: Proc./ECOOP 91 Workshop. Geneva, Switzerland, July 1991.
Object-Based Parallel and Distributed Computation: Selected Papers/France-Japan Workshop,OBPDC 95. Tokyo,Japan,June 1995
Obliq - A Language with Distributed Scope
Observation d Executions Reparties Datation par Intervalles
Observers, experiments, and Agents: a Comprehensive Approach to Parallelism
Observing Behaviour Categorically
Occam s Razor in Metacomputation: The Notion of a Perfect Process Tree
On Asynchronous Communication Semantics
On Different Concepts of Function Introduction
On Dustibuted Languages and Models for Distributed Computation
On Group Communication Systems: Insight, a Primer and a Snapshot
On Loop Detection in Connection Calculi
On Roth, Korth, and Silberschatz s Extended Algebra and Calculus for Nested Relational Databases
On the Communication Complexity of Distributed Algebraic Computation
On the Communication Complexity of Parallel Computation
On the Complexity of Incremental Computation
On the Correctness of a Transaction Model for Mobile Computing
On the Decidability of Model Checking for Several -calculi and Petri Nets
On the Herbrand Kleene Universe for Nondeterministic Computations
On the Logic of Hypergraphs
On the Sizes of Permutation Networks and Consequences for Efficient Simulation of Hypercube Algorithms on Bounded-Degree Networks
On the Uniform Representation of Mathematical Data Structures
Optimal Bounds on the Gain of Permitting Dynamic Allocation of Communication Channels in Distributed Computing
Optimal Implementation of GeneraL Divide-and-Conquer on the Hypercube and Related Networks
Optimization Parallel Computations by Monte-Carlo Method
Optimizations of Bottom-Up Evaluation with Non-Ground Terms (Extended Abstract)
Optimizing Active Databases using the Split Technique
Order-Sorted Feature Theory Unification
Overhead Compensation in Performance Profiling
Overview of MC/LISP System
Overview of Papers from the U.S./Japan Workshop on Parallel Symbolic Computing
P3: Parallel Peer to Peer An Internet Parallel Programming Environment
Paradigms Admitting Superunitary Behaviour in Parallel Computation
Parallel and Distributed Computing. Theory and Practice: Proc./First Canada-France Conf. Montreal, Canada, May 1994
Parallel and Distributed Evolutionary Computation with MANIFOLD
Parallel CLP on Heterogeneous Networks
Parallel Computation and Supercomputers and Applications
Parallel Computation MM +/- X
Parallel Computation on Interval Graphs Using PC Clusters: Algorithms and Experiments
Parallel Computation: Proc./4th Intern. ACPC Conf. Including Special Tracks on Parallel Numerics (ParNum 99) and Parallel Computing in Image Processing, Video Processing, and Multimedia. Salzburg, Austria, February 1999
Parallel Computation: Proc./Second Intern. ACPC Conf. Gmunden, Austria, October 1993
Parallel Computation: Proc./Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O. Klagenfurt,Austria,September 1996
Parallel Computations and Finite Automata on Semilattices
Parallel Computations on Finite Partially Ordered Sets