13489 search results - page 232 / 2698 » Self-migration of operating systems |
214
click to vote
BMEI
2009
IEEE
15 years 7 months ago
2009
IEEE
The goal of this paper is to develop haptic-visual interaction training system for aircraft fuel supply simulation. Operators can use this system to simulate refueling aircraft in ...
159
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
The rules of "Bulgarian solitaire" are considered as an operation on the set of partitions to induce a finite dynamical system. We focus on partitions with no preimage u...
118
click to vote
CJ
1998
15 years 6 months ago
1998
Large-scale commercial, industrial and financial operations are becoming ever more interdependent, and ever more dependent on IT. At the same time, the rapidly growing interconnec...
169
click to vote
AAI
2010
15 years 1 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
160
Voted
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
High performance on multicore processors requires that schedulers be reinvented. Traditional schedulers focus on keeping execution units busy by assigning each core a thread to ru...