959 search results - page 106 / 192 » On the implementation of automatic differentiation tools |
158
Voted
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
161
Voted
ICCTA
2007
IEEE
15 years 7 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
223
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...
118
Voted
ICSEA
2008
IEEE
15 years 10 months ago
2008
IEEE
The Reuse of code artefacts can make development quicker, cheaper and more robust, but the process is complex and has many pitfalls: Code artefacts must exist, be available, be fo...
110
Voted
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...