1965 search results - page 320 / 393 » Layered Design Visualisation |
141
Voted
GLOBECOM
2007
IEEE
15 years 5 months ago
2007
IEEE
Recently, cooperative routing in wireless networks has gained much interest due to its ability to exploit the broadcast nature of the wireless medium in designing powerefficient ro...
105
Voted
GPCE
2007
Springer
15 years 5 months ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
105
click to vote
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
Dynamic Interactive Multimedia Scenes (DIMS) is the latest 3GPP multimedia standard aiming at the development and delivery of rich media services over mobile networks, specifically...
114
click to vote
HOTOS
2009
IEEE
15 years 5 months ago
2009
IEEE
Flash memory is the largest change to storage in recent history. To date, most research has focused on integrating flash as persistent storage in file systems, with little emphasi...
116
click to vote
ATVA
2004
Springer
15 years 5 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...