Sciweavers

1886 search results - page 301 / 378
» Verifying and validating a simulation model
Sort
View
ACSD
2010
IEEE
255views Hardware» more  ACSD 2010»
15 years 1 months ago
From POOSL to UPPAAL: Transformation and Quantitative Analysis
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jac...
TSP
2010
14 years 10 months ago
Randomized and distributed self-configuration of wireless networks: two-layer Markov random fields and near-optimality
Abstract--This work studies the near-optimality versus the complexity of distributed configuration management for wireless networks. We first develop a global probabilistic graphic...
Sung-eok Jeon, Chuanyi Ji
CEC
2007
IEEE
15 years 9 months ago
A comprehensive formal framework for analyzing the behavior of nature-inspired routing protocols
—Nature-inspired routing protocols are becoming an active area of research. Researchers in the community follow a wn engineering philosophy: inspire, abstract, design, develop an...
Saira Zahid, Muhammad Shahzad, Syed Usman Ali, Mud...
118
Voted
GLOBECOM
2007
IEEE
15 years 9 months ago
Priority Collision Resolution - Distributed Coordination Function for Distributed Wireless Networks
— In distributed wireless access networks, the short-term unfairness of IEEE 802.11 Distributed Coordination Function (DCF) has been revealed by many works. In this paper, a modi...
Xiaohui Ye, Xin Liu, S. J. Ben Yoo, Zhi Ding
ICRA
2006
IEEE
60views Robotics» more  ICRA 2006»
15 years 9 months ago
Mechanism of Micro Manipulation using Oscillation
— In this paper, we analyze the mechanism of the phenomenon between an endeffector, a micro object and a substrate during a micro manipulation. In a micro range, the attracting f...
Tetsuyoh Watanabe, Zhongwei Jiang