What people are saying - Write a review
We haven't found any reviews in the usual places.
Maximum and Minimum Matchings for SeriesParallel Networks
The MinMax Case
Linear Local and Global Model Checking Algorithms for a Kernal Temporal Logic Language
7 other sections not shown
Abstract algorithm application approach architecture attributes block clauses communication complexity components Computer Science concurrent constraint construct database defined denote disk distributed Distributed Computing domain doubly-linked list edge efficient elements example execution expert systems Figure finite function GADT global graph hypercube IEEE implementation input integration K-selection knowledge base language Lemma logic loop matrix maximal independent set memory method multicast node NP-complete object object-oriented operation optimal output packet paper parallel parallel algorithm parallel computation partition path perfect hashing functions performance Petersen graph problem Proc procedure processors protocol query relation represent reuse routing rules scheduling scheme semantics sequence sequential server simulation solved specification speedup step strategy structure subset superimposed coding switching technique Theorem tion tree tuple University update values variables VCLISP vector vertex vertices