Sciweavers

2030 search results - page 67 / 406
» The Need for Customizable Operating Systems
Sort
View
CDC
2010
IEEE
167views Control Systems» more  CDC 2010»
14 years 11 months ago
Numerical methods for the optimization of nonlinear stochastic delay systems, and an application to internet regulation
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...
Harold J. Kushner
ICFEM
1997
Springer
15 years 8 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
FTCS
1998
79views more  FTCS 1998»
15 years 5 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
CASCON
1996
160views Education» more  CASCON 1996»
15 years 5 months ago
Automatic generation of performance models for distributed application systems
Organizations have become increasingly dependent on computing systems to achieve their business goals. The performance of these systems in terms of response times and cost has a m...
M. Qin, R. Lee, Asham El Rayess, Vidar Vetland, Je...
INTERACT
2003
15 years 5 months ago
Vision-Speech System Becoming Efficient and Friendly through Experience
: This paper presents a vision-speech system for service robots that can learn the user’s customs and objects fixed in the environment while helping the user, and can perform the...
Yoshinori Kuno, Mitsutoshi Yoshizaki, Akio Nakamur...