In this paper, we propose a new approach to formal synthesis which focuses on the generation of verification-friendly circuits. Starting from a high-level implementation description, which may result from the application of usual scheduling and allocation algorithms, hardware is automatically synthesized. The target architecture is based on handshake processes, modules which communicate by a si...

In this paper we present the idea of Mission Level Design (MLD) for complex systems. MLD can be thought of as a test of a system design on an abstract level. Therefore, the simulation of an overall system model is used to find problems in the early design phases and gives developers first results of system performance and characteristics. The overall system model is configured by missions, whic...

| We introduce a new geometrical framework based on which natural ows for image scale space and enhancement are presented. We consider intensity images as surfaces in the (x; I) space. The image is thereby a 2D surface in 3D space for gray level images, and 2D surfaces in 5D for color images. The new formulation uniies many classical schemes and algorithms via a simple scaling of the intensity ...

The development and use of a high level synthesis system can be made more convenient when intermediate data can be investigated graphically. Using this graphical representation the designer/user can easily influence the design process or is able to ’tune’ his tools. Mostly a high level synthesis system and a graphical framework are two separate platforms. This article describes how both platfor...

This thesis describes a framework for designing emergent behaviour. The framework is comprised of a simulation architecture, a rule migration process, and a rule combination language. Desired emergent behaviour is specified using a multi-level model which describes the behaviour at the appropriate level in the emergence hierarchy, using downward causation if appropriate. The rule migration proc...

in a recent editorial for this journal, el-jardali and fadlallah proposed a new framework for knowledge translation (kt) in healthcare. many such frameworks already exist; thus, new entrants to the field must be scrutinized in regard to their unique contributions to advancing understanding and practice. the el-jardali and fadlallah framework focuses on policy-level discussions, a relatively und...

This study investigated textual and inter-textual reading of a group of Iranian EFL undergraduates’ careful English reading types. In this research, Khalifa and Weir’s (2009) reading framework was used to propose a more inclusive aspect of a careful reading framework and the reading construct for instructional and assessment goals. The participants of this study were B.A. students of English Tr...

this study aimed at identifying and analyzing issues and challenges on the agricultural research and technology development under the national innovation framework. the survey consisted of two groups: agricultural researchers of agriculture-research and education organization and all faculty members of public agricultural faculties of ministry of scientific, research and technology. using cochr...

In this chapter, we introduce an architecture framework called APOC (for “ActivatingProcessing-Observing-Components”) for the analysis, evaluation, and design of complex agents. APOC provides a unified framework for the specification of agent architectures at different levels of abstraction. As such it permits intermediary levels of architectural specification between high-level functional desc...

There is currently a divide in information technology research circles: on one hand, there are people working on the Semantic Web that have a very high-level vision for it. On the other hand, software engineering, which is known for its pragmatism, is largely unaware of Semantic Web technologies. In this paper, we present Hyena, an RDF-based editing platform. It makes the Semantic Web advantage...