985 search results - page 132 / 197 » A Caching Model of Operating System Kernel Functionality |
139
click to vote
EAAI
2007
15 years 5 months ago
2007
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
134
Voted
FPCA
1989
15 years 9 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
148
click to vote
ISPAN
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
168
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: The emerging field of integrative bioinformatics provides the tools to organize and systematically analyze vast amounts of highly diverse biological data and thus allo...
148
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
Due to the inherent nature of their heterogeneity, resource scarcity and dynamism, the provision of middleware for future networked embedded environments is a challenging task. In...