The Experts below are selected from a list of 1932 Experts worldwide ranked by ideXlab platform

Peter J. Ashenden - One of the best experts on this subject based on the ideXlab platform.

  • Components and Configurations
    The Designer's Guide to VHDL, 2002
    Co-Authors: Peter J. Ashenden
    Abstract:

    This chapter introduces an alternative way of describing the hierarchical structure of a design that affords significantly more flexibility at the cost of a little more effort in managing the design. The first thing that one needs to do in order to describe an interconnection of subsystems in a design is to describe the different kinds of Components used. A Component Declaration simply specifies the external interface to the Component in terms of generic constants and ports. If a Component Declaration defines a kind of module, then a Component instantiation specifies a usage of the module in a design. Work on a large design is partitioned among several designers, each responsible for implementing one or more entities that are used in the complete system. Each entity may need to have some associated types defined in a utility package, so that, entity ports can be declared using those types. It makes good sense to include a Component Declaration in the utility package along with the types and other related items. It means that the users of the entity do not need to rewrite the Declarations thus, avoiding a potential source of errors. For each Component, hierarchical implementation can be done by writing a configuration Declaration for the design. The chapter closes with a discussion of the configuration specifications , which provide a way of including binding information for Component instances in the same architecture body as the instances.

Farahnaz Kianersi - One of the best experts on this subject based on the ideXlab platform.

  • Studying the flourishing of Iranian students based on Seligman model and its comparison based on demographic variables
    2015
    Co-Authors: Samira Soleimani, Ali Mohammad Rezaei, Farahnaz Kianersi
    Abstract:

    Introduction: The basic objective of this paper was to study the flourishing of Iranian students based on Seligman model and its comparison based on demographic variables.  Methods: 400 subjects of all students enrolled in the second semester of academic year of 20142015 in Ferdowsi University of Mashhad were randomly classified and studied as the sample group. Flourishing questionnaire was used to test the hypotheses. The flourishing questionnaire includes four Components of positive emotions, relationships, meaning and achievement. To analyze the research data, the followings were used: percentage, mean, system dynamics (SD), multivariate analysis of variance, univariate analysis of variance and post hoc least significant difference (LSD) test. Results: Descriptive results showed that 5% of students are at wilting point; 30% have relative mental health and 65% are at flourishing state. The highest percentage of flourishing students was in the meaning Component (72.5%), while the lowest percentage of them was found in the positive emotions Component (59.75%). The results of MANOVA test and follow-up tests also showed that the flourishing rate of the students is not affected by father's education, mother's education, father's occupation, mother's occupation, school and residence of the students (native or non-native); however, the flourishing rate of the students in the relationships Component was significantly different with regard to the gender and education of the students; This means that the female students compared to the male students, and master and PhD students compared to the undergraduate students had earned higher scores in the relationships Component. Conclusion: At the end, according to the results of the present study, it is suggested to develop a unique intervention program to promote and foster flourishing of the students, while considering gender and educational differences in the relationships Component. Declaration of Interest: None.

Samira Soleimani - One of the best experts on this subject based on the ideXlab platform.

  • Studying the flourishing of Iranian students based on Seligman model and its comparison based on demographic variables
    2015
    Co-Authors: Samira Soleimani, Ali Mohammad Rezaei, Farahnaz Kianersi
    Abstract:

    Introduction: The basic objective of this paper was to study the flourishing of Iranian students based on Seligman model and its comparison based on demographic variables.  Methods: 400 subjects of all students enrolled in the second semester of academic year of 20142015 in Ferdowsi University of Mashhad were randomly classified and studied as the sample group. Flourishing questionnaire was used to test the hypotheses. The flourishing questionnaire includes four Components of positive emotions, relationships, meaning and achievement. To analyze the research data, the followings were used: percentage, mean, system dynamics (SD), multivariate analysis of variance, univariate analysis of variance and post hoc least significant difference (LSD) test. Results: Descriptive results showed that 5% of students are at wilting point; 30% have relative mental health and 65% are at flourishing state. The highest percentage of flourishing students was in the meaning Component (72.5%), while the lowest percentage of them was found in the positive emotions Component (59.75%). The results of MANOVA test and follow-up tests also showed that the flourishing rate of the students is not affected by father's education, mother's education, father's occupation, mother's occupation, school and residence of the students (native or non-native); however, the flourishing rate of the students in the relationships Component was significantly different with regard to the gender and education of the students; This means that the female students compared to the male students, and master and PhD students compared to the undergraduate students had earned higher scores in the relationships Component. Conclusion: At the end, according to the results of the present study, it is suggested to develop a unique intervention program to promote and foster flourishing of the students, while considering gender and educational differences in the relationships Component. Declaration of Interest: None.

