42 search results - page 8 / 9 » Combinatorial characterization of the Assur graphs from engi... |
PASTE
2010
ACM
14 years 18 days ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...
TOPLAS
2008
13 years 7 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
METRICS
2005
IEEE
14 years 1 months ago
2005
IEEE
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
4 Automatic differentiation is the primary means of obtaining analytic5 derivatives from a numerical model given as a computer program. There-6 fore, it is an essential productivi...
AIS
2004
Springer
14 years 28 days ago
2004
Springer
This project implements an integrated biological information website that classifies technical documents, learns about users' interests, and offers intuitive interactive visua...