1179 search results - page 60 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
153
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
120
Voted
HIPC
2005
Springer
15 years 9 months ago
2005
Springer
We recently proposed a new approach to parallelization, by decomposing the time domain, instead of the conventional space domain. This improves latency tolerance, and we demonstrat...
124
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— High-rate space-time-frequency block codes (STFBC) are promising for achieving high bandwidth efficiency, low overhead and latency. Recently, a class of low-complexity STFBC m...
139
Voted
MOBICOM
1997
ACM
15 years 7 months ago
1997
ACM
With the increasing popularity of portable wireless computers, mechanisms to efficiently transmit information to such clients are of significant interest. The environmentundercons...
118
Voted
ISCC
2005
IEEE
15 years 9 months ago
2005
IEEE
We report an innovative solely optical architecture to implement the centralized wavelength conversion module of the CWC (Controlled Wavelength Conversion) protocol [1]. The propo...