1151 search results - page 99 / 231 » Modelling Digital Circuits Problems with Set Constraints |
WEBDB
2010
Springer
14 years 3 months ago
2010
Springer
The transition of search engine usersā intents has been studied for a long time. The knowledge of intent transition, once discovered, can yield a better understanding of how diļ...
ICCAD
2003
IEEE
14 years 3 months ago
2003
IEEE
The impact of power supply integrity on a design has become a critical issue, not only for functional verification, but also for performance verification. Traditional analysis has...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
ā This paper develops a novel robust control method for linear systems subject to additive and bounded disturbances. The approach is based on constraint tightening method. The pr...
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. A prominent source of complexity in the veriļ¬cation of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
DAC
2005
ACM
14 years 4 days ago
2005
ACM
This paper presents a novel placement algorithm for timing optimization based on a new and powerful concept, which we term differential timing analysis. Recognizing that accurate ...