Sciweavers

4208 search results - page 579 / 842
» Challenges in Evaluating Distributed Algorithms
Sort
View
137
Voted
CAV
2009
Springer
176views Hardware» more  CAV 2009»
16 years 3 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
ASAP
2008
IEEE
96views Hardware» more  ASAP 2008»
15 years 9 months ago
Integer and floating-point constant multipliers for FPGAs
Reconfigurable circuits now have a capacity that allows them to be used as floating-point accelerators. They offer massive parallelism, but also the opportunity to design optimi...
Nicolas Brisebarre, Florent de Dinechin, Jean-Mich...
AVSS
2008
IEEE
15 years 9 months ago
Object and Scene-Centric Activity Detection Using State Occupancy Duration Modeling
We propose a video event analysis framework based on object segmentation and tracking, combined with a Hidden Semi-Markov Model (HSMM) that uses state occupancy duration modeling....
Murtaza Taj, Andrea Cavallaro
CDC
2008
IEEE
15 years 9 months ago
Effects of topology in networked systems: Stochastic methods and small worlds
— The topology of a networked control system has critical consequences for its performance. We provide first substantial examples on the effects of topology. Then we proceed to ...
John S. Baras, Pedram Hovareshti
GLOBECOM
2008
IEEE
15 years 9 months ago
Robustness Analysis of Source Localization Using Gaussianity Measure
Nowadays, the source localization has been widely applied for wireless sensor networks. The Gaussian mixture model has been adopted for maximum-likelihood (ML) source localization ...
Kun Yan, Hsiao-Chun Wu, S. S. Iyengar