Register allocation invariants in dags (original) (raw)
Stockage En Registres Des Variables Indicées
Register allocation is a difficult phase of code generation. But it is essential to ensure good performance of the generated code. In this paper we are interested in array variables in loops without conditional, which are frequent in numerous applications and especially in DSP applications. These code pieces are the most executed and as such have a very important role in the overall performance of the code. Several software techniques are used to optimize this phase, like register renaming or loop unrolling, as well as hardware techniques like rotating register files. We show how our model of array variable lifetimes by the way of the meeting graph can describe several forms of the same code and several register file organizations, and thus allows to optimize register allocation for DSP processors. 1 Introduction Le probleme de l'allocation des variables en registres se pose aussi bien en generation de code qu'en synthese d'architecture. Dans le premier cas le nombre de ...
Afin de garantir leur solvabilité, les sociétés d'assurance doivent détenir au-delà des provisions qui couvrent déjà l'intégralité des engagements souscrits, des fonds propres en quantité suffisante pour faire face à des dérives imprévues pouvant remettre en cause le respect de leurs engagements.
Insertion et Propagation de Contraintes pour le DARP
2012
Les problèmes de Dial/Ride (DARP) concernent le routage et la construction d'horaires des véhicules devant acheminer des charges depuis des nœuds origine vers des nœuds destination à travers un réseau [1]. Les contraintes classiques portent sur la capacité des véhicules et l'existence de fenêtres de temps, les critères à optimiser combinant point de vue économique et qualité de service. Ce problème a aussi vocation à être traité dans un contexte dynamique [1], avec prise en compte de mécanismes de communication usagers ...
Axe 1 - Médias et identités de genre indéfinies Mercredi 14 mars 13H30 – 14H00 : accueil des participants 14H00 – 15H00 : ouverture du colloque ; Erik Neveu, directeur-adjoint du CRAPE, Sandy Montañola, Aurélie Olivesi, Béatrice Damian-Gaillard, organisatrices du colloque. 15h-16h30 : session 1 Discutante, Sandy Montañola, MCF, CRAPE, Rennes 1 Chercheure invitée : Isabelle Gavillet, MCF, CREM, Metz Marion Dalibert, doctorante, GERIICO, Lille 3 « Le genre construit-il la race dans le discours d’information ? » 16h30-16h45 : pause 16h45-18h : session 2 Discutante : Béatrice Damian-Gaillard, MCF, CRAPE, Rennes 1 Elise Vinet, MCF, GREps, Lyon 2 et Stéphanie Gosset, M2R, Institut de Psychologie, Lyon 2 « La (re)présentation de l’allaitement dans la presse parentale française : renforcement des stéréotypes ou écarts à la norme ? » Laeticia Biscarrat, doctorante, MICA, Bordeaux 3 « Figure de la mère célibataire dans un programme de téléréalité : une réassignation de genre sous conditions » Questions sessions 1 et 2 Jeudi 15 mars 9h30 : accueil 10h-11h15 : session 3 Discutante : Sylvie Ollitraut, CR1, CRAPE, CNRS, Rennes 1 Stéphanie Kunert, docteure, CELSA / GRIPIC, Paris 4, Post-doctorante IEC/ CARISM, Paris 2 « Stéréotypes de genre en publicité. Des affinités d’une forme médiatique avec l’assignation de genre » Jean-Claude Soulages, PU, ICOM, Lyon 2 « Les mascarades du féminin ou l’illusion des apparences » Questions session 3 Axe 2 - Le genre du corps dans les médias 11h15-12h45 : session 4 Discutante : Isabelle Gavillet, MCF, CREM, Metz chercheure invitée : Fabienne Martin-Juchat, PU, Grenoble 3 Mélie Fraysse, doctorante, SOI-PRISSMH, Toulouse 3 « Masculinité hégémonique et féminités : modèles de genre et positionnement journalistique dans les revues de VTT » Questions session 4 12H45 – 14H15 : buffet 14h15-15h15 : session 5 Discutante : Aurélie Olivesi, ATER, LERASS, Montpellier 3 Ionela Baluta, MCF, Faculté de Sciences Politiques, Université de Bucarest « Le genre du corps dans la Roumanie post-communiste : l’exacerbation de la “féminité” des femmes politiques » Carmen Diop, doctorante, Paris 5 « Des femmes africaines sur le web. Présentation de soi et mise en scène du corps genré » 15H15 – 15H30 : pause 15h30-16h25 : session 6 Discutante : Christine Guionnet, MCF, CRAPE, Rennes 1 Fanny Bugnon, docteure, CERHIO, Angers, post-doctorante, Centre Emile Durkheim, Bordeaux « Le corps des terroristes. Médiatisation et dispositifs de genre dans la presse française (1970-1994) » Questions sessions 5 et 6 20h30 : Repas à Rennes Axe 3 - Médias et rôles de genre « inhabituels » Vendredi 16 mars 8h30-8h45 : accueil 8h45-10h45 : session 7 Discutant : Christophe Gimbert, MCF, CRAPE, Rennes 1 chercheure invitée : Geneviève Sellier, PU, Bordeaux 3, membre de l’IUF Sarah Sepulchre, Chargée de cours, Ecole de Communication, Institut langage et communication, Université catholique de Louvain « Les duos homme-femme dans les séries reproduisent-ils les oppositions actif/ passive, rationnel/irrationnelle ? Le cas des associations entre scientifique et policier » Gabrielle Trépanier-Jobin, doctorante GERSE, Homo Ludens, Université du Québec à Montréal « Le rôle de la parodie dans le dépassement des assignations de genre » Questions session 7 10H45 – 11H00 : Pause 11h-13h : session 8 Discutante : Marlène Coulomb-Gully, PU, LERASS, Toulouse 2 Alex Drouin, assistant de recherche et Mireille Lalancette professeure agrégée, Département de lettres et communication sociale, Université du Québec à Trois-Rivières « Charger, flatter et fouetter : une étude des représentations du genre dans la caricature politique » Sandrine Lévêque, MCF et Frédérique Matonti, PU, CESSP, Paris 1 « Martine Aubry est-elle une femme ? Les identités sexuées impossibles des femmes de pouvoir » Juliette Charbonneaux, doctorante GRIPIC-CELSA, Paris 4 « Le portrait d'Angela Merkel en chancelière. Approche comparative des traitements du Monde et de la Frankfurter Allgemeine Zeitung » Questions session 8 12H45 – 14H00 : repas 14h-15h15 : session 9 Discutante : Cégolène Frisque, MCF, CRAPE, Rennes 1 Natacha Ordioni, MCF HDR, Babel, Toulon « Garder la frontière : le discours de la presse écrite sur l’avancée en mixité » Maya Paltineau, doctorante CADIS, EHESS « La nouvelle image du père dans la presse écrite et audiovisuelle » Questions session 9 15H15 – 16H15 : synthèse du colloque ; Delphine Dulong, MCF, Paris 1
Lois de répartition des diviseurs. IV
Annales de l’institut Fourier, 1979
Cependant, il n'existe pas de suite (^.)^o de densité positive telle que la suite (D^)^o possède une loi limite [5]. Nous avons montré dans [5] que la suite des entiers n tels que A (À, t, n)^0 possède une densité h(\,t) qui est une fonction continue pour (X, t) i= (1 , 1) et qui vérifie : Ve>0 3c(e) W>2 h(\, t) <c(e) (1-À) 0 | log(l-X) F^6 (2) avec^^_ log^log^l og2 De plus la limite suivante existe et est une fonction continue i de X sur [0, 1] (voir [6]) h(\) := lim h(\,t). r->oo Nous nous proposons ici d'étudier plus précisément la fonction n '-^ A(X,^), en particulier sous l'aspect de sa fonction de répartition.
Lois de répartition des diviseurs, 1
Acta Arithmetica
L'accès aux archives de la collection « Séminaire Delange-Pisot-Poitou. Théorie des nombres » implique l'accord avec les conditions générales d'utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/