1642 search results - page 155 / 329 » SPINning Parallel Systems Software |
HPDC
2000
IEEE
14 years 14 days ago
2000
IEEE
We describe a software architecture for storage services in computational grid environments. Based upon a lightweight message-passing paradigm, the architecture enables the provis...
ECOOPW
1999
Springer
14 years 10 days ago
1999
Springer
Impact analysis is seen as an important technique for controlling the evolution of software systems. Numerous approaches have been proposed which aim to assess the impact of chang...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
EUROPAR
2009
Springer
14 years 2 months ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
NSPW
2004
ACM
14 years 1 months ago
2004
ACM
Agile development methodologies are gaining acceptance in the software industry. If they are to be used for constructing securitycritical solutions, what do we do about assurance?...