2297 search results - page 272 / 460 » Production of Large Computer Programs |
117
click to vote
CHES
2007
Springer
15 years 6 months ago
2007
Springer
Graphics Processing Units (GPUs) present large potential performance gains within stream processing applications over the standard CPU. These performance gains are best realised wh...
133
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
98
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: FREGENE simulates sequence-level data over large genomic regions in large populations. Because, unlike coalescent simulators, it works forwards through time, it allows...
140
click to vote
TJS
2002
15 years 2 months ago
2002
Abstract-The current trend in constructing high-performance computing systems is to connect a large number of machines via a fast interconnect or a large-scale network such as the ...
123
click to vote
ICPP
2009
IEEE
15 years 9 months ago
2009
IEEE
—In an attempt to increase the performance/cost ratio, large compute clusters are becoming heterogeneous at multiple levels: from asymmetric processors, to different system archi...