8828 search results - page 1706 / 1766 » Formal methods in practice |
BIBE
2006
IEEE
15 years 4 months ago
2006
IEEE
An interesting and important, but largely ignored question associated with the ML method is whether there exists only a single maximum likelihood point for a given phylogenetic tr...
DATE
2006
IEEE
15 years 4 months ago
2006
IEEE
—The clock distribution network is a key component of any synchronous VLSI design. High power dissipation and pressure volume temperature-induced variations in clock skew have st...
DATE
2006
IEEE
15 years 4 months ago
2006
IEEE
Ever-increasing integrated circuit (IC) power densities and peak temperatures threaten reliability, performance, and economical cooling. To address these challenges, thermal analy...
GLOBECOM
2006
IEEE
15 years 4 months ago
2006
IEEE
— The joint cooperative processing of transmitted signal from several multiple-input multiple-output (MIMO) base station (BS) antenna heads is considered for users located within...
ICAC
2006
IEEE
15 years 4 months ago
2006
IEEE
— Recent advances have demonstrated the potential benefits of coordinated management of thermal load in data centers, including reduced cooling costs and improved resistance to ...