1404 search results - page 28 / 281 » Increasing Concurrency in Databases Using Program Analysis |
106
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
152
click to vote
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
98
Voted
JOT
2008
15 years 12 days ago
2008
Object-oriented programming languages are being widely adopted as one of the most powerful languages due their flexibility and reusability. However, these languages suffer from me...
125
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Research scientists and medical professionals use imaging technology, such as computed tomography (CT) and magnetic resonance imaging (MRI) to measure a wide variety of biological...
HPDC
2002
IEEE
15 years 5 months ago
2002
IEEE
Increasing complexity of distributed applications and commodity of resources through grids are making the tasks of deploying those applications harder. There is a clear need for s...