Search for dissertations about: "code properties"

Showing result 1 - 5 of 304 swedish dissertations containing the words code properties.

  2. 1. From Models to Code and Back : A Round-trip Approach for Model-driven Engineering of Embedded Systems

    Author : Federico Ciccozzi; Mikael Sjödin; Antonio Cicchetti; Dániel Varró; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; model-driven engineering; embedded systems; code generation; extra-functional properties; back-propagation; Computer Science; datavetenskap;

    Abstract : The complexity of modern systems is continuously growing, thus demanding novel powerful development approaches.In this direction, model-driven and component-based software engineering have reached the status of promising paradigms for the development of complex systems. READ MORE

  4. 2. Cohesive and Spectroscopic properties of the Lanthanides within the Hubbard I Approximation

    Author : Inka Laura Marie Locht; Igor Di Marco; Olle Eriksson; Annalisa Fasolino; Mikhail I. Katsnelson; Tim Wehling; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Lantanides; rare earths; cohesive properties; volume; bulk modulus; magnetism; magnetic properties; photoemission spectroscopy; XPS; BIS; Hubbard I Approximation; DMFT; DFT; RSPt; Full Potential Linear Muffin-tin orbitals; 4f electrons; localization; bonding; Physics with spec. in Atomic; Molecular and Condensed Matter Physics; Fysik med inriktning mot atom- molekyl- och kondenserande materiens fysik;

    Abstract : We describe the rare-earth elements using the Hubbard I approximation. We show that the theory reproduces the cohesive properties, like the volume and bulk modulus, and we find an excellent agreement between theory and experiment for the (inverse) photo emission spectra of the valence band. READ MORE

  5. 3. An Encounter with Convolutional Codes over Rings

    Author : Emma Wittenmark; Institutionen för elektro- och informationsteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Telekommunikationsteknik; Data- och systemvetenskap; Telecommunication engineering; computer technology; direct sum decomposition of a ring; Systems engineering; minimal trellis; generator matrix properties; code properties; convolutional codes; codes over rings;

    Abstract : Convolutional codes is one possibility when there is a need for error-correcting codes in communication systems. Using convolutional codes over rings is a relatively new approach. READ MORE

  6. 4. Tales of Tailbiting Codes

    Author : Marc Handlery; Institutionen för elektro- och informationsteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; maximum-likelihood decoding algorithm; minimum distance; active distance; woven convolutional code; tailbiting termination method; convolutional code; tailbiting code; Informatics; systems theory; Informatik; systemteori;

    Abstract : Tailbiting codes are error correcting codes and can be used in digital transmission systems. They are obtained by terminating convolutional codes into block codes. This thesis consists of an introduction to convolutional and tailbiting codes, and the Papers A--G that include the main results. READ MORE

  7. 5. Procedure-Modular Verification of Temporal Safety Properties

    Author : Siavash Soleimanifard; Dilian Gurov; Gerardo Schneider; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Modular Verification; Compositional Verification; Maximal Models; Model Checking; Temporal Properties;

    Abstract : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. READ MORE