1010 search results - page 149 / 202 » Logics for Contravariant Simulations |
ICDE
2008
IEEE
14 years 4 months ago
2008
IEEE
Recent years have seen a proliferation of work on the Semantic Web, an initiative to enable intelligent agents to reason about and utilize World Wide Web content and services. Con...
DFT
2007
IEEE
14 years 4 months ago
2007
IEEE
Decreasing feature sizes have led to an increased vulnerability of random logic to soft errors. A particle strike may cause a glitch or single event transient (SET) at the output ...
FUZZIEEE
2007
IEEE
14 years 4 months ago
2007
IEEE
The algorithm of on-line predictor from input-output data pairs will be proposed. In this paper, it proposed an approach to generate fuzzy rules of predictor from real-time input-o...
ISCAS
2007
IEEE
14 years 4 months ago
2007
IEEE
— Due to continuous technology scaling, the reduction of nodal capacitances and the lowering of power supply voltages result in an ever decreasing minimal charge capable of upset...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...