4520 search results - page 21 / 904 » Algebraic Techniques for Timed Systems |
121
click to vote
WOSP
2004
ACM
15 years 7 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
101
click to vote
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
135
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
132
click to vote
TCS
2010
14 years 8 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
123
Voted
HPDC
1999
IEEE
15 years 6 months ago
1999
IEEE
We present a performance-based methodology for designing a high-bandwidth radar application on commodity platforms. Unlike many real-time systems, our approach works for commodity...