1268 search results - page 89 / 254 » Verifying distributed systems: the operational approach |
155
click to vote
PR
2010
15 years 4 months ago
2010
Aggregating statistical representations of classes is an important task for current trends in scaling up learning and recognition, or for addressing them in distributed infrastruc...
173
click to vote
PVM
2010
Springer
15 years 4 months ago
2010
Springer
Commercial HPC applications are often run on clusters that use the Microsoft Windows operating system and need an MPI implementation that runs efficiently in the Windows environmen...
229
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...
165
click to vote
HPCA
2003
IEEE
16 years 6 months ago
2003
IEEE
A challenging issue in today's server systems is to transparently deal with failures and application-imposed requirements for continuous operation. In this paper we address t...
147
click to vote
EDOC
2007
IEEE
16 years 16 days ago
2007
IEEE
Models have been used in various engineering fields to help managing complexity and represent information in difbstraction levels, according to specific notations and stakeholde...