Sciweavers

3823 search results - page 590 / 765
» Stability of Hybrid Systems
Sort
View
JFP
2010
107views more  JFP 2010»
15 years 5 months ago
Lightweight checkpointing for concurrent ML
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
Lukasz Ziarek, Suresh Jagannathan
DIALM
2010
ACM
194views Algorithms» more  DIALM 2010»
15 years 4 months ago
Prioritized gossip in vehicular networks
We present a method for using real world mobility traces to identify tractable theoretical models for the study of distributed algorithms in mobile networks. We validate the metho...
Alejandro Cornejo, Calvin C. Newport
PAMI
2011
15 years 1 months ago
View-Independent Action Recognition from Temporal Self-Similarities
— This paper addresses recognition of human actions under view changes. We explore self-similarities of action sequences over time and observe the striking stability of such meas...
Imran N. Junejo, Emilie Dexter, Ivan Laptev, Patri...
SIAMADS
2010
121views more  SIAMADS 2010»
15 years 1 months ago
Binocular Rivalry in a Competitive Neural Network with Synaptic Depression
We study binocular rivalry in a competitive neural network with synaptic depression. In particular, we consider two coupled hypercolums within primary visual cortex (V1), represent...
Zachary P. Kilpatrick, Paul C. Bressloff
CCS
2007
ACM
16 years 22 days ago
Non-volatile memory and disks: avenues for policy architectures
As computing models change, so too do the demands on storage. Distributed and virtualized systems introduce new vulnerabilities, assumptions, and performance requirements on disks...
Kevin R. B. Butler, Stephen E. McLaughlin, Patrick...