-
Building SystemC waiting state automata
International audience -
The Tapenade Automatic Differentiation tool: principles, model, and specifica...
Tapenade is an Automatic Differentiation tool which, given a Fortran or C code that computes a function, creates a new code that computes its tangent or adjoint... -
Control-Driven Data Flow
This paper presents CDDF, a model of computation underpinning the formal semantics of a number of parallel programming languages. CDDF integrates control flow elements...
