959 search results - page 79 / 192 » On the implementation of automatic differentiation tools |
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
Workflow forms a key part of many existing Service Oriented applications, involving the integration of services that may be made available at distributed sites. It is possible ng...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
IPOM
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents a method for the distribution of video flows through several paths of an IP network. We call the approach multisource focusing on the fact that, from the recei...
IDA
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. One of the most interesting challenges in Knowledge Discovery in Databases (KDD) eld is giving support to users in the composition of tools for forming a valid and useful...