Sciweavers

1600 search results - page 27 / 320
» The human-robot interaction operating system
Sort
View
HICSS
2000
IEEE
129views Biometrics» more  HICSS 2000»
15 years 9 months ago
A New Tool for Visualization and Animation of Power Component and System Operation
A new tool for computing and visualizing the operation of power system components and systems is presented. One component of the tool is a time domain simulator that operates in t...
A. P. Sakis Meliopoulos, George J. Cokkinides, Ben...
JDCTA
2010
172views more  JDCTA 2010»
14 years 11 months ago
Performance Test of An Embedded Real-Time Operating System Based on A New High-Security NetWork Computer
Performance indexes of the embedded real-time operating system are not isolated but interacting with each other. Two sets of elements aiming to describe the relationship between t...
Gengxin Sun, Fengjing Shao Name, Sheng Bin
IPPS
1998
IEEE
15 years 8 months ago
Dynamic Processor Allocation with the Solaris Operating System
The Loop-Level Process Control LLPC policy 9 dynamically adjusts the number of threads an application is allowed to execute based on the application's available parallelism a...
Kelvin K. Yue, David J. Lilja
TPHOL
2005
IEEE
15 years 10 months ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...
152
Voted
IPPS
2010
IEEE
15 years 2 months ago
Operating system resource management
From the point of view of an operating system, a computer is managed and optimized in terms of the application programming model and the management of system resources. For the TF...
Burton Smith