2661 search results - page 128 / 533 » Model Checking Performability Properties |
121
Voted
EDOC
2004
IEEE
15 years 6 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
112
click to vote
ICAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Methods for automatically managing the performance of computing services must estimate a performance model of that service. This paper explores properties that are necessary for p...
116
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
This paper proposes a rapid and accurate evaluation scheme for cycle counts of a pipelined processor using evaluation reuse technique. Since exploration of an optimal processor is...
116
Voted
CBSE
2006
Springer
15 years 6 months ago
2006
Springer
Designing architectures requires the balancing of multiple system quality objectives. In this paper, we present techniques that support the exploration of the quality properties of...
111
Voted
PPL
2008
15 years 2 months ago
2008
This paper investigates the influence of the interconnection network topology of a parallel system on the delivery time of an ensemble of messages, called the communication scheme...