571 search results - page 61 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
155
click to vote
ICDCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper develops a scalable online optimization framework for the autonomic performance management of distributed computing systems operating in a dynamic environment to satisf...
143
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
117
Voted
CCGRID
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper shows how lightpath-based networks can allow challenging, fine-grained parallel supercomputing applications to be run on a grid, using parallel retrograde analysis on ...
168
Voted
DEBS
2010
ACM
15 years 8 months ago
2010
ACM
We present a case study parallelizing streaming aggregation on three different parallel hardware architectures. Aggregation is a performance-critical operation for data summarizat...
165
click to vote
CLUSTER
2000
IEEE
15 years 8 months ago
2000
IEEE
The present study treats the calculation of the continuous phase of a multiphase flow, i.e. the numerical solution of the equations for a turbulent incompressible flow. An exist...