3243 search results - page 12 / 649 » Object Race Detection |
TACAS
1998
Springer
13 years 11 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
ADAEUROPE
2010
Springer
13 years 5 months ago
2010
Springer
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
TOPLAS
2011
13 years 2 months ago
2011
ICCS
2001
Springer
13 years 12 months ago
2001
Springer
This paper presents a tool that enables programmers to use cyclic debugging techniques for debugging non-deterministic parallel programs. The solution consists of a combination of ...