Sciweavers

315 search results - page 31 / 63
» Homing and Synchronizing Sequences
Sort
View
FORTE
2007
14 years 12 days ago
Event Correlation with Boxed Pomsets
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
Thomas Gazagnaire, Loïc Hélouët
VIP
2001
14 years 9 days ago
Modelling and Design of VAML
Non-linear interactive access to video is very important in video information management. The term non-linear refers to that there are more than one video streams delivering to us...
Congrong Liu, Jesse S. Jin
PODC
2000
ACM
14 years 3 months ago
Debugging distributed programs using controlled re-execution
Distributed programs are hard to write. A distributed debugger equipped with the mechanism to re-execute the traced computation in a controlled fashion can greatly facilitate the ...
Neeraj Mittal, Vijay K. Garg
TACAS
2005
Springer
108views Algorithms» more  TACAS 2005»
14 years 4 months ago
On Some Transformation Invariants Under Retiming and Resynthesis
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
Jie-Hong Roland Jiang
ICPR
2006
IEEE
15 years 1 days ago
A Verification Method for Viewpoint Invariant Sign Language Recognition
Viewpoint variance is one of the inevitable problems in vision based sign language recognition. However, most researchers avoid this problem by assuming a special view, especially...
Qi Wang, Xilin Chen, Chunli Wang, Wen Gao