1585 search results - page 226 / 317 » A framework for computer-aided validation |
131
Voted
CISS
2007
IEEE
15 years 10 months ago
2007
IEEE
—Network coding and cooperative diversity have each extensively been explored in the literature as a means to substantially improve the performance of wireless networks. Yet, lit...
115
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
142
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we propose a new framework for the study of cellular networks called the fluid model and we derive from this model analytical formulas for interference, outage ...
125
click to vote
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
We describe an efficient, top-down strategy for overlap removal and floorplan repair which repairs overlaps in floorplans produced by placement algorithms or rough floorplanni...
133
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
– Shared-backup path protection (SBPP) has been widely studied in the GMPLS networks due to its efficient spare capacity sharing and flexibility in service provisioning. This pap...