2025 search results - page 37 / 405 » Software performance modelling using PEPA nets |
205
click to vote
DATE
2009
IEEE
16 years 21 days ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
133
click to vote
TOPNOC
2008
15 years 5 months ago
2008
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
146
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
As energy consumption in high-performance systems has increased, thermal management has become a big challenge. Providing a cost-effective and detailed temperature sensing mechani...
244
click to vote
ICSEA
2009
IEEE
15 years 3 months ago
2009
IEEE
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
146
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...