Sciweavers

2870 search results - page 295 / 574
» Synchronization of multi-agent systems
Sort
View
IPPS
1998
IEEE
15 years 8 months ago
Self-Testing Fault-Tolerant Real-Time Systems
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
M. Rooholamini, Seyed H. Hosseini
117
Voted
COOPIS
2004
IEEE
15 years 8 months ago
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
Olivier Maréchal, Pascal Poizat, Jean-Claud...
ISVC
2010
Springer
15 years 5 months ago
Single camera stereo system using prism and mirrors
Stereo and 3D reconstruction are used by many applications such as object modeling, facial expression studies and human motion analysis. But synchronizing multiple high frame rate ...
Gowri Somanath, Rohith MV, Chandra Kambhamettu
135
Voted
IJON
2000
72views more  IJON 2000»
15 years 4 months ago
Delay adaptation in the nervous system
Time delays are ubiquitous in the nervous system. Empirical "ndings suggest that time delays are adapted when considering the synchronous activity of neurons. We introduce a ...
Christian W. Eurich, Klaus Pawelzik, Udo Ernst, An...
COMCOM
1998
117views more  COMCOM 1998»
15 years 4 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