4305 search results - page 113 / 861 » The Test of Time |
165
click to vote
DLOG
2009
15 years 3 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
160
click to vote
ICCD
2006
IEEE
16 years 3 days ago
2006
IEEE
—This paper introduces a new class of sequential circuits called acyclically testable sequential circuits which is wider than the class of acyclic sequential circuits but whose t...
159
click to vote
ATS
2000
IEEE
15 years 10 months ago
2000
IEEE
Testing of embedded cores is very difficult in SOC (system-on-a-chip), since the core user may not know the gate level implementation of the core, and the controllability and obse...
160
click to vote
ANLP
2000
15 years 7 months ago
2000
This paper explores the usefulness of a technique from software engineering, namely code instrumentation, for the development of large-scale natural language grammars. Information...
140
Voted
ICSM
2003
IEEE
15 years 11 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...