1205 search results - page 104 / 241 » From high-level component-based models to distributed implem... |
108
Voted
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
106
click to vote
PODC
1990
ACM
15 years 4 months ago
1990
ACM
Emulators that translate algorithms from the shared-memory model to two different message-passing models are presented. Both are achieved by implementing a wait-free, atomic, singl...
123
Voted
ICARCV
2006
IEEE
15 years 6 months ago
2006
IEEE
— The Bayesian occupancy filter (BOF) [1] has achieved promising results in the object tracking applications. This paper presents a new development of BOF which inherits origina...
97
Voted
EUROCRYPT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...
94
Voted
ICCV
2003
IEEE
16 years 2 months ago
2003
IEEE
We present a novel method for tracking objects by combining density matching with shape priors. Density matching is a tracking method which operates by maximizing the Bhattacharyy...