2025 search results - page 262 / 405 » Software performance modelling using PEPA nets |
112
Voted
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
129
click to vote
CASES
2006
ACM
15 years 9 months ago
2006
ACM
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
128
click to vote
POPL
2010
ACM
16 years 20 days 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...
154
click to vote
TASE
2011
IEEE
14 years 10 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...
119
Voted
ISPASS
2009
IEEE
15 years 10 months ago
2009
IEEE
Insights into branch predictor organization and operation can be used in architecture-aware compiler optimizations to improve program performance. Unfortunately, such details are ...