13917 search results - page 2558 / 2784 » Abstraction of Probabilistic Systems |
211
click to vote
NFM
2011
15 years 2 months ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
236
click to vote
SIGMETRICS
2011
ACM
15 years 2 months ago
2011
ACM
We present a performance analysis and benchmarking study P2 “active” library, which provides an abstraction framework for the solution of parallel unstructured mesh applicatio...
206
click to vote
TIT
2011
15 years 2 months ago
2011
Abstract. In 1998, Blaze, Bleumer, and Strauss proposed a cryptographic primitive called proxy re-encryption, in which a proxy transforms – without seeing the corresponding plain...
229
click to vote
TMM
2011
15 years 2 months ago
2011
Abstract—We introduce a new algorithm for real-time interactive motion control and demonstrate its application to motion captured data, pre-recorded videos and HCI. Firstly, a da...
189
click to vote
TOMS
2011
15 years 2 months ago
2011
Abstract. We present a partitioned algorithm for reducing a symmetric matrix to a tridiagonal form, with partial pivoting. That is, the algorithm computes a factorization P AP T = ...