Sciweavers

3053 search results - page 499 / 611
» Performance of Generative Programming Based Protocol Impleme...
Sort
View
GECCO
2009
Springer
15 years 7 months ago
NEAT in increasingly non-linear control situations
Evolution of neural networks, as implemented in NEAT, has proven itself successful on a variety of low-level control problems such as pole balancing and vehicle control. Nonethele...
Matthias J. Linhardt, Martin V. Butz
FTCS
1996
132views more  FTCS 1996»
15 years 3 months ago
An Approach towards Benchmarking of Fault-Tolerant Commercial Systems
This paper presents a benchmark for dependablesystems. The benchmark consists of two metrics, number of catastrophic incidents and performance degradation, which are obtained by a...
Timothy K. Tsai, Ravishankar K. Iyer, Doug Jewitt
122
Voted
BMCBI
2008
126views more  BMCBI 2008»
15 years 2 months ago
FCI: an R-based algorithm for evaluating uncertainty of absolute real-time PCR quantification
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...
Paolo Verderio, Sara Pizzamiglio, Fabio Gallo, Sim...
160
Voted
CADE
1998
Springer
15 years 6 months ago
System Description: card TAP: The First Theorem Prover on a Smart Card
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
Rajeev Goré, Joachim Posegga, Andrew Slater...
136
Voted
MICRO
2009
IEEE
168views Hardware» more  MICRO 2009»
15 years 9 months ago
Ordering decoupled metadata accesses in multiprocessors
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
Hari Kannan