3387 search results - page 239 / 678 » Model-Checking for Real-Time Systems |
193
click to vote
TSMC
2008
15 years 7 months ago
2008
Modeling and predicting of mental workload are among the most important issues in studying human performance in complex systems. Ample research has shown that the amplitude of the ...
207
click to vote
PAMI
2007
15 years 6 months ago
2007
—We present a real-time algorithm which can recover the 3D trajectory of a monocular camera, moving rapidly through a previously unknown scene. Our system, which we dub MonoSLAM,...
213
click to vote
ADAEUROPE
2010
Springer
15 years 5 months ago
2010
Springer
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
197
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
211
Voted
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...