8232 search results - page 1448 / 1647 » Dynamic Logic Programming |
185
click to vote
MDM
2009
Springer
16 years 27 days 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...
158
Voted
PDCAT
2009
Springer
16 years 26 days 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...
156
click to vote
SBMF
2009
Springer
16 years 26 days 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...
181
click to vote
CF
2009
ACM
16 years 26 days 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...
169
click to vote
EICS
2009
ACM
16 years 26 days ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...