Les optimisations jouent un rôle majeur dans la compilation des programmes embarqués. Elles interviennent à tous les niveaux, et sur les différentes représentations intermédiaires. En effet, les systèmes embarqués imposent souvent de lourdes contraintes à la fois sur l'espace disponible en mémoire et sur la puissance de calcul utilisable. La structure habituelle d'un compilateur lui fait collecter les informations de débogage au début du processus de compilation, pour les ajouter au fichier binaire à la toute fin. De ce fait, si le programme est modifié par les optimisations, les informations de débogage présentes dans le fichier binaire sont en partie incorrectes. Or le débogueur s'appuie sur ces informations afin de répondre aux requêtes de l'utilisateur. Si elles ne correspondent plus à la réalité du programme, les informations données à l'utilisateur seront erronées. Ainsi la méthode classique de débogage de programme est de développer sans optimisation de compilation durant la phase de mise au point et quand le produit est prêt à être livré, le compiler avec le maximum d'optimisations. Cette méthode ne convient pas au cycle de développement dans le contexte des systèmes embarqués. Notre approche est de présenter l'exécution du programme optimisé au développeur, de manière à ce qu'il comprenne aisément le lien avec le code source, malgré les transformations appliquées par le compilateur. L'idée est de ne pas émuler l'exécution du programme non-optimisé à partir de l'exécution du programme optimisé. Le développeur de programmes embarqués a des connaissances que nous allons exploiter. À partir d'une analyse de l'état de l'art du débogage de code optimisé et des outils fournis par STMicroelectronics, nous avons cherché à développer une solution viable industriellement. Notre parti est de montrer la réalité à l'utilisateur, de faire ce que P. Zellweger et J. Hennessy ont défini comme étant du débogage non-transparent. Il offre au développeur la possibilité de comprendre l'exécution de son programme. Afin de tracer les modifications effectuées par le compilateur, nous proposons d'étiqueter chaque instruction du code source lors de la compilation. Il s'agit ensuite pour le compilateur de maintenir de manière précise les étiquettes utilisées par optimisation et de propager cette information tout au long de la compilation. Ajoutées au fichier binaire en tant qu'informations de débogage, elles sont ensuite utilisées par le débogueur afin de répondre sans erreurs aux interrogations de l'utilisateur. L'ensemble des expérimentations est fait sur le compilateur mmdspcc et l'infrastructure IDbug.

La construction d'une application répartie fait en général intervenir une couche logicielle particulière, appelée intergiciel, qui prend en charge la transmission des données entre les différents noeuds de l'application. La conception d'applications pour les systèmes embarqués temps-réel implique la prise en compte de certaines contraintes spécifiques à ce domaine, que ce soit en terme fiabilité ou de dimensions à la fois temporelles et spatiales. Ces contraintes doivent notamment être respectées par l'intergiciel. L'objet de ces travaux est la description des applications temps-réel réparties embarquées en vue de configurer automatiquement l'intergiciel adéquat. L'étude se focalise sur la définition d'un processus de conception permettant d'intégrer les phases de description, de vérification et de génération de l'application complète. Pour cela, nous nous reposons sur le langage de description d'architecture AADL. Nous l'exploitons comme passerelle entre la phase de description de l'architecture applicative, les formalismes de vérification, la génération du code exécutable et la configuration de l'exécutif réparti. Nous montrons comment spécifier un exécutif pour AADL afin de produire automatiquement le code applicatif et l'intergiciel pour une application répartie. Nous montrons également comment exploiter ces spécifications pour produire un réseau de Petri afin d'étudier l'intégrité des flux d'exécution dans l'architecture. Afin de valider notre processus de conception, nous avons conçu et développé Ocarina, un compilateur pour AADL qui utilise l'intergiciel schizophrène PolyORB comme exécutif.

Cette thèse traite du problème de la synchronisation de porteuse pour la transmission de données entre un satellite géostationnaire et un terminal utilisateur. L'étude menée ici se rapporte plus précisément à des systèmes multimédia large bande exploitant les bandes Ku/Ka. Les systèmes actuellement envisagés se fondent par ailleurs sur des modulations de phase et les normes les plus récentes privilégient des ordres de modulations élevés afin d'augmenter l'efficacité spectrale des systèmes. A faible rapport signal à bruit, les techniques de synchronisation classiques ne sont pas suffisamment performantes pour garantir la qualité de service requise. Les algorithmes proposés dans cette étude se fondent sur le décodage souple d'un code de parité simple pour la synchronisation de phase porteuse. Nous étudions d'abord comment extraire une information de décodage à partir des symboles reçus, et comment l'exploiter lors de la synchronisation de phase. Deux algorithmes de synchronisation issus du maximum de vraisemblance sont déduits de cette approche, le premier fondé sur une boucle de phase et adapté aux transmissions continues, le second sur un estimateur direct et adapté à des transmissions par paquets courts. Les résultats de simulations présentés dans cette thèse sont fondés sur un modèle de transmission inspiré de la norme DVB-S2. Nous montrons que dans un contexte tel que celui de transmissions multimédia par satellite, les algorithmes proposés constituent une alternative intéressante à l'utilisation de symboles pilotes pour l'initialisation d'algorithmes itératifs plus performants.

