1541 search results - page 60 / 309 » Tools and Techniques for Model Checking Networked Programs |
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
113
Voted
ECRTS
2007
IEEE
15 years 7 months ago
2007
IEEE
A critical resource in a distributed real-time system is its shared communication medium. Unrestrained concurrent access to the network can lead to collisions that reduce the syst...
113
Voted
VECPAR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper presents PerWiz, a performance prediction tool for improving the performance of message passing programs. PerWiz focuses on locating where a significant impro...
103
Voted
PPPJ
2006
ACM
15 years 6 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...