1404 search results - page 68 / 281 » Increasing Concurrency in Databases Using Program Analysis |
93
Voted
PPSC
2001
15 years 1 months ago
2001
As the gap between processor and memory performance widens, careful analyses and optimizations of cache memory behavior become increasingly important. While analysis of regular lo...
91
Voted
RAID
2005
Springer
15 years 6 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
137
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
124
click to vote
SC
2000
ACM
15 years 5 months ago
2000
ACM
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...
199
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...