1642 search results - page 101 / 329 » SPINning Parallel Systems Software |
199
click to vote
PDCAT
2007
Springer
16 years 12 days 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...
160
click to vote
FSTTCS
2003
Springer
15 years 11 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...
176
click to vote
ICPP
2009
IEEE
16 years 29 days 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...
149
click to vote
EUROPAR
1999
Springer
15 years 10 months 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...
205
click to vote
ISORC
2009
IEEE
16 years 28 days 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...