9110 search results - page 300 / 1822 » Formally-Based Design Evaluation |
171
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we present a performance evaluation of a wide-area cluster system based on a rewallenabled Globus metacomputing toolkit. In order to establish communication links ...
188
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
—Captchas are designed to be easy for humans but hard for machines. However, most recent research has focused only on making them hard for machines. In this paper, we present wha...
172
click to vote
FLAIRS
2007
15 years 9 months ago
2007
We are working on a project aimed at building next generation analyst support tools that focus analysts’ attention on the most critical and novel information found within the da...
181
click to vote
PEWASUN
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we present an experimental study conducted in 802.11based mesh networks of three existing rate adaptation algorithms. The aim of this study is twofold. On the one ha...
178
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: FCI is an R code for analyzing data from real-time PCR experiments. This algorithm estimates standard curve features as well as nucleic acid concentrations and confide...