In this paper we extend the technique provided in 6] to allow the determination of lower bounds on the broadcasting and gossiping time required by the so-called restrictedd protocols. Informally, a protocol is (i; o)-restricted at a given processor if every outgoing activation of an arc depends on at most i previous incoming activations and any incoming activation innuences at most o successive...

Let IF be a finite field and suppose that a single element of IF is used as an authenticator (or tag). Further, suppose that any message consists of at most L elements of IF. For this setting, usual polynomial based universal hashing achieves a collision bound of (L− 1)/|IF| using a single element of IF as the key. The well-known multi-linear hashing achieves a collision bound of 1/|IF| using L...

The IEEE WAVE protocol suite is providing communications services to applications in vehicular networks, by way of promising support for two protocol stacks: the Wave Short Message Protocol (WSMP) and IPv6. While WSMP is developed within the IEEE 1609 family of standards, the authors of this memorandum assert, that considerations for IPv6 operation for WAVE are less developed, and several issue...

Nous présentons une réalisation purement fonctionnelle et paresseuse de la technique du mode inverse de différentiation algorithmique. Cette technique, qui permet de calculer de manière précise et efficace les dérivées des expressions numériques dans un programme, est devenue indispensable dans plusieurs branches de programmation scientifique. Le mode inverse ou adjoint demande souvent l’usage ...

RÉSUMÉ. Nous proposons une double amélioration des systèmes de filtrage de courriels existants. D’une part, en utilisant une méthode d’apprentissage automatique permettant à un système de filtrage d’élaborer des profils utilisateur. D’autre part, nous utilisons un ensemble de connaissances linguistiques sous forme de modèles réduits issues de modèles linguistiques de textes. Dans ce contexte, n...

RÉSUMÉ. La problématique étudiée dans cet article est celle de l’indexation et de la recherche de conversations dans les réseaux sociaux. Une conversation est un ensemble de messages échangés entre utilisateurs, à la suite d’un message initial. La démarche proposée se base sur une modélisation probabiliste, et détaille en particulier l’utilisation d’informations sociales dans le réseau Twitter....

This paper describes optimization techniques for translating out-of-core programs written in a data parallel language like HPF to message passing node programs with explicit parallel I/O. We rst discuss how an out-of-core program can be translated by extending the method used for translating in-core programs. We demonstrate that straightforward extension of in-core compilation techniques does n...