2229 search results - page 97 / 446 » On Reporting Fold Differences |
VLSID
2003
IEEE
14 years 1 months ago
2003
IEEE
— This paper reports a cryptosystem designed for security of embedded systems. It is based on the theory of Cellular Automata(CA). The Cellular Automata based Cryptosystem(CAC) e...
ITNG
2010
IEEE
14 years 1 months ago
2010
IEEE
—There are several institutions that accredit educational programs and require documentation to ensure that an educational program regularly meets certain criteria. This paper fo...
CAV
2004
Springer
13 years 12 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
ESEM
2008
ACM
13 years 10 months ago
2008
ACM
Regression testing is the verification that previously functioning software remains after a change. In this paper we report on a systematic review of empirical evaluations of regr...
LREC
2010
13 years 9 months ago
2010
Typical broadcast material contains not only studio-recorded texts read by trained speakers, but also spontaneous and dialect speech, debates with cross-talk, voice-overs, and on-...