2052 search results - page 40 / 411 » Direct Combination |
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
136
click to vote
CSMR
2002
IEEE
15 years 7 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
126
click to vote
DSN
2002
IEEE
15 years 7 months ago
2002
IEEE
Protocols which solve agreement problems are essential building blocks for fault tolerant distributed applications. While many protocols have been published, little has been done ...
130
click to vote
ER
2006
Springer
15 years 5 months ago
2006
Springer
Ontologies on the Semantic Web are by nature decentralized. From the body of ontology mapping approaches, we can draw a conclusion that an effective approach to automate ontology m...
121
click to vote
SIGGRAPH
1995
ACM
15 years 5 months ago
1995
ACM
Monte Carlo integration is a powerful technique for the evaluation of difficult integrals. Applications in rendering include distribution ray tracing, Monte Carlo path tracing, a...