Sciweavers

662 search results - page 59 / 133
» Classified Stable Matching
Sort
View
DC
2007
15 years 3 months ago
The overhead of consensus failure recovery
Abstract Many reliable distributed systems are consensusbased and typically operate under two modes: a fast normal mode in failure-free synchronous periods, and a slower recovery m...
Partha Dutta, Rachid Guerraoui, Idit Keidar
112
Voted
BC
2004
73views more  BC 2004»
15 years 3 months ago
Dynamics and stability of insect locomotion: a hexapedal model for horizontal plane motions
We develop a simple hexapedal model for the dynamics of insect locomotion in the horizontal plane. Each leg is a linear spring endowed with two inputs, controlling force-free lengt...
Justin E. Seipel, Philip J. Holmes, Robert J. Full
GLOBECOM
2006
IEEE
15 years 10 months ago
Packet Delay-Aware Scheduling in Input Queued Switches
Abstract— Virtual Output Queuing is widely used by highspeed packet switches to overcome head-of-line blocking. This is done by means of matching algorithms. In fixed-length VOQ...
Yihan Li, Shivendra S. Panwar, H. Jonathan Chao, J...
HYBRID
2000
Springer
15 years 7 months ago
Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
Alberto Bemporad, Fabio Danilo Torrisi, Manfred Mo...
145
Voted
ICCV
2009
IEEE
16 years 8 months ago
Correlated Probabilistic Trajectories for Pedestrian Motion Detection
This paper introduces an algorithm for detecting walking motion using point trajectories in video sequences. Given a number of point trajectories, we identify those which are sp...
Frank Perbet, Atsuto Maki, Bjorn Stenger