14 search results - page 2 / 3 » Toward a Theory of Input Acceptance for Transactional Memori... |
TLDI
2009
ACM
14 years 2 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
HIPC
2009
Springer
13 years 3 months ago
2009
Springer
Software transactional memory (STM) is an emerging concurrency control mechanism for shared memory accesses. Early abort is one of the important techniques to improve the executio...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
Traditional transactional memory systems suffer from overly conservative conflict detection, yielding so-called false conflicts, because they are based on fine-grained, low-level ...
PCI
2001
Springer
13 years 9 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
IMAGING
2004
13 years 6 months ago
2004
In a previous experiment, we have studied the preference judgement of pictorial images with image experts and naive observers. We asked image experts to improve pictorial images t...