Sciweavers

3911 search results - page 74 / 783
» Real-Time Object Detection for
Sort
View
IWSAS
2000
Springer
15 years 5 months ago
Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis
Abstract. Self-adaptive systems must recon gure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the S...
David J. Musliner
FORTEST
2008
15 years 2 months ago
Testing Real-Time Systems Using UPPAAL
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
Anders Hessel, Kim Guldstrand Larsen, Marius Mikuc...
DEDS
2010
88views more  DEDS 2010»
15 years 1 months ago
Optimal Admission Control of Discrete Event Systems with Real-Time Constraints
Abstract-- The problem of optimally controlling the processing rate of tasks in Discrete Event Systems (DES) with hard real-time constraints has been solved in [9] under the assump...
Jianfeng Mao, Christos G. Cassandras
CORR
2007
Springer
105views Education» more  CORR 2007»
15 years 1 months ago
On Real-Time Communication Systems with Noisy Feedback
— We consider a real--time communication system with noisy feedback consisting of a Markov source, a forward and a backward discrete memoryless channels, and a receiver with fin...
Aditya Mahajan, Demosthenis Teneketzis
JDCTA
2010
172views more  JDCTA 2010»
14 years 8 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