59 search results - page 6 / 12 » You Assume, We Guarantee: Methodology and Case Studies |
EUROPAR
2010
Springer
13 years 7 months ago
2010
Springer
This work presents an application case study. Geant4 is a 750,000 line toolkit first designed in the mid-1990s and originally intended only for sequential computation. Intel's...
COMPSAC
2002
IEEE
13 years 11 months ago
2002
IEEE
This paper describes our experience using dependency analysis and visualization as a tool to identify intervention points for migrating applications to environments where they can...
CDC
2010
IEEE
13 years 1 months ago
2010
IEEE
This paper studies iterative learning control (ILC) in a multi-agent framework. A group of agents simultaneously and repeatedly perform the same task. The agents improve their perf...
VIS
2007
IEEE
2007
IEEE
Modeling Perceptual Dominance Among Visual Cues in Multilayered Icon-based Scientific Visualizations
14 years 8 months ago
ization method is an abstract function that transforms a scientific dataset into a visual representation to facilitate data exploration. In turn, a visualization display is the vis...
ICDE
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—In the context of service composition and orchestration, service invocation is typically scheduled according to execution plans, whose topology establishes whether diffe...