2838 search results - page 132 / 568 » Verifying Controlled Components |
129
Voted
PG
2007
IEEE
15 years 7 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...
96
Voted
AUTOMATICA
2008
15 years 28 days 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...
98
Voted
AUTOMATICA
2004
15 years 20 days 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...
100
click to vote
IEEEARES
2009
IEEE
15 years 7 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...
108
Voted
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
15 years 6 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...