5707 search results - page 743 / 1142 » Symbolic Simulation - Techniques and Applications |
197
click to vote
AGP
2003
IEEE
16 years 27 days ago
2003
IEEE
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
233
click to vote
DATE
2003
IEEE
16 years 27 days ago
2003
IEEE
The new standard DRM for digital radio broadcast in AM band requires integrated devices for radio receivers at low cost and very low power consumption. A chipset is currently desi...
219
click to vote
INFOCOM
2003
IEEE
16 years 26 days ago
2003
IEEE
—A methodology is presented for integrating effective-bandwidth-based routing for QoS-sensitive traffic and datagram routing of the best-effort traffic. To prevent excessive dela...
225
click to vote
ISCC
2003
IEEE
16 years 26 days ago
2003
IEEE
Multiple Description (MD) and Layered Coding (LC) are two source-coding approaches proposed for adaptive and robust video streaming over lossy networks. Both streaming methods aim...
204
click to vote
ISCC
2003
IEEE
16 years 26 days ago
2003
IEEE
Host-based rerouting mechanism is a routing scheme that stores and forwards data in application layer. With this, users can communicate in a indirect way. Thus, identity informati...