Sciweavers

1529 search results - page 9 / 306
» Power-aware operating systems for interactive systems
Sort
View
113
Voted
CHI
2006
ACM
16 years 3 months ago
Support for activity-based computing in a personal computing operating system
Research has shown that computers are notoriously bad at supporting the management of parallel activities and interruptions, and that mobility increases the severity and scope of ...
Jakob E. Bardram, Jonathan Bunde-Pedersen, Mads S&...
125
Voted
AAAI
2000
15 years 4 months ago
Integrating a Spoken Language System with Agents for Operational Information Access
Changing the way users interact with their data is the principal objective of the Listen, Communicate, Show (LCS) paradigm. LCS is a new paradigm being applied to Marine Corps tac...
Jody J. Daniels
IFM
2010
Springer
132views Formal Methods» more  IFM 2010»
15 years 1 months ago
From Operating-System Correctness to Pervasively Verified Applications
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
109
Voted
HICSS
2000
IEEE
129views Biometrics» more  HICSS 2000»
15 years 7 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...
127
Voted
JDCTA
2010
172views more  JDCTA 2010»
14 years 10 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