1640 search results - page 68 / 328 » Design of Synchronous Action Systems |
181
Voted
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
In this paper, we present a novel approach for human action recognition with histograms of 3D joint locations (HOJ3D) as a compact representation of postures. We extract the 3D sk...
105
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
The problem of transaction synchronization is important in XMLbased applications based on client-server model, especially when both server and clients are allowed to store data. W...
134
Voted
SIGSOFT
2003
ACM
15 years 8 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
103
Voted
ASYNC
2002
IEEE
15 years 7 months ago
2002
IEEE
We present a method for synchronizing pausible clocks in GALS (Globally Asynchronous, Locally Synchronous) systems. In contrast to most conventional GALS schemes the method is not...
116
Voted
PODC
1994
ACM
15 years 6 months ago
1994
ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...