318 search results - page 47 / 64 » An Experimental Ambiguity Detection Tool |
WCRE
2002
IEEE
14 years 27 days ago
2002
IEEE
Machine code disassembly routines form a fundamental component of software systems that statically analyze or modify executable programs. The task of disassembly is complicated by...
ISSTA
2009
ACM
14 years 20 days ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
DAGM
2001
Springer
14 years 15 days ago
2001
Springer
A complete processing chain for visual object recognition is described in this paper. The system automatically detects individual objects on an assembly line, identifies their typ...
CAISE
1999
Springer
14 years 9 days ago
1999
Springer
Abstract. A global Data warehouse (DW) integrates data from multiple distributed heterogeneous databases and other information sources. DW can be abstractly seen as a set of materi...
ITC
1998
IEEE
14 years 7 days ago
1998
IEEE
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...