1404 search results - page 79 / 281 » Increasing Concurrency in Databases Using Program Analysis |
100
Voted
DI
2007
15 years 17 days ago
2007
All Windows memory analysis techniques depend on the examiner’s ability to translate the virtual addresses used by programs and operating system components into the true locatio...
127
Voted
DAMON
2009
Springer
15 years 7 months ago
2009
Springer
Database engines face growing scalability challenges as core counts exponentially increase each processor generation, and the efficiency of synchronization primitives used to prot...
CAISE
1999
Springer
15 years 4 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
137
click to vote
INFSOF
2010
14 years 10 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
87
Voted
ADAEUROPE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...