Вы здесь

Главная

Passau

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

Abstraction and Performance in the Design of Parallel Programs
A Calculus of Recursive-Parallel BSP Programs
A Communication Scheme for the Distributed Execution of while Loops
A Compiler for HDC
A Constraint Oriented Proof Methodology Based on Modal Transition Systems
A Decision-Based Configuration Process Environment
A Decision-Making Model for Query Evaluation
A Deductive Database Language Supporting Modules
A Dual Forest Algorithm for the Assignment Problem
Advanced Intelligent Networks 97
A Functional Compiler Specification and its Direct Implementation into SML
A "Half-Perspective" Approach to Robust Ego-Motion Estimation for Calibrated Cameras
A Hybrid Method for Automatic Chromosome Karyotyping
AIN 96: Intern. Workshop on Advanced Intelligent Networks. Passau, Germany. March 25-26, 1996
A Logical Framework for the Specification of Transactions
An Algebraic Approach to Offsetting and Blending of Solids
An Efficient Tranportation Algorithm for Automatic Chromosome Karyotiping
An Elementary Characterization of Fibred Categories with Internal Sums and Products
A New Approach for Automatic Theorem Proving in Real Geometry
A New Approach to Quantifier Elimination for Real Algebra
An Exercise in Compiler Verification
An Improved General Path Order
An Object-Oriented Airport
A Performance Evaluation of OID Mapping Techniques
Applying Quantifier Elimination to Problems in Simulation and Optimization
Approaches to Parallel Quantifier Elimination
A Proof of Higman s Lemma by Open Induction
Architectures, Costs, and Transformations
A Robust Control System Design by a Special Guantifier Elimination
A Semi-Algorithm for Algebraic Implementation Proofs
A Semi-Algorithms for Algebraic Implementation Proofs
A Solution to Zantema s Problem
A Strongly Polynomial Algorithm for the Transportation Problem
A Timing Refinement of Intuitionistic Proofs and Its Application to the Timing Analysis of Combinational Circuits
A Tool Kit for Constructing Optimal Interprocedural Data Flow Analyses
Automatic Synthesis of Design Plans in METAFrame
Basic-block Graphs: Living Denosaurs?
Behavioural Specification and Implementation of Modular Software Systems
Bondgraph Execution as a New Algorithm for Circuit Simulation
Bypassing Joins in Disjunctive Queries
Chaotic Fixed Point Iterations
CMPP 2000: Second International Workshop on Constructive Methods for Parallel Programming
CMPP 98: First International Workshop on Constructive Methods for Parallel Programming
CMPP 98: First Intern. Workshop on Constructive Methods for Parallel Programming. Marstrand, Sweden, June 18, 1998
Complexity and Uniformity of Elimination in Presburger Arithmetic
Compositional Minimization of Finite State Systems Using Interface Specifications
Composition, Decomposition and Model Checking of Pushdown Processes
Computational Geometry Problems in REDLOG
Computer Algebra Meets Computer Logic
Computing Optimal Linear Layouts of Trees in Linear Time