10797 search results - page 1867 / 2160 » Robust control applications |
186
click to vote
ESAW
2007
Springer
16 years 24 days 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...
163
click to vote
FPL
2007
Springer
16 years 24 days 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...
164
click to vote
FPL
2007
Springer
16 years 24 days 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...
171
click to vote
FROCOS
2007
Springer
16 years 24 days 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:...
199
click to vote
FROCOS
2007
Springer
16 years 24 days 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...