722 search results - page 32 / 145 » The State Operator in Real Time Process Algebra |
108
click to vote
RTAS
2009
IEEE
15 years 6 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
108
click to vote
SIGMETRICS
2000
ACM
15 years 4 months ago
2000
ACM
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
100
click to vote
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we present the architecture and framework for a benchmark suite that has been developed as part of the DeSiDeRaTa project. The proposed benchmark suite is representat...
119
click to vote
RTSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Power dissipation has constrained the performance boosting of modern computer systems in the past decade. Dynamic power management has been widely applied to change the ...
CONCUR
1997
Springer
15 years 4 months ago
1997
Springer
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...