532 search results - page 6 / 107 » Process Algebras for Quantitative Analysis |
153
click to vote
EPEW
2008
Springer
15 years 6 months ago
2008
Springer
Currently compilers contain a large number of optimisations which are based on a set of heuristics that are not guaranteed to be effective to improve the performance metrics. In th...
150
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
142
click to vote
ACSD
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
191
click to vote
CSFW
2000
IEEE
15 years 9 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
158
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...