5269 search results - page 72 / 1054 » order 2007 |
124
Voted
ISQED
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a generalized block structure-preserving reduced order interconnect macromodeling method (BSPRIM). Our approach extends structure-preserving model order ...
121
Voted
ENTCS
2007
15 years 3 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
142
Voted
KDD
2007
ACM
16 years 4 months ago
2007
ACM
Abstract. As more and more person-specific data like health information becomes available, increasing attention is paid to confidentiality and privacy protection. One proposed mode...
240
Voted
VLSI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
120
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Window growth function for congestion control is a strong determinant of protocol behaviors, especially its second and higher-order behaviors associated with the distribution o...