Sciweavers

1785 search results - page 106 / 357
» Modeling Communication with Synchronized Environments
Sort
View
136
Voted
COMCOM
1998
117views more  COMCOM 1998»
15 years 3 months ago
Specification, validation, and verification of time-critical systems
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
Shiuh-Pyng Shieh, Jun-Nan Chen
145
Voted
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 1 months ago
Peer-to-peer control architecture for multiuser haptic collaboration over undirected delayed packet-switching network
— We propose a novel peer-to-peer distributed control architecture for shared haptic collaboration among remotely-located users over undirected packet-switching network (e.g. Int...
Dongjun Lee, Ke Huang
149
Voted
ICPPW
2002
IEEE
15 years 8 months ago
SNOW: Software Systems for Process Migration in High-Performance, Heterogeneous Distributed Environments
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
Kasidit Chanchio, Xian-He Sun
SMC
2007
IEEE
129views Control Systems» more  SMC 2007»
15 years 9 months ago
Using micro-climate sensing to enhance RF localization in assisted living environments
In this paper, we propose micro-climate sensing as an effective means of enhancing conventional RF-based localization. Our system targets people tracking applications in dynamic i...
Anthony Rowe, Zane Starr, Raj Rajkumar
FDL
2004
IEEE
15 years 7 months ago
A Functional Programming Framework of Heterogeneous Model of Computation for System Design
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shu...