12807 search results - page 193 / 2562 » Application - Platform Performance Modeling and Evaluation |
174
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The structure annotation of a genome is based either on ab initio methodologies or on similaritiy searches versus molecules that have been already annotated. Ab initio...
172
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
185
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
194
click to vote
JPDC
2008
15 years 6 months ago
2008
This paper addresses the problem of porting distributed parallel applications to the Grid. One of the challenges we address is the change from static homogeneous cluster environmen...
159
click to vote
SOQUA
2004
15 years 7 months ago
2004
: As more third-party software components are available in the commercial market, more people begin to use the component-based software engineering approach to developing component...