6171 search results - page 783 / 1235 » The FrameNet Data and Software |
183
Voted
ASPLOS
2006
ACM
16 years 27 days ago
2006
ACM
Power densities have been increasing rapidly at all levels of server systems. To counter the high temperatures resulting from these densities, systems researchers have recently st...
159
click to vote
ERLANG
2006
ACM
16 years 27 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
174
click to vote
ERLANG
2006
ACM
16 years 27 days ago
2006
ACM
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
161
click to vote
IUI
2006
ACM
16 years 26 days ago
2006
ACM
Interface personalization can improve a user’s performance and subjective impression of interface quality and responsiveness. Personalization is difficult to implement as it req...
169
click to vote
PLDI
2006
ACM
16 years 26 days ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...