3579 search results - page 213 / 716 » Transformations of software models into performance models |
154
Voted
CODES
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an adaptive, feedback-based, energy estimation model for battery-powered embedded devices such as sensor network gateways and hand-held computers. Our technique maps ha...
168
Voted
CODES
2006
IEEE
15 years 11 months ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...
145
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
162
Voted
CBSE
2004
Springer
15 years 10 months ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
146
click to vote
RE
2007
Springer
15 years 11 months ago
2007
Springer
Customer-reported field failures provide valuable information for the requirements of the next release. Without a systematic approach, the requirements of the next release may not...