1054 search results - page 151 / 211 » A Formalization of the Turing Test |
149
click to vote
LOGCOM
2010
14 years 11 months ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
139
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...
135
click to vote
ASYNC
2000
IEEE
15 years 9 months ago
2000
IEEE
Fault Abstraction and Collapsing Framework for Asynchronous Circuits Philip P. Shirvani, Subhasish Mitra Center for Reliable Computing Stanford University Stanford, CA Jo C. Eberge...
160
click to vote
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
137
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...