1146 search results - page 71 / 230 » Evaluation of modeling techniques for agent-based systems |
164
click to vote
WOSP
2000
ACM
15 years 10 months ago
2000
ACM
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
148
click to vote
SPIN
2007
Springer
16 years 12 days ago
2007
Springer
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
166
click to vote
ZUM
2000
Springer
15 years 9 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
157
click to vote
ICRA
2007
IEEE
16 years 18 days ago
2007
IEEE
— This paper reports the analytical development and preliminary experimental evaluation of a class of exact nonlinear full state model-based observers for underwater vehicle navi...
122
click to vote
QEST
2007
IEEE
16 years 17 days ago
2007
IEEE
—MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from...