8 resultados para C (Programming Language)
em Université de Montréal, Canada
Resumo:
Dans le but doptimiser la reprsentation en mmoire des enregistrements Scheme dans le compilateur Gambit, nous avons introduit dans celui-ci un systme dannotations de type et des vecteurs contenant une reprsentation abrge des enregistrements. Ces derniers omettent la rfrence vers le descripteur de type et lentte habituellement prsents sur chaque enregistrement et utilisent plutt un arbre de typage couvrant toute la mmoire pour retrouver le vecteur contenant une rfrence. Limplmentation de ces nouvelles fonctionnalits se fait par le biais de changements au runtime de Gambit. Nous introduisons de nouvelles primitives au langage et modifions larchitecture existante pour grer correctement les nouveaux types de donnes. On doit modifier le garbage collector pour prendre en compte des enregistrements contenants des valeurs htrognes alignements irrguliers, et lexistence de rfrences contenues dans dautres objets. La gestion de larbre de typage doit aussi tre faite automatiquement. Nous conduisons ensuite une srie de tests de performance visant dterminer si des gains sont possibles avec ces nouvelles primitives. On constate une amlioration majeure de performance au niveau de lallocation et du comportement du gc pour les enregistrements typs de grande taille et des vecteurs denregistrements typs ou non. De lgers surcots sont toutefois encourus lors des accs aux champs et, dans le cas des vecteurs denregistrements, au descripteur de type.
Resumo:
Ce mmoire prsente une implantation de la cration paresseuse de tches desti- ne des systmes multiprocesseurs mmoire distribue. Elle offre un sous-ensemble des fonctionnalits du Message-Passing Interface et permet de parallliser certains problmes qui se partitionnent difficilement de manire statique grce un systme de partitionnement dynamique et de balancement de charge. Pour ce faire, il se base sur le langage Multilisp, un dialecte de Scheme orient vers le traitement parallle, et implante sur ce dernier une interface semblable MPI permettant le calcul distribu multipro- cessus. Ce systme offre un langage beaucoup plus riche et expressif que le C et rduit considrablement le travail ncessaire au programmeur pour pouvoir dvelopper des programmes quivalents ceux en MPI. Enfin, le partitionnement dynamique permet de concevoir des programmes qui seraient trs complexes raliser sur MPI. Des tests ont t effectus sur un systme local 16 processeurs et une grappe 16 processeurs et il offre de bonnes acclrations en comparaison des programmes squentiels quiva- lents ainsi que des performances acceptables par rapport MPI. Ce mmoire dmontre que lusage des futures comme technique de partitionnement dynamique est faisable sur des multiprocesseurs mmoire distribue.
Resumo:
Les structures avec des lieurs sont trs communes en informatique. Les langages de programmation et les systmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est dlicate, de sorte que lcriture de programmes qui ma- nipulent ces structures tirerait profit dun soutien spcifique pour les lieurs. Lenviron- nement de programmation Beluga est un exemple dun tel systme. Nous dveloppons et prsentons ici un compilateur pour ce systme. Parmi les programmes pour lesquels Beluga est spcialement bien adapt, plusieurs peuvent bnficier dun compilateur. Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interprteurs tirent profit du soutien spcifique des lieurs et des types dpendants prsents dans le langage. Ils ncessitent tous galement une excution efficace, que lon propose dobtenir par le biais dun compilateur. Le but de ce travail est de prsenter un nouveau compilateur pour Beluga, qui emploie une reprsentation interne polyvalente et permet de partager du code entre plusieurs back-ends. Une contribution notable est la compilation du filtrage de Beluga, qui est particulirement puissante dans ce langage.
Resumo:
UNE EXPOSITION NONATALE LOXYGNE MNE DES MODIFICATIONS DE LA FONCTION MITOCHONDRIALE CHEZ LE RAT ADULTE Introduction: Lexposition loxygne (O2) des ratons nouveau-ns a des consquences lge adulte dont une hypertension artrielle (HTA), une dysfonction vasculaire, une nphropnie et des indices de stress oxydant. En considrant que les reins sont encore en dveloppement actif lors des premiers jours aprs la naissance chez les rats, jouent un rle cl dans le dveloppement de lhypertension et quune dysfonction mitochondriale est associ une augmentation du stress oxydant, nous postulons que les conditions dltres nonatales peuvent avoir un impact significatif au niveau rnal sur la modulation de lexpression de protines cls du fonctionnement mitochondrial et une production mitochondriale excessive despces ractives de l O2. Mthodes: Des ratons Sprague-Dawley sont exposs 80% dO2 (H) ou 21% O2 (Ctrl) du 3e au 10e jr de vie. En considrant que plusieurs organes des rats sont encore en dveloppement actif la naissance, ces rongeurs sont un modle reconnu pour tudier les complications dune hyperoxie nonatale, comme celles lies une naissance prmature chez lhomme. 4 et 16 semaines, les reins sont prlevs et les mitochondries sont extraites suivant une mthode dextraction standard, avec un tampon contenant du sucrose 0.32 M et diffrentes centrifugations. Lexpression des protines mitochondriales a t mesure par Western blot, tandis que la production d H202 et les activits des enzymes cls du cycle de Krebs ont t values par spectrophotomtrie. Les rsultats sont exprims par la moyenne SD. Rsultats: Les rats mles H de 16 semaines (n=6) prsentent une activit de citrate synthase (considr standard interne de lexpression protique et de labondance mitochondriales) augmente (12.4 8.4 vs 4.1 0.5 mole/mL/min), une diminution de lactivit daconitase (enzyme sensible au redox mitochondrial) (0.11 0.05 vs 0.20 0.04 moles/min/mg mitochondrie), ainsi quune augmentation dans la production de H202 (7.0 1.3 vs 5.4 0.8 moles/mg protines mitochondriales) comparativement au groupe Ctrl (n=6 mles et 4 femelles). Le groupe H (vs Ctrl) prsente galement une diminution dans lexpression de peroxiredoxin-3 (Prx3) (H 0.610.06 vs. Ctrl 0.780.02 unit relative, -23%; p<0.05), une protine implique dans llimination d H202, de lexpression du cytochrome C oxidase (Complexe IV) (H 1.020.04 vs. Ctrl 1.200.02 unit relative, -15%; p<0.05), une protine de la chaine de respiration mitochondriale, tandis que lexpression de la protine de dcouplage (uncoupling protein)-2 (UCP2), implique dans la dispersion du gradient proton, est significativement augmente (H 1.050.02 vs. Ctrl 0.900.03 unit relative, +17%; p<0.05). Les femelles H (n=6) (vs Ctrl, n=6) de 16 semaines dmontrent une augmentation significative de lactivit de laconitase (0.330.03 vs 0.170.02 moles/min/mg mitochondrie), de lexpression de lATP synthase sous unit (H 0.730.02 vs. Ctrl 0.590.02 unit relative, +25%; p<0.05) et de lexpression de MnSOD (H 0.890.02 vs. Ctrl 0.740.03 unit relative, +20%; p<0.05) (superoxide dismutase mitochondriale, important antioxidant), tandis que lexpression de Prx3 est significativement rduite (H 1.10.07 vs. Ctrl 0.850.01 unit relative, -24%; p<0.05). 4 semaines, les mles H (vs Ctrl) prsentent une augmentation significative de lexpression de Prx3 (H 0.720.03 vs. Ctrl 0.560.04 unit relative, +31%; p<0.05) et les femelles prsentent une augmentation significative de lexpression dUCP2 (H 1.220.05 vs. Ctrl 1.030.04 unit relative, +18%; p<0.05) et de lexpression de MnSOD (H 1.360.01 vs. 1.190.06 unit relative, +14%; p<0.05). Conclusions: Une exposition nonatale lO2 chez le rat adulte mne des indices de dysfonction mitochondriale dans les reins adultes, associe une augmentation dans la production despces ractives de loxygne, suggrant que ces modifications mitochondriales pourraient jouer un rle dans lhypertension artrielle et dun stress oxydant, et par consquent, tre un facteur possible dans la progression vers des maladies cardiovasculaires. Mots-cls: Mitochondries, Reins, Hypertension, Oxygne, Stress Oxydant, Programmation
Resumo:
"Lenregistrement de noms de domaine, bas sur la rgle du premier arriv, premier servi , na pas chapp des personnes peu scrupuleuses qui se sont empresses denregistrer comme noms de domaine des marques de commerce, phnomne connu sous le nom de cybersquattage . LU.D.R.P. (Uniform domain name Dispute Resolution Policy) est une procdure internationale qui a t adopte pour rgler les diffrends relatifs cette pratique. La procdure de lU.D.R.P. est conue pour tre rapide, efficace et simple. Mme si le fardeau de preuve reposant sur le titulaire de marque de commerce peut sembler lourd, lanalyse de la procdure dmontre quelle noffre pas aux dtenteurs de noms de domaine un procs juste et quitable, notamment en raison des dlais trs courts, de labsence de voies de recours internes en cas de dfaut et de lobligation de saisir les tribunaux de droit commun. La procdure de lU.D.R.P. ne prsente aussi aucun caractre dissuasif envers les titulaires de marques qui tenteraient de sapproprier un nom de domaine enregistr dans des conditions lgitimes. Une tude des dcisions issues de la Procdure U.D.R.P. rvle quil existe un dsquilibre flagrant en faveur des titulaires de marques de commerces; les organismes accrdits se taillant la plus grande part du march sont ceux dont les dcisions sont gnralement plus favorables aux titulaires de marques. Une varit darguments sont avancs pour expliquer ces rsultats mais les tudes dmontrent que la Procdure U.D.R.P. doit faire lobjet de rformes. La rforme devrait comprendre deux volets : premirement, la modification du mode de dsignation des organismes accrdits chargs dadministrer la Procdure U.D.R.P. ainsi que la modification du processus de slection des commissaires; deuximement, une rforme relative aux dlais, la langue des procdures et au phnomne des procdures abusives intentes par des dtenteurs de marques de commerce l?gard denregistrements lgitimes."
Resumo:
La programmation linaire en nombres entiers est une approche robuste qui permet de rsoudre rapidement de grandes instances de problmes d'optimisation discrte. Toutefois, les problmes gagnent constamment en complexit et imposent parfois de fortes limites sur le temps de calcul. Il devient alors ncessaire de dvelopper des mthodes spcialises afin de rsoudre approximativement ces problmes, tout en calculant des bornes sur leurs valeurs optimales afin de prouver la qualit des solutions obtenues. Nous proposons d'explorer une approche de reformulation en nombres entiers guide par la relaxation lagrangienne. Aprs l'identification d'une forte relaxation lagrangienne, un processus systmatique permet d'obtenir une seconde formulation en nombres entiers. Cette reformulation, plus compacte que celle de Dantzig et Wolfe, comporte exactement les mmes solutions entires que la formulation initiale, mais en amliore la borne linaire: elle devient gale la borne lagrangienne. L'approche de reformulation permet d'unifier et de gnraliser des formulations et des mthodes de borne connues. De plus, elle offre une manire simple d'obtenir des reformulations de moins grandes tailles en contrepartie de bornes plus faibles. Ces reformulations demeurent de grandes tailles. C'est pourquoi nous dcrivons aussi des mthodes spcialises pour en rsoudre les relaxations linaires. Finalement, nous appliquons l'approche de reformulation deux problmes de localisation. Cela nous mne de nouvelles formulations pour ces problmes; certaines sont de trs grandes tailles, mais nos mthodes de rsolution spcialises les rendent pratiques.
Resumo:
Cette thse tudie des modles de squences de haute dimension bass sur des rseaux de neurones rcurrents (RNN) et leur application la musique et la parole. Bien qu'en principe les RNN puissent reprsenter les dpendances long terme et la dynamique temporelle complexe propres aux squences d'intrt comme la vido, l'audio et la langue naturelle, ceux-ci n'ont pas t utiliss leur plein potentiel depuis leur introduction par Rumelhart et al. (1986a) en raison de la difficult de les entraner efficacement par descente de gradient. Rcemment, l'application fructueuse de l'optimisation Hessian-free et d'autres techniques d'entranement avances ont entran la recrudescence de leur utilisation dans plusieurs systmes de l'tat de l'art. Le travail de cette thse prend part ce dveloppement. L'ide centrale consiste exploiter la flexibilit des RNN pour apprendre une description probabiliste de squences de symboles, c'est--dire une information de haut niveau associe aux signaux observs, qui en retour pourra servir d' priori pour amliorer la prcision de la recherche d'information. Par exemple, en modlisant l'volution de groupes de notes dans la musique polyphonique, d'accords dans une progression harmonique, de phonmes dans un nonc oral ou encore de sources individuelles dans un mlange audio, nous pouvons amliorer significativement les mthodes de transcription polyphonique, de reconnaissance d'accords, de reconnaissance de la parole et de sparation de sources audio respectivement. L'application pratique de nos modles ces tches est dtaille dans les quatre derniers articles prsents dans cette thse. Dans le premier article, nous remplaons la couche de sortie d'un RNN par des machines de Boltzmann restreintes conditionnelles pour dcrire des distributions de sortie multimodales beaucoup plus riches. Dans le deuxime article, nous valuons et proposons des mthodes avances pour entraner les RNN. Dans les quatre derniers articles, nous examinons diffrentes faons de combiner nos modles symboliques des rseaux profonds et la factorisation matricielle non-ngative, notamment par des produits d'experts, des architectures entre/sortie et des cadres gnratifs gnralisant les modles de Markov cachs. Nous proposons et analysons galement des mthodes d'infrence efficaces pour ces modles, telles la recherche vorace chronologique, la recherche en faisceau haute dimension, la recherche en faisceau lagu et la descente de gradient. Finalement, nous abordons les questions de l'tiquette biaise, du matre imposant, du lissage temporel, de la rgularisation et du pr-entranement.
Resumo:
En la actualidad, el uso de las tecnologas ha sido primordial para el avance de las sociedades, estas han permitido que personas sin conocimientos informticos o usuarios llamados no expertos se interesen en su uso, razn por la cual los investigadores cientficos se han visto en la necesidad de producir estudios que permitan la adaptacin de sistemas, a la problemtica existente dentro del mbito informtico. Una necesidad recurrente de todo usuario de un sistema es la gestin de la informacin, la cual se puede administrar por medio de una base de datos y lenguaje especfico, como lo es el SQL (Structured Query Language), pero esto obliga al usuario sin conocimientos a acudir a un especialista para su diseo y construccin, lo cual se ve reflejado en costos y mtodos complejos, entonces se plantea una pregunta qu hacer cuando los proyectos son pequeas y los recursos y procesos son limitados? Teniendo como base la investigacin realizada por la universidad de Washington[39], donde sintetizan sentencias SQL a partir de ejemplos de entrada y salida, se pretende con esta memoria automatizar el proceso y aplicar una tcnica diferente de aprendizaje, para lo cual utiliza una aproximacin evolucionista, donde la aplicacin de un algoritmo gentico adaptado origina sentencias SQL vlidas que responden a las condiciones establecidas por los ejemplos de entrada y salida dados por el usuario. Se obtuvo como resultado de la aproximacin, una herramienta denominada EvoSQL que fue validada en este estudio. Sobre los 28 ejercicios empleados por la investigacin [39], 23 de los cuales se obtuvieron resultados perfectos y 5 ejercicios sin xito, esto representa un 82.1% de efectividad. Esta efectividad es superior en un 10.7% al establecido por la herramienta desarrollada en [39] SQLSynthesizer y 75% ms alto que la herramienta siguiente ms prxima Query by Output QBO[31]. El promedio obtenido en la ejecucin de cada ejercicio fue de 3 minutos y 11 segundos, este tiempo es superior al establecido por SQLSynthesizer; sin embargo, en la medida un algoritmo gentico supone la existencia de fases que amplan los rangos de tiempos, por lo cual el tiempo obtenido es aceptable con relacin a las aplicaciones de este tipo. En conclusin y segn lo anteriormente expuesto, se obtuvo una herramienta automtica con una aproximacin evolucionista, con buenos resultados y un proceso simple para el usuario no experto.
