103 search results - page 21 / 21 » Approximate Symbolic Model Checking for Incomplete Designs |
FCCM
2003
IEEE
13 years 11 months ago
2003
IEEE
Hardware simulation of channel codes offers the potential of improving code evaluation speed by orders of magnitude over workstation- or PC-based simulation. We describe a hardwar...
INFOCOM
2008
IEEE
14 years 5 days ago
2008
IEEE
—Rate allocation is a fundamental problem in the operation of a wireless network because of the necessity to schedule the operation of mutually interfering links between the node...
SMA
2003
ACM
13 years 11 months ago
2003
ACM
The prediction of collisions amongst N rigid objects may be reduced to a series of computations of the time to first contact for all pairs of objects. Simple enclosing bounds and...