Sciweavers

799 search results - page 75 / 160
» Improving the feasibility pump
Sort
View
FM
2009
Springer
157views Formal Methods» more  FM 2009»
15 years 5 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
ICC
2008
IEEE
236views Communications» more  ICC 2008»
15 years 5 months ago
Carrier Sensing Based Multiple Access Protocols for Cognitive Radio Networks
—Cognitive radio (CR) dynamically accessing inactive radio spectrum of the primary system (PS) at link level has attracted a lot of research interests. The cognitive radio networ...
Shao-Yu Lien, Chih-Cheng Tseng, Kwang-Cheng Chen
ICCCN
2008
IEEE
15 years 5 months ago
Fingerprint-Based Location Estimation with Virtual Access Points
— Location fingerprinting techniques generally make use of existing wireless network infrastructure. Consequently, the positions of the access points (APs), which constitute an ...
A. K. M. Mahtab Hossain, Hien Nguyen Van, Wee-Seng...
IROS
2008
IEEE
108views Robotics» more  IROS 2008»
15 years 5 months ago
Synchronous imitation control for biped robot based on wearable human motion analysis system
— To achieve accurate and efficient interaction with humans, robot training is indispensable to make robot cooperate with different host. We are focusing on development of a huma...
Tao Liu, H. Utsunomiya, Yoshio Inoue, Kyoko Shibat...
CLUSTER
2007
IEEE
15 years 5 months ago
Effects of packet pacing for MPI programs in a Grid environment
— Improving the performance of TCP communication is the key to the successful deployment of MPI programs in a Grid environment in which multiple clusters are connected through hi...
Ryousei Takano, Motohiko Matsuda, Tomohiro Kudoh, ...