2025 search results - page 64 / 405 » Software performance modelling using PEPA nets |
102
Voted
TC
2011
14 years 7 months ago
2011
— Implementing shared memory consistency models on top of hardware caches gives rise to the well-known cache coherence problem. The standard solution involves implementing cohere...
102
Voted
ISARCS
2010
15 years 4 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
114
Voted
JSS
2010
14 years 7 months ago
2010
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
112
Voted
WOSP
2005
ACM
15 years 6 months ago
2005
ACM
Advances in Internet and the availability of powerful computers and high-speed networks have propitiated the rise of Grids. The scheduling of applications is complex in Grids due ...
96
Voted
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...