2435 search results - page 457 / 487 » System Exploration of SystemC Designs |
123
click to vote
MOBIHOC
2008
ACM
16 years 3 months ago
2008
ACM
For long, node cooperation has been exploited as a data relaying mechanism. However, the wireless channel allows for much richer interaction between nodes. One such scenario is in...
143
click to vote
ICCAD
2003
IEEE
16 years 22 days ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
136
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper considers the design of opportunistic packet schedulers for users sharing a time-varying wireless channel from the performance and the robustness points of view. Firs...
161
click to vote
JCDL
2009
ACM
15 years 10 months ago
2009
ACM
The amount of scientific material available electronically is forever increasing. This makes reading the published literature, whether to stay up-to-date on a topic or to get up ...
126
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Microencapsulated electrophoretic displays (EPDs) are quickly emerging as an important technology for use in battery-powered portable computing devices. Thanks to bistability and ...