5235 search results - page 101 / 1047 » Analysis of Multithreaded Programs |
107
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
113
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
In this paper, we present a methodology for low-cost and rapid context switch for multithreaded embedded processors with realtime guarantees. Context-switch, which involves saving...
153
click to vote
TACAS
1998
Springer
15 years 5 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...
114
click to vote
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
We have built an eight node SMP cluster called COMPaS (Cluster Of Multi-Processor Systems), each node of which is a quadprocessor Pentium Pro PC. We have designed and implemented a...
122
click to vote
APSEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...