154 search results - page 22 / 31 » Comparison of Process Algebra Equivalences Using Formats |
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
100
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a series of techniques to enhance the computational performance of existing Belief Propagation (BP) based stereo matching that relies on automatic estima...
108
click to vote
EPEW
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
111
click to vote
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
People need to find, work with, and put together information. Diverse activities, such as scholarly research, comparison shopping, and entertainment involve collecting and connect...
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...