1404 search results - page 31 / 281 » Increasing Concurrency in Databases Using Program Analysis |
ICDCS
1989
IEEE
15 years 4 months ago
1989
IEEE
We examine the task of concurrently computing alternative solutions to a problem. We restrict our interest to the case where only one of the solutions is needed; in this case we n...
113
Voted
ICPPW
2003
IEEE
15 years 5 months ago
2003
IEEE
Users have been demanding information “anytime, anywhere”. The notion of accessing diverse and autonomous information repositories with different APIs is not accepted. This ha...
116
Voted
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
101
click to vote
ESEC
1995
Springer
15 years 4 months ago
1995
Springer
This paper presents the results of an exploratory experiment investigating the use of program metrics to predict reachability graph size, reachability graph generation time, and d...
101
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...