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

Olivier Sentieys - One of the best experts on this subject based on the ideXlab platform.

  • Design of Optimized Fixed-point WCDMA Receiver
    2009
    Co-Authors: Nguyen Hai Nam, Daniel Menard, Olivier Sentieys
    Abstract:

    To satisfy energy and complexity Constraints, embedded wireless systems require fixed-point arithmetic implementation. To optimize the fixed-point specification, existing approaches are based on fixed-point simulations to evaluate the performances. In this paper, the approach used to optimize the fixed-point specification for a WCDMA receiver is presented. The dynamic range and the fixed-point accuracy are evaluated analytically in our approach. The analytical accuracy Constraint Expression according to the bit error rate (BER) is proposed. The results show that the optimized ixed point specification depends on the input receiver signal-to-noise ratio (SNR).

  • EUSIPCO - Design of optimized fixed-point WCDMA receiver
    2009
    Co-Authors: Hai-nam Nguyen, Daniel Menard, Olivier Sentieys
    Abstract:

    To satisfy energy and complexity Constraints, embedded wireless systems require fixed-point arithmetic implementation. To optimize the fixed-point specification, existing approaches are based on fixed-point simulations to evaluate the performances. In this paper, the approach used to optimize the fixed-point specification for a WCDMA receiver is presented. The dynamic range and the fixed-point accuracy are evaluated analytically in our approach. The analytical accuracy Constraint Expression according to the bit error rate (BER) is proposed. The results show that the optimized fixed-point specification depends on the input receiver signal-to-noise ratio (SNR).