Ali Mohammad Rezaei - One of the best experts on this subject based on the ideXlab platform.

  • Studying the flourishing of Iranian students based on Seligman model and its comparison based on demographic variables
    2015
    Co-Authors: Samira Soleimani, Ali Mohammad Rezaei, Farahnaz Kianersi
    Abstract:

    Introduction: The basic objective of this paper was to study the flourishing of Iranian students based on Seligman model and its comparison based on demographic variables.  Methods: 400 subjects of all students enrolled in the second semester of academic year of 20142015 in Ferdowsi University of Mashhad were randomly classified and studied as the sample group. Flourishing questionnaire was used to test the hypotheses. The flourishing questionnaire includes four Components of positive emotions, relationships, meaning and achievement. To analyze the research data, the followings were used: percentage, mean, system dynamics (SD), multivariate analysis of variance, univariate analysis of variance and post hoc least significant difference (LSD) test. Results: Descriptive results showed that 5% of students are at wilting point; 30% have relative mental health and 65% are at flourishing state. The highest percentage of flourishing students was in the meaning Component (72.5%), while the lowest percentage of them was found in the positive emotions Component (59.75%). The results of MANOVA test and follow-up tests also showed that the flourishing rate of the students is not affected by father's education, mother's education, father's occupation, mother's occupation, school and residence of the students (native or non-native); however, the flourishing rate of the students in the relationships Component was significantly different with regard to the gender and education of the students; This means that the female students compared to the male students, and master and PhD students compared to the undergraduate students had earned higher scores in the relationships Component. Conclusion: At the end, according to the results of the present study, it is suggested to develop a unique intervention program to promote and foster flourishing of the students, while considering gender and educational differences in the relationships Component. Declaration of Interest: None.

Dhammika Elkaduwe - One of the best experts on this subject based on the ideXlab platform.

  • A principled approach to kernel memory management
    2010
    Co-Authors: Dhammika Elkaduwe
    Abstract:

    350 words maximum: (PLEASE TYPE) Small kernels are a promising approach to secure and reliable system construction. These systems reduce the size of the kernel to a point where it is feasible to formally verify the implementation correctness of the kernel with respect to an abstract formal model of the kernel's behaviour. The abstract formal model facilitates the enforcement, and reasoning about the enforcement, of different policies between user-level Components that constitute the system, and the formal verification connects the reasoning with the deployed kernel. In this work, a model for managing the in-kernel memory of a formally verified, small kernel is designed and evaluated for its formal and empirical characteristics. The design eliminates all implicit memory allocations within the kernel by promoting all dynamically allocated kernel memory into first-class, explicitly allocated kernel objects. This reduces the problem of kernel memory management to that of controlling the authority to perform these explicit allocations and controlling the dissemination of authority over already allocated objects. A formal security model capturing the behaviour of the kernel is developed by extending the take-grant model and formal analysis is carried out to demonstrate that the model is capable of enforcing spatial partitioning and isolation. The extension preserves the decidability of take-grant while providing the ability to reason about kernel memory consumption of Components which is not feasible in the original model. Performance of the model is evaluated using a prototype implementation based on an L4 microkernel. The analysis shows no performance degradation due to exporting all in-kernel memory allocations to user-level. When enforcing spatial partitioning over a para-virtualised Linux kernel the model shows performance improvements compared to a L4 based system enforcing a similar policy by run-time monitoring and shows similar performance to a L4 system that attempts no control over memory consumption, and a Xen-based system. This work demonstrates the feasibility of exporting all in-kernel memory allocations to user-level through a capability-based, decidable, security model. The model shows no performance degradation and can be used to make strong formal guarantees on memory consumption of a Component. Declaration relating to disposition of project thesis/dissertation I hereby grant to the University of New South Wales or its agents the right to archive and to make available my thesis or dissertation in whole or in part in the University libraries in all forms of media, now or here after known, subject to the provisions of the Copyright Act 1968. I retain all property rights, such as patent rights. I also retain the right to use in future works (such as articles or books) all or part of this thesis or dissertation. I also authorise University Microfilms to use the 350 word abstract of my thesis in Dissertation Abstracts International (this is applicable to doctoral theses only). Signature Witness Date The University recognises that there may be exceptional circumstances requiring restrictions on copying or conditions on use. Requests for restriction for a period of up to 2 years must be made in writing. Requests for a longer period of restriction may be considered in exceptional circumstances and require the approval of the Dean of Graduate Research. FOR OFFICE USE ONLY Date of completion of requirements for Award: THIS SHEET IS TO BE GLUED TO THE INSIDE FRONT COVER OF THE THESIS ORIGINALITY STATEMENT ‘I hereby declare that this submission is my own work and to the best of my knowledge it contains no materials previously published or written by another person, or substantial proportions of material which have been accepted for the award of any other degree or diploma at UNSW or any other educational institution, except where due acknowledgement is made in the thesis. Any contribution made to the research by others, with whom I have worked at UNSW or elsewhere, is explicitly acknowledged in the thesis. I also declare that the intellectual content of this thesis is the product of my own work, except to the extent that assistance from others in the project's design and conception or in style, presentation and linguistic expression is acknowledged.’ Signed Date