1205 search results - page 104 / 241 » From high-level component-based models to distributed implem... |
CONCUR
2000
Springer
14 years 1 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...
PODC
1990
ACM
14 years 1 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...
ICARCV
2006
IEEE
14 years 3 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...
EUROCRYPT
2010
Springer
14 years 1 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...
ICCV
2003
IEEE
14 years 11 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...