861 search results - page 53 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
117
Voted
WWW
2009
ACM
15 years 9 months ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
129
click to vote
JCC
2008
15 years 2 months ago
2008
: A new program called pyVib has been developed as a tool for the analysis of Gaussian (Gaussian 03, Gaussian Inc., Pittsburgh, PA) outputs of vibrational absorption (IR), Raman as...
153
Voted
KDD
2006
ACM
16 years 3 months ago
2006
ACM
Along with the blossom of open source projects comes the convenience for software plagiarism. A company, if less self-disciplined, may be tempted to plagiarize some open source pr...
152
Voted
MOBISYS
2008
ACM
16 years 2 months ago
2008
ACM
It is now common for Web sites to use active Web content, such as Flash, Silverlight, or Java applets, to support rich, interactive applications. For many mobile devices, however,...
132
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...