985 search results - page 89 / 197 » A Caching Model of Operating System Kernel Functionality |
134
click to vote
BNCOD
2009
15 years 2 months ago
2009
Nowadays maintenance of database management systems (DBMSs) often requires offline operations for enhancement of functionality or security updates. This hampers the availability of...
139
click to vote
VLDB
1994
ACM
15 years 9 months ago
1994
ACM
Advanced technical applications like routing systems or electrical network managementsystems introduce the need for complex manipulations of large size graphs. Efficiently support...
147
click to vote
OSDI
2006
ACM
16 years 5 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
145
click to vote
IISWC
2009
IEEE
15 years 11 months ago
2009
IEEE
In many areas such as e-commerce, mission-critical N-tier applications have grown increasingly complex. They are characterized by non-stationary workloads (e.g., peak load several...
175
Voted
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...