5330 search results - page 201 / 1066 » The Performability Tool P'ility |
269
click to vote
WOSP
1998
ACM
15 years 11 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
212
click to vote
AMOST
2007
ACM
15 years 11 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
243
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...
250
click to vote
TPDS
2010
15 years 1 months ago
2010
Predicting grid performance is a complex task because heterogeneous resource nodes are involved in a distributed environment. Long execution workload on a grid is even harder to pr...
389
click to vote
CASES
2011
ACM
14 years 7 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...