4688 search results - page 260 / 938 » Dynamics of Control |
133
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
124
click to vote
WSC
2008
15 years 7 months ago
2008
As an adaptation of the CONWIP concept, AMD has developed a heuristic approach to control the WIP in its wafer fabrication facilities (fabs). The so called "Loop Control"...
122
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
141
click to vote
TVCG
2010
15 years 3 months ago
2010
—We present a scheme for view-dependent level-of-detail control that is implemented entirely on programmable graphics hardware. Our scheme selectively refines and coarsens an ar...
152
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...