this paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. this approach, contrary to complex method in the existing ...
详细信息
Iridology is an alternative method in evaluating the condition of our internal organ by looking at the image of iris. Evaluating the iris is done by detecting the presence of some broken tissues in iris. In this paper...
详细信息
ISBN:
(纸本)0889865981
Iridology is an alternative method in evaluating the condition of our internal organ by looking at the image of iris. Evaluating the iris is done by detecting the presence of some broken tissues in iris. In this paper, input image of the iris will be taken by using a video camera in real time. the presence of broken tissues in iris in a certain area will represent the condition of certain organ according to the chart of iris. the organ that will be observed, in this research, is Pancreas. Pancreas's position in iris is at 07.15 - 07.45 when a circle of iris is divided by 120 points. Some image processing methodes will be used to enhance the quality of image of iris so that the broken tissues in area of pancreas can be detected clearly. Finally, the result of this detecting method will be compared withthe Insulin normality test.
A Bluetooth-enable gateway in a wireless sensor network accounts for establishing a scatternet to collect the information from sensors or sinks. Many algorithms of scatternet formation had been proposed but they do no...
详细信息
ISBN:
(纸本)0889865639
A Bluetooth-enable gateway in a wireless sensor network accounts for establishing a scatternet to collect the information from sensors or sinks. Many algorithms of scatternet formation had been proposed but they do not provide an object oriented framework for constructing a scatternet due to standardized specification is still in the lack. this paper proposed an application framework named RBT Framework to rapidly facilitate the building of a Bluetooth scatternet formation. While RBT Framework is based on our proposed BlueTree++ algorithm, the technology of design pattern is used to increase the reusability as well as the quality of the code, and to reduce the effort of development of software systems. Furthermore, the merits of our framework have adaptability, scalability, interaction and collaboration to aid greatly in the building of a Bluetooth formation.
A web-based operational skills examination and evaluation system is designed and implemented for computer courses. It consists of four systems, including preparation, examination, monitor and auto-grading subsystem. V...
详细信息
Plover is an automated property-verifier for Haskell programs that has been under development for the past three years as a component of the Programatica project. In Programatica, predicate definitions and property as...
详细信息
Plover is an automated property-verifier for Haskell programs that has been under development for the past three years as a component of the Programatica project. In Programatica, predicate definitions and property assertions written in P-logic, a programming logic for Haskell, can be embedded in the text of a Haskell program module. P-logic properties refine the type system of Haskell but cannot be verified by type-checking alone;a more powerful logical verifier is needed. Plover codes the proof rules of P-logic, and additionally, embeds strategies and decision procedures for their application and discharge. It integrates a reduction system that implements a rewriting semantics for Haskell terms with a congruence-closure algorithm that supports reasoning with equality. It can employ splitting strategies to explore alternative valuations of expressions of type Bool or other finite data types, but these strategies lead to exponential growth of terms and must be employed cautiously. Plover itself is written in Stratego, which has proven to be a powerful language in which to write a verifier. this talk will explain the design and implementation of some of the strategies that enable Plover to comprehend Haskell and to discharge some valid property assertions.
As an important part of service-oriented software engineering, service retrieval receives much attention from industry and academia, but which still leaves much to be expected: how the truth of the advertisement of se...
详细信息
the Imperial College e-science Networked Infrastructure (ICENI) has been developed by the London e-science Centre for over four years. ICENI has prototyped many novel ideas for providing an end to end Grid middleware....
详细信息
ISBN:
(纸本)3540343830
the Imperial College e-science Networked Infrastructure (ICENI) has been developed by the London e-science Centre for over four years. ICENI has prototyped many novel ideas for providing an end to end Grid middleware. this has included: service-oriented architecture, component programming model, retaining and using meta-data collected throughout the life-cycle of an application, and scheduling algorithms which are aware of workflow and performance data. In this paper we describe the workflow pipeline and deployment process of ICENI II. this allows the user to specify their workflow at an abstract level which is fed through the pipeline in order to successfully deploy it over the Grid. the tool sets, which make up the stages of the ICENI II pipeline, are designed to be composable in an a-la-carte fashion. thus allowing Grid developers to select only those components which are relevant for their work. When these tool sets are composed together they form the higher level services required to make the Grid useful to the end user.
An approximated quadratic programming algorithm is proposed to determine a model predictive controller, which is applied to the scheduling problem. We name the algorithm Sub-optimal Model Predictive Control Scheduler ...
详细信息
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. the mapping captures certain idealized implementation details that are ignored, or assum...
详细信息
ISBN:
(纸本)1595935428
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. the mapping captures certain idealized implementation details that are ignored, or assumed away, by the synchronous paradigm. In this regard, the scheme may be compared with other approaches such as the AASAP semantics. However, our model addresses input latching and reaction triggering differently. Additionally, the focus is not on model-checking but rather on creating a semantic model for simulating synchronous controllers within *** model considers both sample-driven and event-driven execution paradigms, and clarifies their similarities and differences. It provides a means of analyzing the timing behavior of small-scale embedded *** integration of the timed automata models into Simulink is described and related work is discussed. Copyright 2006 ACM.
this paper presents the Pattern Modeling Framework (PMF), a new metamodeling approach to pattern specification for MOF-compliant modeling frameworks and languages. Patterns need to be precisely specified before a tool...
详细信息
ISBN:
(纸本)3540457720
this paper presents the Pattern Modeling Framework (PMF), a new metamodeling approach to pattern specification for MOF-compliant modeling frameworks and languages. Patterns need to be precisely specified before a tool can manipulate them, and though several approaches to pattern specification have been proposed, they do not provide the scalability and flexibility required in practice. PMF provides a pattern specification language called Epattern, which is capable of precisely specifying patterns in MOF-compliant metamodels. the language is defined as an extension to MOF by adding semantics inspired from the UML composite structure diagram. the language also comes with a graphical notation and a recommended iterative specification process. It also contains features to manage the complexity of specifying patterns and simplify their application and detection in user models. Most importantly, the language is implemented using state-of-the-art technologies that are heavily used by major modeling tool vendors, thus facilitating its adoption.
暂无评论