Sökning: "code properties"

Visar resultat 1 - 5 av 305 avhandlingar innehållade orden code properties.

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

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

    Sammanfattning : 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. LÄS MER

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

    Författare :Inka Laura Marie Locht; Igor Di Marco; Olle Eriksson; Annalisa Fasolino; Mikhail I. Katsnelson; Tim Wehling; Uppsala universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  4. 3. An Encounter with Convolutional Codes over Rings

    Författare :Emma Wittenmark; Institutionen för elektro- och informationsteknik; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  5. 4. Tales of Tailbiting Codes

    Författare :Marc Handlery; Institutionen för elektro- och informationsteknik; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

    Författare :Siavash Soleimanifard; Dilian Gurov; Gerardo Schneider; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Modular Verification; Compositional Verification; Maximal Models; Model Checking; Temporal Properties;

    Sammanfattning : 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. LÄS MER