1190 search results - page 37 / 238 » A type and effect system for atomicity |
WFLP
2000
Springer
13 years 11 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper presents a model of collaborative decision-making for groups that involve people and computer agents. The model distinguishes between actions relating to participants...
ISBI
2008
IEEE
14 years 8 months ago
2008
IEEE
Preclinical small animal imaging is an important tool at the disposition of biological researchers. While the range of studies performed by non-invasive preclinical imaging is gre...
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
Because data races represent a hard-to-manage class of errors in concurrent programs, numerous approaches to detect them have been proposed and evaluated. We specifically consider...
DSN
2008
IEEE
14 years 1 months ago
2008
IEEE
The long-term availability of data stored in a file system depends on how well it safeguards on-disk pointers used to access the data. Ideally, a system would correct all pointer...