2512 search results - page 267 / 503 » Software Transactional Memory |
171
click to vote
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing. This paper describes a ...
128
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
Horizontally partitioned data caches are a popular architectural feature in which the processor maintains two or more data caches at the same level of hierarchy. Horizontally part...
135
click to vote
ISCAPDCS
2007
15 years 5 months ago
2007
In this paper we present a parallel implementation of T–Coffee — a widely used multiple sequence alignment package. Our software supports a majority of options provided by the...
121
click to vote
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Garbage collectors are very hard to implement correctly due to their low-level manipulation of memory. In this paper, we construct a copying garbage collector which we have proved ...
137
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...