959 search results - page 64 / 192 » On the implementation of automatic differentiation tools |
COOPIS
1997
IEEE
13 years 12 months ago
1997
IEEE
To simplify the task of obtaining information from the vast number of information sources that are available on the World Wide Web (WWW), we are building tools to build informatio...
NLDB
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. An important software engineering artefact used by developers and maintainers to assist in software comprehension and maintenance is source code documentation. It provide...
ASE
2005
13 years 7 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
ICSE
2012
IEEE-ACM
11 years 10 months ago
2012
IEEE-ACM
—This paper describes a new technique, which automatically selects the most appropriate developers for fixing the fault represented by a failing test case, and provides a diagno...
ISSTA
2010
ACM
13 years 11 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...