532 search results - page 34 / 107 » Optimal Control Using Bisimulations: Implementation |
RTSS
2006
IEEE
14 years 1 months ago
2006
IEEE
The Constant Bandwidth Server (CBS) is an effective scheduling technique frequently used to handle overruns and implement resource reservation in real-time systems where tasks hav...
ICCAD
1995
IEEE
13 years 11 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
INFOCOM
2002
IEEE
14 years 9 days ago
2002
IEEE
Abstract— In this paper, we address the problem of providing traffic quality of service and energy efficiency in ad hoc wireless networks. We consider a network that is shared ...
HASE
1998
IEEE
13 years 11 months ago
1998
IEEE
An important practical problem in fault diagnosis is discriminating between permanent faults and transient faults. In many computer systems, the majority of errors are due to tran...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
We consider a manufacturing plant that purchases raw materials for product assembly and then sells the final products to customers. There are M types of raw materials and K types o...