2409 search results - page 209 / 482 » Building Components from Functions |
141
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
176
click to vote
PVM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A large number of MPI implementations are currently available, each of which emphasize different aspects of high-performance computing or are intended to solve a speciï¬...
160
click to vote
GPCE
2003
Springer
15 years 11 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...
152
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
The middleware technology used as the foundation of Internet-enabled enterprise systems is becoming increasingly complex. In addition, the various technologies offer a number of s...
147
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present a robust software infrastructure for metacomputing. The system is intended to be used by others as a building block for large and powerful computational g...