2838 search results - page 132 / 568 » Verifying Controlled Components |
PG
2007
IEEE
14 years 4 months ago
2007
IEEE
Interactive animation systems often use a level-of-detail (LOD) control to reduce the computational cost by eliminating unperceivable details of the scene. Most methods employ a m...
AUTOMATICA
2008
13 years 10 months ago
2008
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...
AUTOMATICA
2004
13 years 10 months ago
2004
We propose an adaptive algorithm for control of combustion instability suitable for reduction of acoustic pressure oscillations in gas turbine engines, and main burners and augmen...
IEEEARES
2009
IEEE
14 years 5 months ago
2009
IEEE
In a service-oriented architecture, service compositions are assembled from other component services. Such compositions may include services from unknown and potentially untrusted...
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
14 years 3 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...