Partitioning is a key issue within the Codesign process. As it usually consumes much time, it is important to make it as efficient as possible to avoid costly feedbacks. In this way, this paper describes a partitioning process based on a grouping technique intended to avoid high time overheads due to communications, as well as being able to work with a reliable estimation model.

There are results which show that measure-theoretic deterministic models and stochastic models are observationally equivalent. Thus there is a choice between a deterministic and an indeterministic model and the question arises: Which model is preferable relative to evidence? If the evidence equally supports both models, there is underdetermination. This paper first distinguishes between differe...

The paper presents a selection of recently developed and/or used techniques for equivalencechecking on infinite-state systems, and an up-to-date overview of existing results (as of September 2004).

aesthetic equivalence is produced when both the source and target texts enjoy the same degree of interpretability with semantic explicitness. this requires both texts to have the same number of indeterminacies. roman ingarden, the polish phenomenologist and aesthetician, was the first one to consider the concept of indeterminacy as a characteristic of literary works. then iser and jauss, two ae...

abstract translation of literary texts, especially poetry, is one of the most difficult tasks; it requires mastery and knowledge of the language system and culture, and lack of this might lead to wrong translation. this study aimed to examine the loss and gain of the sociocultural implicit meanings in the english translations of the mu’allaqat, and assess whether the translators of the mu’allaq...

Checking the functional equivalence of sequential circuits is an important practical problem. Because general algorithms for solving this problem require a state-space traversal of the product machine, they are computationally expensive. In this paper, we present a new method for sequential equivalence checking which utilizes functionally equivalent signals to prove the equivalence of both circ...

In this paper, we present a conjecture on the degree of unipotent characters in the cohomology of particular Deligne–Lusztig varieties for groups of Lie type, and derive consequences of it. These degrees are a crucial piece of data in the geometric version of Broué’s abelian defect group conjecture, and can be used to verify this geometric conjecture in new cases. The geometric version of Broué...

Program equivalence in linear contexts, where programs are used or executed exactly once, is an important issue in programming languages. However, existing techniques like those based on bisimulations and logical relations only target at contextual equivalence in the usual (non-linear) functional languages, and fail in capturing non-trivial equivalent programs in linear contexts, particularly w...

However, this problem can be fixed by requiring active substitutions be defined on the base sort only (see, for instance, [3]). The purpose of this note is to supply a proof for the theorem. In the original semantics in [1], the use of structural equivalence introduces many possibilities and makes it difficult to write a rigorous proof. To overcome the difficulty we shall use intermediate seman...