4421 search results - page 151 / 885 » Libraries |
120
click to vote
CONCUR
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
62
Voted
ICPR
2004
IEEE
16 years 2 months ago
2004
IEEE
DAC
2005
ACM
16 years 2 months ago
2005
ACM
MICCAI
2002
Springer
16 years 2 months ago
2002
Springer
109
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Tables are ubiquitous. Unfortunately, no search engine supports table search. In this paper, we propose a novel table specific searching engine, TableSeer, to facilitate the table...