Category:LNCS 1023
From BibNetWiki
Jump to:
navigation
,
search
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
Category
:
LNCS
Views
Category
Discussion
Edit
History
Personal tools
Log in / create account
Navigation
Main Page
Community portal
Current events
Recent changes
Random page
Help
Donations
Search
Toolbox
What links here
Related changes
Upload file
Special pages
Printable version
Permanent link
related