3616 search results - page 517 / 724 » Conditional Memory Ordering |
151
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Standard concurrency control mechanisms offer a trade-off: Transactional memory approaches maximize concurrency, but suffer high overheads and cost for retrying in the case of act...
124
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract-- In this paper we study different distributed estimation schemes for stochastic discrete time linear systems where the communication between the sensors and the estimatio...
157
click to vote
MPC
2010
Springer
15 years 4 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
130
click to vote
DOCENG
2008
ACM
15 years 4 months ago
2008
ACM
Several scalable media codecs have been standardized in recent years to cope with heterogeneous usage conditions and to aim at always providing audio, video and image content in t...
138
click to vote
HCI
2007
15 years 4 months ago
2007
Mobile phones, with their increasing processing power and memory, are enabling a diversity of tasks. The traditional text entry method using keypad is falling short in numerous way...