1586 search results - page 127 / 318 » Modeling the evolution of operating systems: An empirical st... |
180
click to vote
CLUSTER
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Since the advent of multi-core processors, the physionomy of typical clusters has dramatically evolved. This new massively multi-core era is a major change in architectu...
158
click to vote
IPPS
2006
IEEE
16 years 14 days ago
2006
IEEE
Inference of phylogenetic trees using the maximum likelihood (ML) method is NP-hard. Furthermore, the computation of the likelihood function for huge trees of more than 1,000 orga...
179
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
155
click to vote
ICS
2005
Tsinghua U.
15 years 12 months ago
2005
Tsinghua U.
As parallel jobs get bigger in size and finer in granularity, “system noise” is increasingly becoming a problem. In fact, fine-grained jobs on clusters with thousands of SMP...
150
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Enterprise resource planning (ERP) maintenance and upgrade activities are receiving much attention in ERP-using organizations. Annual maintenance costs approximate 25% of initial ...