3436 search results - page 430 / 688 » Software Tools for Performance Modeling of Parallel Programs |
105
click to vote
GPCE
2003
Springer
15 years 7 months ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
116
click to vote
IWMM
2009
Springer
15 years 9 months ago
2009
Springer
Good spatial locality alleviates both the latency and bandwidth problem of memory by boosting the effect of prefetching and improving the utilization of cache. However, convention...
141
click to vote
SIGOPS
2008
15 years 2 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
155
click to vote
SAMOS
2010
Springer
15 years 7 days ago
2010
Springer
A new heterogeneous multiprocessor system with dynamic memory and power management for improved performance and power consumption is presented. Increased data locality is automatic...
136
click to vote
EUROMICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...