2259 search results - page 388 / 452 » Leveraging Distributed Software Development |
107
click to vote
CLUSTER
2002
IEEE
15 years 7 months ago
2002
IEEE
A practical problem faced by users of metacomputers and computational grids is: If my computation can move from one system to another, how can I ensure that my data will still be ...
118
click to vote
AGTIVE
1999
Springer
15 years 6 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
133
click to vote
DGO
2007
15 years 3 months ago
2007
Solving complex global problems such as illegal immigration, border control, and terrorism requires government organizations at all levels to share not only data but, more importa...
134
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: There has been considerable effort focused on developing efficient programs for tagging single-nucleotide polymorphisms (SNPs). Many of these programs do not account f...
153
Voted
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...