1471 search results - page 13 / 295 » Composing concurrency control |
NIME
2004
Springer
15 years 3 months ago
2004
Springer
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...
CF
2010
ACM
14 years 7 months ago
2010
ACM
Lock-free data objects offer several advantages over their blocking counterparts, such as being immune to deadlocks and convoying and, more importantly, being highly concurrent. H...
105
click to vote
EUROCRYPT
2011
Springer
14 years 1 months ago
2011
Springer
We define the BQS-UC model, a variant of the UC model, that deals with protocols in the bounded quantum storage model. We present a statistically secure commitment protocol in th...
RTSS
1992
IEEE
15 years 1 months ago
1992
IEEE
FOSSACS
2012
Springer
13 years 5 months ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...