5015 search results - page 514 / 1003 » Model Checking a Path |
209
click to vote
CONEXT
2006
ACM
16 years 26 days ago
2006
ACM
Modeling TCP is fundamental for understanding Internet behavior. The reason is that TCP is responsible for carrying a huge quota of the Internet traffic. During last decade many a...
199
click to vote
NIPS
2001
15 years 8 months ago
2001
High dimensional data that lies on or near a low dimensional manifold can be described by a collection of local linear models. Such a description, however, does not provide a glob...
199
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
199
click to vote
CN
2010
15 years 7 months ago
2010
Simulation is a cost effective, fast and flexible alternative to test-beds or practical deployment for evaluating the characteristics and potential of mobile ad hoc networks. Sinc...
200
click to vote
ICS
2007
Tsinghua U.
16 years 1 months ago
2007
Tsinghua U.
This paper investigates helper threads that improve performance by prefetching data on behalf of an application’s main thread. The focus is data prefetch helper threads that lac...