Sciweavers

2272 search results - page 312 / 455
» Validity Invariants and Effects
Sort
View
IROS
2006
IEEE
104views Robotics» more  IROS 2006»
15 years 10 months ago
Resource Management with RFID Technology in Automatic Warehouse System
— Warehouse operation has become a critical activity in supply chain to outperform competitors on customer service, lead times and costs. However, managers often meet difficulti...
Guidong Liu, Wensheng Yu, Yu Liu
IROS
2006
IEEE
136views Robotics» more  IROS 2006»
15 years 10 months ago
Adaptive Interacting Multiple Models applied on pedestrian tracking in car parks
— To address perception problems we must be able to track dynamics targets of the environment. An important issue of tracking is filtering problem in which estimates of the targ...
Julien Burlet, Olivier Aycard, Anne Spalanzani, Ch...
LCN
2006
IEEE
15 years 10 months ago
Packet Dispersion in IEEE 802.11 Wireless Networks
— Packet dispersion techniques have been commonly used to estimate bandwidth in wired networks. However, current packet dispersion techniques were developed for wired network env...
Mingzhe Li, Mark Claypool, Robert E. Kinicki
ISSTA
2006
ACM
15 years 10 months ago
Producing scheduling that causes concurrent programs to fail
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel...
NETGAMES
2006
ACM
15 years 10 months ago
Count down protocol: asynchronous consistent protocol in P2P virtual ball game
This paper studies a way to improve consistency of states in a ball game typed DVE with lag, in P2P architecture. We also study how to control shared objects in real-time in a ser...
Yoshihiro Kawano, Tatsuhiro Yonekura