kirancodes.me
To Proof Maintenance & Beyond!

1,184 papers · page 16 of 60

On the fly MHP analysis

Sonali Saha, V. Krishna Nandivada

May-Happen-in-Parallel (MHP) analysis forms the basis for many problems of program analysis and program understanding. MHP analysis can also be used by IDEs (integrated-development-environments) to help programmers to refactor parallel-programs, identify racy programs, understand…

Functional faults

Gali Sheffi, Erez Petrank

Hardware and software faults increasingly surface in today's computing environment and vast theoretical and practical research efforts are being devoted to overcoming the effects of malfunctionality in the computing process. Most research to date, however, has focused on how to d…