345 search results - page 10 / 69 » GraphML Progress Report |
FASE
2011
Springer
12 years 11 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
FCCM
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract: Molecular Dynamics (MD) is of central importance to computational chemistry and its myriad applications. Here we show that, at even a preliminary stage of development, MD...
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
Many modern software systems provide progress indicators for long-running tasks. These progress indicators make systems more user-friendly by helping the user quickly estimate how...
NLP
2000
13 years 11 months ago
2000
This paper is a progress report on our research, design, and implementation of a virtual reality environment where users (visitors, customers) can interact with agents that help th...
CSCW
2010
ACM
14 years 4 months ago
2010
ACM
For many software projects, bug tracking systems play a central role in supporting collaboration between the developers and the users of the software. To better understand this co...