4052 search results - page 411 / 811 » integration 2007 |
156
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Due to the widespread demands for efficient SAT solvers in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. We pr...
167
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Design closure becomes hard to achieve at physical layout stage due to the emergence of long global interconnects. Consequently, interconnect planning needs to be integrated in hi...
177
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
178
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
As wireless network infrastructure becomes more reliable, an increasing number of traditional desktop applications, beyond common web browsing, migrate to portable devices. Since ...
170
click to vote
DIGITEL
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a multi-component; distributed system (MuDiS) based solution for building a virtual learning environment which combines a wide range of technology, tools and d...