4211 search results - page 695 / 843 » A formal approach to MASQ |
129
click to vote
DATE
2007
IEEE
16 years 25 days ago
2007
IEEE
An important aspect of Design for Yield for embedded SRAM is identifying the expected worst case behavior in order to guarantee that sufficient design margin is present. Previousl...
156
click to vote
DATE
2007
IEEE
16 years 25 days ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
170
click to vote
DEXAW
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper presents an information retrieval methodology which uses Formal Concept Analysis in conjunction with semantics to provide contextual answers to users’ queries. User f...
157
click to vote
HICSS
2007
IEEE
16 years 24 days ago
2007
IEEE
In 1996 Ward et al reported the results of their UK study into the state of practice in evaluating and realizing benefits from IS/IT investments. This paper presents new empirical...
158
click to vote
IAT
2007
IEEE
16 years 24 days ago
2007
IEEE
It is only recently that rational exchange schemes have been considered as an alternative solution to the exchange problem. A rational exchange protocol cannot provide fairness bu...