550 search results - page 27 / 110 » Complementarity of Error Detection Techniques |
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
AIED
2011
Springer
12 years 11 months ago
2011
Springer
A student is said to have committed a careless error when a student’s answer is wrong despite the fact that he or she knows the answer (Clements, 1982). In this paper, educationa...
CF
2004
ACM
14 years 1 months ago
2004
ACM
This paper discusses fault-tolerant techniques for SRAM-based FPGAs. These techniques can be based on circuit level modifications, with obvious modifications in the programmable a...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In many real-world applications of evolutionary computation, it is essential to reduce the number of fitness evaluations. To this end, computationally efficient models c...
VLSISP
2002
13 years 7 months ago
2002
A new and efficient class of nonlinear receivers is introduced for digital communication systems. These "iterated-decision" receivers use optimized multipass algorithms t...