959 search results - page 164 / 192 » On the implementation of automatic differentiation tools |
130
Voted
JSS
2007
15 years 3 months ago
2007
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
147
Voted
CLUSTER
2002
IEEE
15 years 3 months ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...
129
Voted
JFLP
2002
15 years 3 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
146
Voted
JSC
2010
15 years 2 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
122
Voted
TIFS
2010
15 years 2 months ago
2010
—This paper addresses a forensic tool used to assess audio authenticity. The proposed method is based on detecting phase discontinuity of the power grid signal; this signal, refe...