959 search results - page 156 / 192 » On the implementation of automatic differentiation tools |
ISSRE
2003
IEEE
14 years 2 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
CSMR
2002
IEEE
14 years 1 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
GPCE
2009
Springer
14 years 1 months ago
2009
Springer
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem a...
ICS
2001
Tsinghua U.
14 years 1 months ago
2001
Tsinghua U.
For most parallel and high performance systems, tuning guides provide the users with advices to optimize the execution time of their programs. Execution time may be very sensitive...
MMB
2001
Springer
14 years 1 months ago
2001
Springer
Behavior of current communication protocols as well as current and future networked applications is of fundamental importance for technical and commercial success of Mobile Intern...