Sciweavers

3161 search results - page 539 / 633
» Documenting framework behavior
Sort
View
106
Voted
EUROPAR
2006
Springer
15 years 6 months ago
Early Experiences with KTAU on the IBM BG/L
Abstract. The influences of OS and system-specific effects on application performance are increasingly important in high performance computing. In this regard, OS kernel measuremen...
Aroon Nataraj, Allen D. Malony, Alan Morris, Samee...
FC
2006
Springer
108views Cryptology» more  FC 2006»
15 years 6 months ago
Uncheatable Reputation for Distributed Computation Markets
Reputation systems aggregate mutual feedback of interacting peers into a "reputation" metric for each participant. This is then available to prospective service "req...
Bogdan Carbunar, Radu Sion
140
Voted
FORMATS
2006
Springer
15 years 6 months ago
Temporal Logic Verification Using Simulation
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
Georgios E. Fainekos, Antoine Girard, George J. Pa...
154
Voted
GECCO
2006
Springer
165views Optimization» more  GECCO 2006»
15 years 6 months ago
Comparing mathematical models on the problem of network inference
In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different mathemat...
Christian Spieth, Nadine Hassis, Felix Streichert
136
Voted
GECCO
2006
Springer
181views Optimization» more  GECCO 2006»
15 years 6 months ago
Robustness in cooperative coevolution
Though recent analysis of traditional cooperative coevolutionary algorithms (CCEAs) casts doubt on their suitability for static optimization tasks, our experience is that the algo...
R. Paul Wiegand, Mitchell A. Potter