2025 search results - page 47 / 405 » Software performance modelling using PEPA nets |
ICRA
1999
IEEE
14 years 12 hour ago
1999
IEEE
We present a novel approach we call partitioning where the robot's degrees- of-freedom (D OF) are categorized into two classes based on joint kinematics and dynamics to desig...
ISPASS
2006
IEEE
14 years 1 months ago
2006
IEEE
The latest high-performance IBM PowerPC microprocessor, the POWER5 chip, poses challenges for performance model validation. The current stateof-the-art is to use simple hand-coded...
RE
1999
Springer
13 years 12 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Software metrics as a subject area is over 30 years old, but it has barely penetrated into mainstream software engineering. A key reason for this is that most software metrics act...