980 search results - page 164 / 196 » Logical Testing |
105
click to vote
FPGA
2003
ACM
15 years 7 months ago
2003
ACM
This paper proposes a new high-level technique for designing fault tolerant systems in SRAM-based FPGAs, without modifications in the FPGA architecture. Traditionally, TMR has bee...
138
click to vote
ICTAI
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper addresses the issue of effective and efficient content based image retrieval by presenting a novel indexing and retrieval methodology that integrates color, texture, an...
124
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
We investigate the problem of creating and analyzing samples of relational databases to find relationships between string-valued attributes. Our focus is on identifying attribute...
GPCE
2009
Springer
15 years 6 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
137
click to vote
AGP
1999
IEEE
15 years 6 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...