<p>A new, template-based code generator has been implemented for the OpenModelica compiler. All data needed for target code generation has been collected in a new data structure that is then sent to templates which generate target code based on that data. This simplifies the implementation of the code generator and also makes it possible to write a different set of templates to generate target code in a different language.</p><p>The new, template-based code generator currently only supports generation of target code for simulating Modelica models. In that scenario it translates models roughly at the same speed as the old code generator.</p>

<p>We study the problem of list decoding with focus on the case when we have a list size limited to two. Under this restriction we derive general lower bounds on the maximum possible size of a list-of-2-decodable code. We study the set of correctable error patterns in an attempt to obtain a characterization. For a special family of Reed-Solomon codes - which we identify and name 'class-I codes' - we give a weight-based characterization of the correctable error patterns under list-of-2 decoding. As a tool in this analysis we use the theoretical framework of Sudan's algorithm. The characterization is used in an exact calculation of the probability of transmission error in the symmetric channel when list-of-2 decoding is used. The results from the analysis and complementary simulations for QAM-systems show that a list-of-2 decoding gain of nearly 1 dB can be achieved.</p><p>Further we study Sudan's algorithm for list decoding of Reed-Solomon codes for the special case of the class-I codes. For these codes algorithms are suggested for both the first and second step of Sudan's algorithm. Hardware solutions for both steps based on the derived algorithms are presented.</p>

<p>To let many users benefit from the high speed communication in an optical fiber, a way to share the channel is needed. One way to share the channel between the users is the multiple access technique of Code Division Multiple Access, CDMA. This technique is based on coding. By assigning the users different codewords, the receiver is able to distinguish the information sent from each user. One family of codes suitable to use in a fiber optic network is the constant weight Optical Orthogonal Codes, OOC.</p><p>To influence the users interference tolerability it is possible to assign the users codewords of the same length but with different weights. By letting the users have codewords of different length it is possible to have different data rates in the system. These two versions of optical orthogonal codes, with variable length and weight, are investigated in this thesis for their cardinality. The variable weight and variable length codes were created by combining optical orthogonal codes with different parameters.</p><p>I have found that for variable length OOC:s of weight 2 it seems to be possible to increase the cardinality of a code, but for codes with higer weights than that, it is better that all users are assigned codewords of the same length. But since an upper bound for the cardinality of these types of codes has not been found, it is not possible to verify if this conclusion is correct. For variable weight OOC:s it is found that it is only possible to increase the cardinality of small, not optimal, codes. For codes including many codewords it is rarely possible to include more codewords without breaking the conditions on cross correlation between the codewords.</p>

No description available.

<p>This study aims to find out what students think about bilingualism as well as whether there are advantages and disadvantages of it, based on the children's perspective. All children in this class are bilingual, is thus a mother tongue other than Swedish. All were born in Sweden but has parents who are originally from / born in other countries in addition to having mom who was born in Sweden but originally from another country. In my study I have chosen to use qualitative methods in which I used semi-structured interviews and non participant observations. In the study, I have come to interview the children think that being bilingual is good, they mean that there are some drawbacks to this except that it can sometimes be a bit hard when someone does not understand. Also what they think is good with bilingualism is that you can use the languages depending on where you are, if they go to their homeland, they speak their mother tongue with people, relatives because they do not understand Swedish. Or sometimes they need their mother tongue during lesson time when they do not understand a word. Or when they work together with someone who speaks the same language as them, then they sometimes speak the language because it is easier to explain and understand. Being bilingual has formerly been regarded as something negative, but with time, this in turn has changed. Today it has become increasingly common to be bilingual or multilingual, the more languages you know, the better you can get in the society, and then you can switch between languages. To know two languages gives the individual a broader cultural experience.</p>

This paper describes an intuitive way of defining geometry design variables for solving structural topology optimization problems using a genetic algorithm (GA). The geometry representation scheme works by defining a skeleton that represents the underlying topology/connectivity of the continuum structure. As the effectiveness of any GA is highly dependent on the chromosome encoding of the design variables, the encoding used here is a directed graph which reflects this underlying topology so that the genetic crossover and mutation operators of the GA can recombine and preserve any desirable geometric characteristics through succeeding generations of the evolutionary process. The overall optimization procedure is tested by solving a simulated topology optimization problem in which a 'target' geometry is pre-defined with the aim of having the design solutions converge towards this target shape. The procedure is also applied to design a straight-line compliant mechanism : a large displacement flexural structure that generates a vertical straight line path at some point when given a horizontal straight line input displacement at another point. / Singapore-MIT Alliance (SMA)

This thesis focuses on the negotiation of power and identity between Swiss students and instructors in the Swiss classroom. Although Schriftdeutsch1 is the official language of secondary schools in Switzerland, speakers often practice code-switching, which serves many conversational functions (Auer 1998). This paper examines how Germans-peaking Swiss use code-switching strategies to negotiate power and identity in the classroom. My data is drawn from interactions in the classroom and a short interview. Using a constructivist methodology based on conversation analysis (Antaki & Widdicombe 1998; Meinhof & Galasinski 2005; Pavlenko & Blackledge 2004), I analyse classroom discussion in terms of the discourse functions of code-switching and how Swiss German is used to negotiate power and identity in interaction. This thesis reveals an unmarked classroom situation and shows that codeswitching fulfills important functions in classroom discourse. / Applied Linguistics