4350 search results - page 206 / 870 » Case studies for contract-based systems |
128
Voted
AUTOMATICA
2000
15 years 4 months ago
2000
For discrete event systems, modular supervisory control refers to modular design of a supervisor when multiple control specifications are given. This problem has been studied for ...
151
click to vote
ASAP
2005
IEEE
15 years 10 months ago
2005
IEEE
We studied the dynamic instruction count reduction for a single-thread, vectorized and a multi-threaded, non-vectorized, MPEG-4 video encoder. Results indicate a maximum improveme...
110
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Predicate fields allow an object’s structure to vary at runtime based on the object’s state: a predicate field is present or not, depending on the values of other fields. P...
120
click to vote
TSP
2008
15 years 4 months ago
2008
This paper studies the behavior of the low-rank least mean squares (LMS) adaptive algorithm for the general case in which the input transformation may not capture the exact input s...
150
click to vote
AUTOMATICA
2002
15 years 4 months ago
2002
- In the general case of non-uniformly spaced frequency domain data and/or arbitrarily colored disturbing noise, the frequency domain subspace identification algorithms described i...