Вы здесь

Главная

Passau

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

Logical Transactions and Serializability
Loop Parallelization in the Polytope Model
Mathematical Independencies in the Pure Calculus of Constructions
Method Resolution and Virtual Classes in a Deductive Object-Oriented Database
Migrating Autonomous Objects in a WAN Environment
Minimum Spanning Trees in Bipartite Graphs
Mixed Real-Integer Linear Quantifier Elimination
Model States Revisited
Module Configuration by Minimal Model Construction
Network Performance Assessment under the BSP Model
New Results for Simplicial Spherical Polytopes
ObjectGlobe: Ubiquitous Query Processing on the Internet
Object-Oriented Specification of Distributed Systems
Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems
On Block-Skip-Free Transition Matrices
On Locally Reflective Categories of Structures
On Picture Languages: Cycles and Syntax-Directed Transformations
On the Compositionality and Transactional Execution of Electronic Services
On the Herbrand Kleene Universe for Nondeterministic Computations
On the Mechanical Tiling of Space-Time Mapped Loop Nests
On the Number of Term Order
On the Parallelization of Loop Nests Containing while Loops
On the Space-Time Mapping of WHILE-Loops
Optimal Code Motion for Parallel Programs
Optimal Code Motion: Theory and Practice
Optimization and Evaluation of Disjunctive Queries
Optimization Rules for Programming with Collective Operations
Optimizing Compositions of Scans and Reductions in Parallel Program Derivation
Optimizing Disjunctive Queries in Object Bases
Optimizing Join Orders
Optimizing Queries with Universal Quantification in Object-Oriented and Object-Relational Databases
Order-Preserving Hash Joins: Sorting (Almost) for Free
Orthogonale Polynome fur zeitaquidistante Abtastung von Signalen
P-adic Constraint Solving
Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs
Parallelization of Divide-and-Conquer by Translation to Nested Loops
Parallelization of Divide-and-Conquer in the Bird-Meertens Formalism
Parallelizing Functional Programs by Term Rewriting
Parametric Grobner Bases For Non-Commutative Polynomials
Parametric Linear and Quadratic Optimization by Elimination
Parametric Mixed Integer Programming by Elimination
Physical Object Management
PLists: Taking PowerLists Beyond Base Two
Precise Type Analysis by Abstract Interpretation
Proofs In Structured Specifications
Pushdown Processes: Parallel Composition and Model Checking
Rapid Prototyping for Algebraic Specifications: Examples for the Use of the RAP System
Real Quantifier Elimination in Practice
Reasoning over Networks by Symbolic Methods
Redlog User Manual