619 search results - page 2 / 124 » Visualization of Concurrent Program Executions |
IROS
2007
IEEE
13 years 11 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
SIGADA
2001
Springer
13 years 9 months ago
2001
Springer
WOTUG
2008
13 years 6 months ago
2008
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...
SOFTVIS
2006
ACM
13 years 11 months ago
2006
ACM
CAV
2010
Springer
13 years 9 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...