3579 search results - page 334 / 716 » Transformations of software models into performance models |
163
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Microorganisms display vast diversity, and each one has its own set of genes, cell components and metabolic reactions. To assess their huge unexploited metabolic poten...
169
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
162
click to vote
SIGMETRICS
2003
ACM
15 years 12 months ago
2003
ACM
The increasing constraints on power consumption in many computing systems point to the need for power modeling and estimation for all components of a system. The Operating System ...
205
click to vote
TASE
2011
IEEE
15 years 1 months ago
2011
IEEE
—For multiclass flow line models, we identify a class of service times that allow a decomposition of the system into subsets of servers called channels. In each channel, the cus...
222
Voted
ISSS
1996
IEEE
15 years 10 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...