915 search results - page 85 / 183 » Robustness in the Presence of Liveness |
167
click to vote
JCSS
2010
15 years 4 months ago
2010
Abstract. Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. A reset arc allows a transition to remove all tokens from a certain place when the transi...
176
click to vote
TIP
2010
15 years 4 months ago
2010
Abstract—We present the results of a recent large-scale subjective study of video quality on a collection of videos distorted by a variety of application-relevant processes. Meth...
170
click to vote
FAST
2009
15 years 4 months ago
2009
Clustered applications in storage area networks (SANs), widely adopted in enterprise datacenters, have traditionally relied on distributed locking protocols to coordinate concurre...
341
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Parents and children in families living with regular separation due to work develop strategies to manage being apart. We interviewed 14 pairs of parents and children (ages 7 – 1...
158
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Fluorescence microscopy is a powerful imaging tool for studying molecular dynamics in living cells. For quantitative motion analysis of subcellular structures robust and accurate ...