150 search results - page 15 / 30 » A Calculus for Relaxed Memory |
WDAG
2010
Springer
14 years 9 months ago
2010
Springer
We argue that traditional synchronization objects, such as locks, conditions, and atomic/volatile variables, should be defined in terms of transactions, rather than the other way ...
ASIAN
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. In a process calculus, an agent guarantees responsive usage of a channel name r if a communication along r is guaranteed to eventually take place. Responsiveness is impor...
ENTCS
2007
14 years 10 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Sparse representation has found applications in numerous domains and recent developments have been focused on the convex relaxation of the 0-norm minimization for sparse coding (i...
CHI
2011
ACM
14 years 2 months ago
2011
ACM
This paper reports initial results from a study exploring whether training in meditation or relaxation can improve office workers’ ability to multitask on a computer more effect...