7228 search results - page 956 / 1446 » From Algorithmic to Subjective Randomness |
141
click to vote
ISSTA
2009
ACM
16 years 18 days ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
258
click to vote
ITICSE
2009
ACM
16 years 18 days ago
2009
ACM
This paper describes our experiences with the first partial deployment of Presentations Automatically Organized from Lectures (PAOL), a lecture recording system developed and tes...
178
click to vote
JCDL
2009
ACM
16 years 18 days ago
2009
ACM
A lot of future-related information is available in news articles or Web pages. This information can however differ to large extent and may fluctuate over time. It is therefore di...
168
Voted
JCDL
2009
ACM
16 years 18 days ago
2009
ACM
The prevailing model for digital preservation is that archives should be similar to a “fortress”: a large, protective infrastructure built to defend a relatively small collect...
158
Voted
KCAP
2009
ACM
16 years 18 days ago
2009
ACM
Workflows are becoming an increasingly more common paradigm to manage scientific analyses. As workflow repositories start to emerge, workflow retrieval and discovery becomes a cha...