184 search results - page 8 / 37 » Testing Real-Time Systems Using UPPAAL |
155
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
184
Voted
ESEC
1993
Springer
15 years 10 months ago
1993
Springer
We report the results of a survey about the software faults encountered during the testing phases in evolving a large real-time system. The survey was done in two parts: the rst pa...
204
Voted
DELTA
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper describes the concept, architecture, development and demonstration of a real time, high performance, software defined 4-receiver system and a space time decoder to be i...
150
click to vote
RTCSA
2005
IEEE
15 years 11 months ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
174
Voted
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
The automation and speedup of interventional therapy and diagnostic workflows is a crucial issue. One way to improve these workflows is to accelerate the image acquisition procedur...