239 search results - page 35 / 48 » Experimental Evaluation of a Program Visualisation Tool for ... |
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
DGO
2006
13 years 9 months ago
2006
In this project, we are developing new text processing tools that help people perform advanced analysis of large collections of text commentary. This problem is increasingly faced...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
Providing good education is one of the major challenges for humanity. In many developing regions in the world improving educational standards is seen as a central building block f...
CHI
2009
ACM
14 years 2 months ago
2009
ACM
For over a century, citizen scientists have volunteered to collect huge quantities of data for professional scientists to analyze. We designed Pathfinder, an online environment th...
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...