2488 search results - page 401 / 498 » An improvement in formal verification |
103
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...
129
click to vote
CIKM
2004
Springer
15 years 7 months ago
2004
Springer
As the number of available Web pages grows, users experience increasing difficulty finding documents relevant to their interests. One of the underlying reasons for this is that mo...
102
click to vote
ISPD
2003
ACM
15 years 6 months ago
2003
ACM
: Recent years have seen significant research in finding closed form expressions for the delay of an RC circuit that improves upon the Elmore delay model. However, several of these...
115
click to vote
DSN
2002
IEEE
15 years 6 months ago
2002
IEEE
Concentration of design effort for current single-chip Commercial-Off-The-Shelf (COTS) microprocessors has been directed towards performance. Reliability has not been the primary ...
115
click to vote
ACMICEC
2007
ACM
15 years 5 months ago
2007
ACM
Recommender systems are intelligent E-commerce applications that assist users in a decision-making process by offering personalized product recommendations during an interaction s...