136 search results - page 15 / 28 » Temporal Logics on Words with Multiple Data Values |
100
click to vote
IVC
2008
14 years 9 months ago
2008
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...
VLSID
2001
IEEE
15 years 10 months ago
2001
IEEE
In this paper, we propose a new transparent built-in self-test ( TBIST ) method to test multiple embedded memory arrays with various sizes in parallel. First, a new transparent tes...
RSCTC
1993
Springer
15 years 1 months ago
1993
Springer
: While the common kinds of uncertainties in databases (e.g., null values, disjunction, corrupt/missing data, domain mismatch, etc.) have been extensively studied, a relatively une...
100
click to vote
ICDE
2012
IEEE
13 years 7 days ago
2012
IEEE
—A facility for merging equivalent data streams can support multiple capabilities in a data stream management system (DSMS), such as query-plan switching and high availability. O...
TVLSI
2002
14 years 9 months ago
2002
In this paper, we propose a low-power approach to the design of embedded very long instruction word (VLIW) processor architectures based on the forwarding (or bypassing) hardware, ...