9067 search results - page 1630 / 1814 » Adaptive Model Checking |
191
click to vote
INFOCOM
2006
IEEE
16 years 27 days ago
2006
IEEE
— We present in this work a new mechanism based on an innovative hybrid approach for traffic and collision control in wireless ad hoc networks. We combine the well known equatio...
181
click to vote
INFOCOM
2006
IEEE
16 years 27 days ago
2006
IEEE
— In recent years, issues regarding the behavior of TCP in high-speed and long-distance networks have been extensively addressed in the networking research community, both becaus...
144
click to vote
INFOCOM
2006
IEEE
16 years 27 days ago
2006
IEEE
— Existing anycast routing protocols solely route packets to the closest group member. In this paper, we introduce density-based anycast routing, a new anycast routing strategy p...
205
click to vote
ISCA
2006
IEEE
16 years 27 days ago
2006
IEEE
A Co-Designed Virtual Machine allows designers to implement a processor via a combination of hardware and software. Dynamic binary translation converts code written for a conventi...
188
click to vote
ISCC
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...