Sciweavers

3348 search results - page 291 / 670
» Around and Around
Sort
View
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
16 years 1 months ago
Sensitive state-space exploration
— In this paper, we describe a simulation-based approach to the verification of high dimensional nonlinear systems subject to disturbances and uncertainty in the initial conditi...
Thao Dang, Alexandre Donzé, Oded Maler, Noa...
CDC
2008
IEEE
158views Control Systems» more  CDC 2008»
16 years 1 months ago
Cooperative control of an autonomous sampling network in an external flow field
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...
Derek A. Paley
CLUSTER
2008
IEEE
16 years 1 months ago
Live and incremental whole-system migration of virtual machines using block-bitmap
—In this paper, we describe a whole-system live migration scheme, which transfers the whole system run-time state, including CPU state, memory data, and local disk storage, of th...
Yingwei Luo, Binbin Zhang, Xiaolin Wang, Zhenlin W...
COMPSAC
2008
IEEE
16 years 1 months ago
Parallel Table Lookup for Next Generation Internet
The rapid growth of Internet population leads to the shortage of IP addresses. The next generation IP protocol, IPv6, which extends the IP address length from 32 bits to 128 bits,...
Li-Che Hung, Yaw-Chung Chen
CVPR
2008
IEEE
16 years 1 months ago
Object image retrieval by exploiting online knowledge resources
We describe a method to retrieve images found on web pages with specified object class labels, using an analysis of text around the image and of image appearance. Our method dete...
Gang Wang, David A. Forsyth