Sciweavers

713 search results - page 53 / 143
» Fault Analysis of a Distributed Flight Control System
Sort
View
CLOUD
2010
ACM
15 years 4 months ago
Lithium: virtual machine storage for the cloud
To address the limitations of centralized shared storage for cloud computing, we are building Lithium, a distributed storage system designed specifically for virtualization workl...
Jacob Gorm Hansen, Eric Jul
COMPSAC
2006
IEEE
15 years 5 months ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
PAMI
2008
183views more  PAMI 2008»
14 years 11 months ago
Shape-and-Behavior Encoded Tracking of Bee Dances
Behavior analysis of social insects has garnered impetus in recent years and has led to some advances in fields like control systems, flight navigation etc. Manual labeling of ins...
Ashok Veeraraghavan, Rama Chellappa, Mandyam Srini...
IPPS
2005
IEEE
15 years 5 months ago
The Applicability of Adaptive Control Theory to QoS Design: Limitations and Solutions
Due to the increasing complexity, the behavior of large-scale distributed systems becomes difficult to predict. The ability of on-line identification and autotuning of adaptive co...
Keqiang Wu, David J. Lilja, Haowei Bai
ISCA
2007
IEEE
217views Hardware» more  ISCA 2007»
14 years 11 months ago
Parallel Processing of High-Dimensional Remote Sensing Images Using Cluster Computer Architectures
Hyperspectral sensors represent the most advanced instruments currently available for remote sensing of the Earth. The high spatial and spectral resolution of the images supplied ...
David Valencia, Antonio Plaza, Pablo Martín...