Breadcrumb

 
 

Detection of separable predicates on series-parallel systems

Title:

Detection of separable predicates on series-parallel systems

Dumais, Guy (1998) Detection of separable predicates on series-parallel systems. Masters thesis, Concordia University.

[img]
Preview
PDF
3214Kb

Abstract

In this thesis, we address part of the predicate detection problem on distributed computations. We introduce two new classes of predicates, the monotonic predicates and the separable predicates. These classes generalize several classes of well-known predicates as the conjunctive predicates. We show that these classes are detected efficiently on distributed computations having the series-parallel property. This deviates from the approach used in the past where the detection problem was addressed for small classes of predicates to be detected on general distributed computations. The detection algorithm is based on a decomposition of the state lattice into simple subsets called concurrent intervals. This decomposition has its own interest since it helps understanding the relation between the complexity of the state lattice and the complexity of the event structure. At the heart of this relation is a new structure: the communication graph. We show that the communication graph gives a suitable level of abstraction to deal with the predicate detection problem.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Dumais, Guy
Pagination:x, 88 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:Theses (M.Comp.Sc.)
Program:Dept. of Computer science
Date:1998
Thesis Supervisor(s):Li, H. F
ID Code:623
Deposited By:Concordia University Libraries
Deposited On:27 Aug 2009 13:13
Last Modified:08 Dec 2010 10:15
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Document Downloads

More statistics for this item...

Concordia University - Footer