2025 search results - page 86 / 405 » Software performance modelling using PEPA nets |
103
Voted
PROFES
2004
Springer
15 years 6 months ago
2004
Springer
Process improvement activities in small and medium size enterprises (SME) are challenging due to small number of personnel and projects, people have to perform in a variety of role...
149
click to vote
ITNG
2010
IEEE
14 years 11 months ago
2010
IEEE
—The increase in computational power of off-the-shelf hardware offers more and more advantageous tradeoffs among efficiency, cost and availability, thus enhancing the feasibil...
131
Voted
CODES
1996
IEEE
15 years 4 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
89
Voted
SBACPAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Performance evaluation of contemporary processors is becoming increasingly difficult due to the lack of proper frameworks. Traditionally, cycle-accurate simulators have been exte...
119
click to vote
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...