15614 search results - page 2854 / 3123 » The State of State |
197
click to vote
WADT
2004
Springer
16 years 18 hour ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
185
click to vote
WKDD
2010
CPS
15 years 12 months ago
2010
CPS
—Recommender systems apply machine learning techniques for filtering unseen information and can predict whether a user would like a given resource. There are three main types of...
181
click to vote
WOSP
2010
ACM
15 years 12 months ago
2010
ACM
Virtualization has been shown to be an attractive path to increase overall system resource utilization. The use of live virtual machine (VM) migration has enabled more effective ...
159
click to vote
C5
2003
IEEE
15 years 12 months ago
2003
IEEE
This poster presentation introduces our first Squeak workshops offered in the context of the ALAN-K (Advanced LeArning Network in Kyoto) project (Konomi and Karuno, 2003), which i...
199
click to vote
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
A dynamic binary translation system for a co-designed virtual machine is described and evaluated. The underlying hardware directly executes an accumulator-oriented instruction set...