3389 search results - page 114 / 678 » Real-Time and Fault-Tolerant Systems |
177
click to vote
RTCSA
2006
IEEE
16 years 2 days ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
187
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
219
click to vote
IJCAI
1989
15 years 7 months ago
1989
A real-time AI system in the real world needs to monitor an immense volume of data. To do this, the system must filter out much of the incoming data. However, it must remain re ...
164
Voted
RSP
2007
IEEE
16 years 11 days ago
2007
IEEE
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
157
Voted
MVA
1992
15 years 7 months ago
1992
This study reports on the performance of a Real-Time Vision System (RVS) and its use of an IMAP prototype LSI. This LSI integrates eight 8 bit processors and a 144 Kbit SRAM on a ...