8312 search results - page 233 / 1663 » Performance data collection using a hybrid approach |
165
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--A hybrid MPI/Pthreads parallelization was implemented in the RAxML phylogenetics code. New MPI code was added to the existing Pthreads production code to exploit parallel...
154
click to vote
BIOCOMP
2006
15 years 8 months ago
2006
- The rapid growth in the amount of molecular genetic data being collected will, in many cases, require the development of new analytic methods for the analysis of that data. In th...
186
click to vote
VMCAI
2005
Springer
16 years 20 hour ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
174
click to vote
JAIR
2008
15 years 6 months ago
2008
In a facility with front room and back room operations, it is useful to switch workers between the rooms in order to cope with changing customer demand. Assuming stochastic custom...
177
click to vote
AICOM
2008
15 years 6 months ago
2008
We propose a novel hybrid recommendation model in which user preferences and item features are described in terms of semantic concepts defined in domain ontologies. The exploitati...