Category:LNCS 1026

From BibNetWiki

Lecture Notes in Computer Science, Volume 1026

Articles in category "LNCS 1026"

There are 36 articles in this category.

A A Condition for the Three Colourability of Planar Locally Path Graphs A Framework for the Specification of Reactive and Concurrent Systems in Z A Near Optimal Algorithm for the Extended Cow-Path Problem in the Presence of Relative Errors Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy All-Pairs Min-Cut in Sparse Networks An Algorithm for Reducing Binary Branchings Average Polynomial Time Is Hard for Exponential Time Under sn-Reductions B Branch and Bound on the Network Model C Computing Hierarchies of Clusters from the Euclidean Minimum Spanning Tree in Linear Time Computing a Largest Empty Anchored Cylinder, and Related Problems D Determinizing Buechi Asynchronous Automata E Efficient Algorithms for Vertex Arboricity of Planar Graphs

E cont. Equational Axiomatization of Bicoercibility for Polymorphic Types F Foundations of software technology and theoretical computer science: 15th conference, Bangalore, India, December 18-20, 1995: proceedings From Causal Consistency to Sequential Consistency in Shared Memory Systems G Generalized Temporal Verification Diagrams L Looking for MUM and DAD: text-text comparisons do help M Maximal Extensions of Simplification Orderings Minimizing Space Usage in Evaluation of Expression Trees Model Checking of Probabilistic and Nondeterministic Systems O Observation of Software for Distributed Systems with RCL Observing Behaviour Categorically On Parallel Complexity of Planar Triangulations On Self-Testing without the Generator Bottleneck On the Complexity of Bisimilarity for Value-Passing Processes

O cont. On the Expressive Power of CCS P Partiality and Approximation Schemes for Local Consistency in Networks of Constraints Path Balance Heuristic for Self-Adjusting Binary Search Trees Pattern Matching in Compressed Texts Polarized Name Passing R Reusing Batch Parsers as Incremental Parsers S Smooth Surfaces for Multi-Scale Shape Representation Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems T The Expressive Power of Indeterminate Primitives in Asynchronous Computation The Transformation Calculus V Verifying Part of the ACCESS.bus Protocol Using PVS