Sciweavers

2736 search results - page 193 / 548
» Implementable allocation rules
Sort
View
CORR
2010
Springer
129views Education» more  CORR 2010»
15 years 6 months ago
Attribute oriented induction with star schema
: This paper will propose a novel star schema attribute induction as a new attribute induction paradigm and as improving from current attribute oriented induction. A novel star sch...
Spits Warnars H. L. H
TPLP
2008
89views more  TPLP 2008»
15 years 6 months ago
Theory of finite or infinite trees revisited
We present in this paper a first-order axiomatization of an extended theory T of finite or infinite trees, built on a signature containing an infinite set of function symbols and ...
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Fr&uum...
ASPLOS
2006
ACM
16 years 11 days ago
Geiger: monitoring the buffer cache in a virtual machine environment
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...
Stephen T. Jones, Andrea C. Arpaci-Dusseau, Remzi ...
168
Voted
ASM
2005
ASM
15 years 12 months ago
CoreASM: An Extensible ASM Execution Engine
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Gläss...
154
Voted
UIST
1996
ACM
15 years 10 months ago
Adding a Collaborative Agent to Graphical User Interfaces
We have implemented a collaborative agent toolkit called Collagen and used it to build a software agent that collaborates with the user of a direct-manipulation graphical interfac...
Charles Rich, Candace L. Sidner