Sciweavers

1346 search results - page 194 / 270
» An Interface Model for Parallel Components
Sort
View
CCGRID
2010
IEEE
15 years 3 months ago
Unibus-managed Execution of Scientific Applications on Aggregated Clouds
In this paper we examine the feasibility of running message passing applications across clouds. Our on-going Unibus project aims to provide a flexible approach to provisioning and ...
Jaroslaw Slawinski, Magdalena Slawiñska, Va...
138
Voted
PPOPP
2006
ACM
15 years 8 months ago
Minimizing execution time in MPI programs on an energy-constrained, power-scalable cluster
Recently, the high-performance computing community has realized that power is a performance-limiting factor. One reason for this is that supercomputing centers have limited power ...
Robert Springer, David K. Lowenthal, Barry Rountre...
111
Voted
MIDDLEWARE
2001
Springer
15 years 7 months ago
Thread Transparency in Information Flow Middleware
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
Rainer Koster, Andrew P. Black, Jie Huang, Jonatha...
ISORC
2000
IEEE
15 years 7 months ago
Hybrid Sequence Charts
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
Radu Grosu, Ingolf Krüger, Thomas Stauner
117
Voted
ISORC
1998
IEEE
15 years 6 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm