9067 search results - page 1634 / 1814 » Adaptive Model Checking |
160
click to vote
INFOCOM
2005
IEEE
16 years 14 days ago
2005
IEEE
— This paper addresses the topology control problem for large wireless networks that are modelled by an infinite point process on a two-dimensional plane. Topology control is th...
192
click to vote
ITRE
2005
IEEE
16 years 14 days ago
2005
IEEE
— Wireless networks are characterized by bursty and location-dependent errors. Although many fair scheduling methods have been proposed to address these issues, most of them assu...
160
click to vote
WIOPT
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract— In this paper we investigate Radio Resource Management strategies for multimedia networks driven by economic aspects such as users’ utility and service pricing. To th...
188
click to vote
ACMMSP
2005
ACM
16 years 13 days ago
2005
ACM
In this work we investigate the impact of evolving memory system features, such as large on-chip caches, automatic prefetch, and the growing distance to main memory on 3D stencil ...
136
click to vote
ASPDAC
2005
ACM
16 years 13 days ago
2005
ACM
3-D IC has a great potential for improving circuit performance and degree of integration. It is also an attractive platform for system-on-chip or system-in-package solutions. A cr...