1642 search results - page 16 / 329 » SPINning Parallel Systems Software |
AUTONOMICS
2008
ACM
13 years 9 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
SCOPES
2007
Springer
14 years 1 months ago
2007
Springer
CODES
1996
IEEE
13 years 12 months ago
1996
IEEE
The design of multi-dimensional systems using hardware/software codesign allows a significant improvement in the development cycle. This paper presents a technique that enables a ...
ENTCS
2006
13 years 7 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...