985 search results - page 90 / 197 » A Caching Model of Operating System Kernel Functionality |
173
click to vote
ERCIMDL
1997
Springer
15 years 9 months ago
1997
Springer
: A fully operational large scale digital library is likely to be based on a distributed architecture and because of this it is likely that a number of independent search engines m...
124
click to vote
ENTCS
2010
15 years 4 months ago
2010
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...
153
click to vote
IANDC
2006
15 years 4 months ago
2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
173
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
129
click to vote
LCPC
1991
Springer
15 years 8 months ago
1991
Springer
The dependence ow graph is a novel intermediate representation for optimizingand parallelizing compilersthat can be viewed as an executable representation of program dependences. ...