4018 search results - page 638 / 804 » Process algebra for performance evaluation |
128
click to vote
CLUSTER
2002
IEEE
15 years 9 months ago
2002
IEEE
With applications becoming larger and the increasing load on high performance systems, it is important to tackle the I/O bottleneck problem from several angles. It is not only ess...
149
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
163
click to vote
SACMAT
2010
ACM
15 years 9 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
141
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
126
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Countless challenges to preserving a user’s location privacy exist and have become more important than ever before with the proliferation of handheld devices and the pervasive...