4469 search results - page 712 / 894 » Dynamic Program Slicing |
ISEUD
2009
Springer
15 years 5 months ago
2009
Springer
Companies are operating in a dynamic environment, resulting in a continuous need of adapting used information systems to changing business processes and associated information need...
105
click to vote
MDM
2009
Springer
15 years 5 months ago
2009
Springer
— This work aims at minimize the cost of answering snapshot multi-predicate queries in high-communication-cost networks. High-communication-cost (HCC) networks is a family of net...
PDCAT
2009
Springer
15 years 5 months ago
2009
Springer
—We have proposed an auto-memoization processor. This processor automatically and dynamically memoizes both functions and loop iterations, and skips their execution by reusing th...
SBMF
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
101
click to vote
CF
2009
ACM
15 years 5 months ago
2009
ACM
The exponential growth of databases that contains biological information (such as protein and DNA data) demands great efforts to improve the performance of computational platforms...