Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

CAAP
1990

favoriteEmaildiscussreport

66views Theoretical Computer Science» more CAAP 1990»

A Markovian Concurrency Measure

13 years 9 months ago

A Markovian Concurrency Measure

Download www.lisi.ensma.fr

act We show how to modelize concurrency between several processors in terms of automata and Markov chains; then, we define a concurrency measure which reflects more faithfully the behaviour of the processes and is in addition easy to compute with a symbolic manipulator like Maple (this is an improvement over a previous measure [3] whose computation appears to be expensive.

Dominique Geniet, René Schott, Loÿs Th

Real-time Traffic

CAAP 1990 | Concurrency Measure | Markov Chains | Symbolic Manipulator | Theoretical Computer Science |

claim paper

Related Content

» How to measure a large opensource distributed system

» Measuring and modelling the performance of a parallel ODMG compliant object database serve...

» CODA A concurrent online delay measurement architecture for critical paths

» Model Checking Concurrent Programs with Nondeterminism and Randomization

» Weak Markovian Bisimilarity Abstracting from PrioritizedWeighted Internal Immediate Action...

» Adaptive state dependent importance sampling simulation of markovian queueing networks

» Parametric Performance Contracts NonMarkovian Loop Modelling and an Experimental Evaluatio...

» A Characterization of Interventional Distributions in SemiMarkovian Causal Models

» MultitimeScale Traffic Modeling Using Markovian and LSystems Models

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1990
Where	CAAP
Authors	Dominique Geniet, René Schott, Loÿs Thimonier

Comments (0)