next up previous contents
Next: Getting started Up: Syndex v6 - User Previous: Contents   Contents

Overview

A SynDEx application is made of algorithm graphs (definitions of operations that the application may execute) and architecture graphs (definitions of multicomponents: set of interconnected processors and specific integrated circuits). Performing an adequation means to execute heuristics seeking for an optimized implementation of a given algorithm onto a given architecture.

"Adequation" means an efficient mapping, note that it is different from the word "adequacy" which means a sufficient mapping. An implementation consists in distributing (allocate parts of algorithm onto components) and scheduling (give a total order for the operations distributed onto a component) the algorithm onto the architecture.

SynDEx runs under Linux, Solaris and Windows platforms.

SynDEx is written in Objective Caml. The GUI is written in Tcl/Tk with the OCaml library CamlTk.



Julien Forget 2003-03-21