Sciweavers

4433 search results - page 649 / 887
» Dynamic Optimization of Micro-Operations
Sort
View
CORR
2010
Springer
147views Education» more  CORR 2010»
15 years 6 months ago
Safety Message Power Transmission Control for Vehicular Ad hoc Networks
: Problem statement: Vehicular Ad hoc Networks (VANET) is one of the most challenging research area in the field of Mobile Ad Hoc Networks. Approach: In this research we proposed a...
Ghassan Samara, Sureswaran Ramadas, Wafaa A. H. Al...
TODAES
2008
115views more  TODAES 2008»
15 years 6 months ago
Automata-based assertion-checker synthesis of PSL properties
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
Marc Boule, Zeljko Zilic
HAPTICS
2010
IEEE
15 years 5 months ago
Force-Based Calibration of a Particle System for Realistic Simulation of Nonlinear and Viscoelastic Soft Tissue Behavior
We present a new approach for realistic visio-haptic simulation of nonlinear and viscoelastic behavior of an organ tissue using a particle model. The spring and damper coefficients...
Bektas Baybora Baran, Cagatay Basdogan
ICRA
2010
IEEE
185views Robotics» more  ICRA 2010»
15 years 5 months ago
Camera parameters auto-adjusting technique for robust robot vision
— How to make vision system work robustly under dynamic light conditions is still a challenging research focus in computer/robot vision community. In this paper, a novel camera p...
Huimin Lu, Hui Zhang, Shaowu Yang, Zhiqiang Zheng
INFOCOM
2010
IEEE
15 years 5 months ago
Overcoming Failures: Fault-tolerance and Logical Centralization in Clean-Slate Network Management
—We investigate the design of a clean-slate control and nt plane for data networks using the abstraction of 4D architecture, utilizing and extending 4D’s concept of logically c...
Hammad Iqbal, Taieb Znati