1446 search results - page 84 / 290 » Formal analysis of hardware requirements |
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—OFDM systems have gained utmost importance for wireless communications requiring ever higher data rates. The maximum data rate that can be achieved is, however, limited by the w...
ISQED
2007
IEEE
14 years 3 months ago
2007
IEEE
Design verification has become a bottleneck of modern designs. Recently, simulation-based random verification has attracted a lot of interests due to its effectiveness in uncoveri...
MSS
1999
IEEE
14 years 1 months ago
1999
IEEE
The High Performance Storage System (HPSS) is currently deployed on the open and secure networks at Los Alamos National Laboratory (LANL). Users of the Accelerated Strategic Compu...
ECBS
1997
IEEE
14 years 1 months ago
1997
IEEE
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. ...
ISCA
1995
IEEE
14 years 25 days ago
1995
IEEE
Modern high-performance architectures require extremely accurate branch prediction to overcome the performance limitations of conditional branches. We present a framework that cat...