Accélération d'une constante sur automates cellulaires et applications

O. HEEN

IBP-Litp 1995/49: Rapport de Recherche Litp / Litp research reports
21 pages - Octobre/October 1995 - French document.

PostScript : Ko /Kb

Titre / Title: Accélération d'une constante sur automates cellulaires et applications

Résumé : Nous introduisons de nouvelles techniques pour réaliser l'accélération d'une constante réduisant ainsi la quantité de ressources supplémentaires ainsi que la fréquence de leur utilisation dans le diagramme espace-temps. Nous appliquons l'accélération d'une constante pour établir une propriété de clôture de la classe des temps de synchronisation.

Abstract : We introduce new techniques to perform constant speed-up which lower very much the amount of needed extra ressources and/or the extent of their use in the space time diagram. We apply constant speed-up to prove some closure properties of the class of synchronization times.

Publications internes Litp 1995 / Litp research reports 1995