3107 search results - page 343 / 622 » Error-Correcting Source Code |
131
click to vote
AROBOTS
2006
15 years 4 months ago
2006
Two basic tasks must be performed by an olfactory robot tracking a specific odor source : navigate in a turbulent odor plume and recognize an odor regardless of its concentration....
123
click to vote
JUCS
2008
15 years 4 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
148
click to vote
LISP
2008
15 years 4 months ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
156
Voted
IJNSEC
2007
15 years 3 months ago
2007
Deniable authentication protocol is different from traditional authentication protocol in that the intended receiver can authenticate the source of a given message, but cannot pr...
163
click to vote
PDP
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Continuously reducing transistor sizes and aggressive low power operating modes employed by modern architectures tend to increase transient error rates. Concurrently, mu...