1404 search results - page 52 / 281 » Increasing Concurrency in Databases Using Program Analysis |
65
Voted
MICCAI
2005
Springer
16 years 1 months ago
2005
Springer
: A publicly available database of high-quality, multi-modal MR brain images of carefully screened healthy subjects, equally divided by sex, and with an equal number of subjects pe...
89
Voted
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
113
click to vote
IFL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
88
Voted
OSDI
2008
ACM
16 years 24 days ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
IPPS
1997
IEEE
15 years 4 months ago
1997
IEEE
In this paper, we present two new run-time algorithms for the parallelization of loops that have indirect access patterns. The algorithms can handle any type of loop-carried depen...