8903 search results - page 1396 / 1781 » Alternative |
196
Voted
NFM
2011
15 years 1 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....
260
click to vote
PCS
2011
15 years 1 months ago
2011
The purpose of this paper is twofold. An immediate practical use of the presented algorithm is its applicability to the parametric solution of underdetermined linear ordinary diļ¬...
212
Voted
PPNA
2011
15 years 1 months ago
2011
The proliferation of novel wireless network technologies creates new opportunities for complex peerto-peer information dissemination systems. A key challenge that remains in this a...
199
click to vote
SAC
2011
ACM
15 years 1 months ago
2011
ACM
We propose a more eļ¬cient version of the slice sampler for Dirichlet process mixture models described by Walker (2007). This sampler allows the ļ¬tting of inļ¬nite mixture mod...
245
Voted
SCN
2011
Springer
15 years 1 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...