From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 1B2FFBC37 for ; Fri, 7 Aug 2009 17:48:41 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.43,342,1246831200"; d="scan'208";a="30904178" Received: from statvirtus.inria.fr (HELO [128.93.5.42]) ([128.93.5.42]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Aug 2009 17:48:41 +0200 Message-ID: <4A7C4CD8.3090201@inria.fr> Date: Fri, 07 Aug 2009 17:48:40 +0200 From: =?ISO-8859-1?Q?C=E9cile_Stentzel?= User-Agent: Thunderbird 2.0.0.0 (X11/20070326) MIME-Version: 1.0 To: caml-list@inria.fr Subject: SynDEx v7 released Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; ocaml:01 prototyping:01 voluceau:01 rocquencourt:01 abstract:01 graph:01 algorithm:01 algorithm:01 dependence:03 optimizing:03 distributed:05 distributed:05 inria:06 inria:06 interface:06 Dear list, We are happy to announce the release of the v7 version of SynDEx. SynDEx is a system level CAD software written in OCaml for rapid prototyp= ing and=20 optimizing the implementation of distributed real-time embedded applicati= ons=20 onto multicomponent architectures. This release includes new features: - multi-periodic applications, - adequation based on multi-periodic distributed real-time scheduling ana= lyses, - verification of dependence cycle in the algorithm graph, - a new Graphical User Interface for algorithm specifications, - a single window grouping all the definition operations, - abstract reference, - superblock, - undo. SynDEx v7 can be downloaded from the SynDEx web site http://www.syndex.or= g --=20 ----------------------------------------------------------------------- C=E9cile Stentzel =C9quipe-Projet AOSTE, INRIA, Domaine de Voluceau, Rocquencourt ----------------------------------------------------------------------- ----------------------------------------------------------------------- INRIA Institut National de Recherche en Informatique et Automatique National Institute for Research in Computer Science and Control -----------------------------------------------------------------------