Category:LNCS 1023

From BibNetWiki

Lecture Notes in Computer Science, Volume 1023

Articles in category "LNCS 1023"

There are 28 articles in this category.

A Algorithms, concurrency, and knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995: proceedings An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness An Extended Gradient Model for NUMA Multiprocessor Systems B Binary Space Partitions for Sets of Hyperrectangles C Complexity as a Basis for Comparing Semantic Models of Concurrency Constraints for Free in Concurrent Computation D Deriving and Applying Logic Program Transformers Detecting Distributed Termination in the Presence of Node Failure Duration Calculus Specification of Scheduling for Tasks with Shared Resources

E ESP-MC: An Experiment in the Use of Verification Tools Efficient Equality-Testing and Updating of Sets Efficient Parallel Permutation-Based Range-Join Algorithms on Mesh-Connected Computers F Formalizing Inductive Proofs of Message Recovery in Distributed Systems Formalizing Inductive Proofs of Network Algorithms I Inductive Logic Programming Based on Genetic Algorithm L Labeled lambda-Calculus and a Generalised Notion of Strictness Leapfrogging Samplesort M Minimal Linear Invariants Multi-Action Process Algebra

P Parallel Maximal Matching on Minimal Vertex Series Parallel Digraphs Pipelined Band Join in Shared-Nothing Systems Preemption Primitives in Reactive Languages Probabilistic Logic Programming and Bayesian Networks S Spanning 2-Trees T TROM - An Object Model for Reactive System Development The Equivalence of the Subsumption Theorem and the Refutation-completeness for Unconstrained Resolution Trace Specifications of Non-deterministic Multi-object Modules Transformation of Orthogonal Term Rewriting Systems