Sciweavers

257 search results - page 8 / 52
» Destructors, finalizers, and synchronization
Sort
View
ICALP
2010
Springer
15 years 2 months ago
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...
Ivan Lanese, Jorge A. Pérez, Davide Sangior...
SIES
2007
IEEE
15 years 3 months ago
Synchronization for an optimal real-time scheduling algorithm on multiprocessors
— We consider several object sharing synchronization mechanisms including lock-based, lock-free, and wait-free sharing for LNREF [1], an optimal real-time scheduling algorithm on...
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
IROS
2006
IEEE
139views Robotics» more  IROS 2006»
15 years 3 months ago
Motion Synchronization in Mobile Robot Networks: Robustness
– Motion synchronization in mobile robot networks is a fundamental task in distributed multi-robot collaboration. In this paper, we investigate the robustness of synchronous spee...
Fei Zhang, Weidong Chen, Yugeng Xi
ATS
1997
IEEE
87views Hardware» more  ATS 1997»
15 years 1 months ago
A Genetic Algorithm for the Computation of Initialization Sequences for Synchronous Sequential Circuits
Testing circuits which do not include a global reset signal requires either complex ATPG algorithms based on 9- or even 256-valued algebras, or some suitable method to generate in...
Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo,...
64
Voted
ICPR
2008
IEEE
15 years 11 months ago
Recovering audio-to-video synchronization by audiovisual correlation analysis
Audio-to-video synchronization (AV-sync) may drift and is difficult to recover without dedicated human effort. In this work, we develop an interactive method to recover the drifte...
Yoichi Sato, Yuyu Liu