116 search results - page 5 / 24 » concurrency 2011 |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
The scarcity of available multi-track recordings constitutes a severe constraint on the training of probabilistic models for voice extraction from polyphonic music. We propose a n...
152
click to vote
ESOP
2011
Springer
14 years 28 days ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
105
Voted
EUROCRYPT
2011
Springer
14 years 28 days 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...
112
click to vote
ICALP
2011
Springer
14 years 27 days ago
2011
Springer
-Preserving Atomicity Abstraction Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 University of Oxford Modern concurrent algorithms are usually encapsulated in libr...
ESORICS
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. With outsourcing emerging as a successful paradigm for delegating data and service management to third parties, the problem of guaranteeing proper privacy protection agai...