Sökning: "code properties"
Visar resultat 1 - 5 av 305 avhandlingar innehållade orden code properties.
1. From Models to Code and Back : A Round-trip Approach for Model-driven Engineering of Embedded Systems
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
2. Cohesive and Spectroscopic properties of the Lanthanides within the Hubbard I Approximation
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
3. An Encounter with Convolutional 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
4. Tales of Tailbiting Codes
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
5. Procedure-Modular Verification of Temporal Safety 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