Sciweavers

13489 search results - page 442 / 2698
» Operating System
Sort
View
PVM
2004
Springer
16 years 5 days ago
MPI Cluster System Software
We describe the use of MPI for writing system software and tools, an area where it has not been previously applied. By “system software” we mean collections of tools used for s...
Narayan Desai, Rick Bradshaw, Andrew Lusk, Ewing L...
ICAC
2007
IEEE
16 years 1 months ago
Towards Autonomic Fault Recovery in System-S
System-S is a stream processing infrastructure which enables program fragments to be distributed and connected to form complex applications. There may be potentially tens of thous...
Gabriela Jacques-Silva, Jim Challenger, Lou Degena...
SAC
2005
ACM
16 years 12 days ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
ICECCS
1997
IEEE
99views Hardware» more  ICECCS 1997»
15 years 11 months ago
The Butterfly Methodology : A Gateway-free Approach for Migrating Legacy Information Systems
The problems posed by mission-critical legacy systems - e.g., brittleness, inflexibility, isolation, non-extensibility, lack of openness - are well known, but practical solutions ...
Bing Wu, Deirdre Lawless, Jesus Bisbal, Ray Richar...
CAISE
2006
Springer
15 years 10 months ago
Deviational Analyses for Validating Regulations on Real Systems
Deviational analysis is a traditional way of exploring the safety of systems. The results of deviational analysis contribute to traditional safety cases and safety arguments. We ex...
Fiona Polack, Thitima Srivatanakul, Tim Kelly, Joh...