10797 search results - page 1867 / 2160 » Robust control applications |
222
click to vote
ESAW
2007
Springer
16 years 1 months ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
183
click to vote
FPL
2007
Springer
16 years 1 months ago
2007
Springer
We are developing a set of reusable design blocks and several prototype systems for emulation of multi-core architectures in FPGAs. RAMP Blue is the first of these prototypes and...
197
click to vote
FPL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we propose a first step towards a time predictable computer architecture for single-chip multiprocessing (CMP). CMP is the actual trend in server and desktop syste...
193
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
217
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...