1642 search results - page 101 / 329 » SPINning Parallel Systems Software |
PDCAT
2007
Springer
14 years 2 months ago
2007
Springer
—Grid system software is inherently complex, hard to build and maintain. In this paper, we propose a selfmanaging building block: Grid Unit, which facilitates constructing Grid s...
FSTTCS
2003
Springer
14 years 1 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
ICPP
2009
IEEE
14 years 2 months ago
2009
IEEE
—Considerable work has been done on providing fault tolerance capabilities for different software components on largescale high-end computing systems. Thus far, however, these fa...
EUROPAR
1999
Springer
14 years 5 days ago
1999
Springer
This paper describes an approach to the implementation and the operation of a Simultaneous Multithreaded processor. We propose an architecture which integrates a software mechanism...
ISORC
2009
IEEE
14 years 2 months ago
2009
IEEE
AUTOSAR as specified in its current version fosters timing-constraints at application level to support the development of real-time automotive applications. However, the standard...