1801 search results - page 293 / 361 » Software Patterns in ITS Architectures |
PPAM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. A large number of MPI implementations are currently available, each of which emphasize diļ¬erent aspects of high-performance computing or are intended to solve a speciļ¬...
DSN
2003
IEEE
15 years 5 months ago
2003
IEEE
In a recent paper [2] we have proposed FT-TCP: an architecture that allows a replicated service to survive crashes without breaking its TCP connections. FT-TCP is attractive in pr...
MSS
2003
IEEE
15 years 5 months ago
2003
IEEE
zFS is a research project aimed at building a decentralized ļ¬le system that distributes all aspects of ļ¬le and storage management over a set of cooperating machines interconne...
EMSOFT
2003
Springer
15 years 5 months ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
118
click to vote
ER
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...