1146 search results - page 160 / 230 » Periodically Controlled Hybrid Systems |
EDCC
2006
Springer
14 years 1 months ago
2006
Springer
The importance of fault tolerance at the processor architecture level has been made increasingly important due to rapid advancements in the design and usage of high performance de...
SPIN
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
ICDCSW
2003
IEEE
14 years 2 months ago
2003
IEEE
It is a challenging task to provide Quality of Service (QoS) control for a shared high-speed downlink packet access (HSDPA) wireless channel. In this paper, we first propose a ne...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
The "ZIP" adaptive trading algorithm has been demonstrated to outperform human traders in experimental studies of continuous double auction (CDA) markets. The original Z...
RTSS
2009
IEEE
14 years 4 months ago
2009
IEEE
—Data delivery is a major function of sensor network applications. Many applications, such as military surveillance, require the detection of interested events to be reported to ...