2025 search results - page 85 / 405 » Software performance modelling using PEPA nets |
121
click to vote
LCPC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
106
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
95
Voted
CISIS
2008
IEEE
15 years 1 months ago
2008
IEEE
We present a web system architecture using ontologies to improve the behavior of the system from the performance viewpoint. Since web system performance indexes depend on state an...
119
Voted
DATE
2005
IEEE
15 years 2 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
143
click to vote
ISSS
1996
IEEE
15 years 4 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...