13489 search results - page 112 / 2698 » Self-migration of operating systems |
150
click to vote
ENTCS
2008
15 years 4 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
122
click to vote
ECP
1997
Springer
15 years 8 months ago
1997
Springer
It is traditional wisdom that one should start from the goals when generating a plan in order to focus the plan generation process on potentially relevant actions. The graphplan sy...
139
click to vote
SAMOS
2010
Springer
15 years 3 months ago
2010
Springer
—Previous vector architectures divided the available register file space in a fixed number of registers of equal sizes and shapes. We propose a register file organization whic...
135
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
The control design for the variator in a pushbelt continuously variable transmission (CVT) is investigated. The variator enables a stepless variation of the transmission ratio with...
133
click to vote
WSC
2000
15 years 6 months ago
2000
Significant advances have been made in the field of construction process modeling. However, no convenient graphical support tools exist that can depict the modeled operations in 3...