Susan D Urban - One of the best experts on this subject based on the ideXlab platform.

  • the design of a Constraint rule language for an object oriented data model
    Journal of Systems and Software, 1995
    Co-Authors: Susan D Urban, Anne M Wang
    Abstract:

    Abstract Recent applications such as software engineering environments, computer-aided design, and process control require a more active data base environment in which the data base management system automatically monitors conditions and initiates appropriate actions when predefined conditions occur. In this research, a Constraint/rule language, known as ALICE/ RL (ARL), is designed to support a data base environment that provides a general means for specifying active data base rules with an object-oriented view of data. The language is developed as an extension of ALICE, an Assertion Language for Integrity Constraint Expression. ARL not only extends ALICE to include rule Expression capabilities, but ARL also enhances the condition Expression capabilities of ALICE with features such as object identity/object equality, user-defined events, timing Constraints, transition Constraints, negated conditions, aggregate functions, and the triggering of multiple data base and/or user-defined actions. An important aspect of the research is the semantic analysis of ARL rules. The notion of object-centered Constraints is used to define the connectivity between objects required for the valid Expression of Constraint and rule conditions. ARL provides a more generalized Constraint/rule language than ALICE in which the results of semantic analysis can be used to debug rule conditions. A compiler for ARL with syntactic and semantic analysis was implemented as part of this research.

  • COMPSAC - ALICE: an assertion language for integrity Constraint Expression
    [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference, 1
    Co-Authors: Susan D Urban
    Abstract:

    A declarative Constraint language, ALICE, for the Expression of complex, logic-based Constraints in an object-oriented database environment is presented. The translation of ALICE Constraints to logic was developed to support a design approach that uses techniques from deductive databases to explain Constraints at design time and to specify propagation actions. Two different translations for ALICE Constraints are described: one that allows a relaxed interpretation in the presence of null values and one that enforces a stricter interpretation in which the use of null values is limited. An important contribution of ALICE is that the formal, declarative nature of the language forms the basis of a Constraint management facility for intelligent object-oriented database environments. >

You Ping Gong - One of the best experts on this subject based on the ideXlab platform.

  • The Algorithm Research of Complex Multi-Domain Constraint Models
    Advanced Materials Research, 2014
    Co-Authors: Ting Ting Liu, Guo Jin Chen, You Ping Gong
    Abstract:

    This paper is mainly discussed in areas under a unified multi-domain framework, the unified Constraint Expression of optimization simulation model and critical theory in the process of solving. Establish the multi-domain optimization simulation model of complex product, study the complex coupling between multi-domain Constraint models, analyze the parameters sensitivity of unified Constraint Expression model and reduce the restraint scale. Using the principle of global satisfaction as far as possible, to achieve coordination of multi-domain Constraints based on the component level, solving the Large-scale multi-domain unified optimization simulation model with the homotopy iteration method.

  • Research on Unified Expression Method of Multi-Domain Constraint Models
    Advanced Materials Research, 2014
    Co-Authors: Ting Ting Liu, Guo Jin Chen, You Ping Gong
    Abstract:

    This paper is mainly discussed the establishment of the unified Constraint Expression of simulation optimization model. Express all kinds of element Constraints with unified physical mathematical mapping mechanism, uniform the model representation of product components in each domain and establish the unified Expression model, in order to facilitate the follow-up simulation solution of multi-domain Constraint system.

Salah Sadou - One of the best experts on this subject based on the ideXlab platform.

  • Simplifying transformation of software architecture Constraints
    2006
    Co-Authors: Chouki Tibermacine, Régis Fleurquin, Salah Sadou
    Abstract:

    The heterogeneity of the architectural Constraint languages makes difficult the transformation of Constraints throughout the development process. Indeed they have significantly different metamodels, which make the definition of mapping rules complex. In this paper, we present an approach that aims at simplifying transformations of architectural Constraints. It is based on an architectural Constraint language (ACL), which includes one core Constraint Expression language and different profiles. Each profile is defined upon a metamodel, which represents the architectural abstractions manipulated at each stage in the development process.

  • SAC - Simplifying transformation of software architecture Constraints
    Proceedings of the 2006 ACM symposium on Applied computing - SAC '06, 2006
    Co-Authors: Chouki Tibermacine, Régis Fleurquin, Salah Sadou
    Abstract:

    The heterogeneity of the architectural Constraint languages makes difficult the transformation of Constraints throughout the development process. Indeed they have significantly different metamodels, which make the definition of mapping rules complex. In this paper, we present an approach that aims at simplifying transformations of architectural Constraints. It is based on an architectural Constraint language (ACL), which includes one core Constraint Expression language and different profiles. Each profile is defined upon a metamodel, which represents the architectural abstractions manipulated at each stage in the development process.

Scott Meyers - One of the best experts on this subject based on the ideXlab platform.

  • CCEL: The C++ Constraint Expression Language: An Annotated Reference Manual, Version 0.5
    1993
    Co-Authors: Yueh Lin, Scott Meyers
    Abstract:

    CCEL is a language for expressing Constraints on the syntax and semantics of software systems written in C++. This manual formally defines the syntax and semantics of CCEL-I, which concerns itself with Constraints on C++ declarations. Future versions of the report will describe CCEL-II, which will add to CCEL-I the ability to constrain definitions of functions and objects. Although it does contain some examples of CCEL Constraints, this manual is not a tutorial on the use of CCEL. Rather, it is a comprehensive reference manual on CCEL. It is intended to be to CCEL what Ellis'' and Stroustrup''s Annotated C++ Reference Manual is to C++.

  • ccel the c Constraint Expression language an annotated reference manual version 0 5
    1993
    Co-Authors: Yueh Lin, Scott Meyers
    Abstract:

    CCEL is a language for expressing Constraints on the syntax and semantics of software systems written in C++. This manual formally defines the syntax and semantics of CCEL-I, which concerns itself with Constraints on C++ declarations. Future versions of the report will describe CCEL-II, which will add to CCEL-I the ability to constrain definitions of functions and objects. Although it does contain some examples of CCEL Constraints, this manual is not a tutorial on the use of CCEL. Rather, it is a comprehensive reference manual on CCEL. It is intended to be to CCEL what Ellis'' and Stroustrup''s Annotated C++ Reference Manual is to C++.