119 search results - page 19 / 24 » Verification, Performance Analysis and Controller Synthesis ... |
APN
2000
Springer
13 years 11 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
DAGSTUHL
2006
13 years 8 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
Several recent studies have found only a weak relationship between the performance of a retrieval system and the "success" achievable by human searchers. We hypothesize ...
RSP
2003
IEEE
14 years 21 days ago
2003
IEEE
This paper describes the early analysis and estimation features currently implemented in the Berkeley Emulation Engine (BEE) system. BEE is an integrated rapid prototyping and des...
RTCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we consider data freshness and overload handling in embedded systems. The requirements on data management and overload handling are derived from an engine control so...