Search for dissertations about: "Modular"

Showing result 6 - 10 of 380 swedish dissertations containing the word Modular.

  2. 6. Decentralized Modular Router Architectures

    Author : Markus Hidell; Gunnar Karlsson; Peter Sjödin; Gísli Hjálmtýsson; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Internet; Router architectures; Communication systems; Distributed systems; Telecommunication; Telekommunikation;

    Abstract : The Internet grows extremely fast in terms of number of users and traffic volume, as well as in the number of services that must be supported. This development results in new requirements on routers—the main building blocks of the Internet. READ MORE

  4. 7. Modular Normalization with Types

    Author : Nachiappan Valliappan; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Programming Languages; Functional Programming;

    Abstract : With the increasing use of software in today’s digital world, software is becoming more and more complex and the cost of developing and maintaining software has skyrocketed. It has become pressing to develop software using effective tools that reduce this cost. READ MORE

  5. 8. 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

  6. 9. Representation of Modular and Platform-Based Products

    Author : Anders Claesson; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; system structure; modularization; modular products; configurable components; product model; platform-based products; function-means modeling; configuration; axiomatic design; product variants;

    Abstract : Product development within the automotive industry is a challenging task for many reasons. There is an ongoing globalization and a constant evolution in the relationships between the OEMs and their suppliers driving an almost constant stream of changes and new challenges to well-established organizations and companies. READ MORE

  7. 10. Computing Vector-valued Modular Forms of Congruence Types and of Some Extension Types

    Author : Tobias Magnusson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; eisenstein series; modular forms; iterated eichler-shimura integrals; vector-valued modular forms;

    Abstract : This thesis explores applications of vector-valued modular forms of congruence and extension types to scalar-valued modular forms for congruence subgroups with a character, higher order modular forms, and iterated Eichler-Shimura integrals of depth one and two, including considerable generalizations thereof. In \textsc{Paper I} (co-authored with Martin Raum), we present an algorithm for computing bases for spaces of vector-valued modular forms of congruence type and of weight at least $2$ in terms of products of components of vector-valued Eisenstein series. READ MORE