2623 search results - page 405 / 525 » tools 2010 |
GLOBECOM
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--A common concept to mitigate the effects of spectrum scarcity is to allow opportunistic dynamic spectrum access (DSA) to licensed frequency bands. In this context, the li...
GLOBECOM
2010
IEEE
13 years 8 months ago
2010
IEEE
While in computer networks the number of possible protocol encapsulations is growing day after day, network administrators face ever increasing difficulties in selecting accurately...
GROUP
2010
ACM
13 years 8 months ago
2010
ACM
The difficulties remote participants of distributed meetings face are widely recognized. In this paper we describe the design of an avatar-based e-meeting support tool named Olymp...
ICCAD
2010
IEEE
13 years 8 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
ICCAD
2010
IEEE
13 years 8 months ago
2010
IEEE
In 3D integrated circuits through silicon vias (TSVs) are used to connect different dies stacked on top of each other. These TSV occupy silicon area and have significantly larger a...