959 search results - page 47 / 192 » On the implementation of automatic differentiation tools |
117
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
CAISE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The translation of information between heterogeneous representations is a long standing issue. With the large spreading of cooperative applications fostered by the advent...
112
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
111
Voted
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Reassembly of fragmented objects from a collection of randomly mixed fragments is a common problem in classical forensics. In this paper we address the digital forensic equivalent...
134
Voted
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
The key performance of many analog circuits is directly related to accurate capacitor ratios. It is well known that capacitor ratio precision is greatly enhanced by paralleling id...