检索结果-内蒙古大学图书馆

IEEE EMBS International Conference on Information Technology Applications in Biomedicine (ITAB)

作者： B.B. Sramek HEMO SAPIENSâ Inc. Irvine CA USA

After several decades of meagre rises in patient outcomes, cardiovascular health care is now on the verge of far-reaching, diagnostic, therapeutic, patient management and outcome improvement changes. The reasons can be summarized as follows: 1) a direct correlation between adequate oxygen delivery and (a) quality of life in general population, and (b) better outcomes in surgical and critically ill patients, has been established in numerous clinical studies; 2) real-time communication of computer acquired and processed medical data via the Internet or intranets is becoming routine; 3) a clinically accurate, real-time, continuous and noninvasive measurement of global blood flow is now available. This contribution brings in a quantitative and qualitative change in the scope of cardiovascular assessment.

关键词： Hemodynamics Telemedicine Cardiology Medical services Surgery data flow computing Medical diagnostic imaging Internet Noninvasive treatment Blood flow

来源：评论

学校读者我要写书评

暂无评论

Toward a framework for conceptual and formal outlines of programs

Toward a framework for conceptual and formal outlines of pro...

引用

Working Conference on Reverse Engineering

作者： F. Balmas Universitç Paris France

The author proposes the re-documentation of programs with outlines. The interesting feature of outlines is that they allow one to contract, as in a zoom, the amount of information necessary to understand programs, easing the localization of given computations or identification of the role of a piece of code. As a first stage toward a framework of program outlines, she has defined a model suited to the representation of computations performed within loops. The main feature of the outlines is that they are both formal and conceptual: they are represented within frames which are semantically equivalent to the outlined loop and help understanding what is computed by revealing how this is computed. In order to re-document loops, she implemented a system, PRISME, able to automatically construct outlines of a subset of Lisp looping functions. PRISME allowed one to validate the implementation of the model. Currently, she uses it intensively to experiment the role of outlines for debugging and reverse specification of programs.

关键词： Debugging Contracts Information analysis Legged locomotion Reverse engineering Software engineering data flow computing flowcharts data mining Humans

来源：评论

学校读者我要写书评

暂无评论

The processing graph method tool (PGMT)

The processing graph method tool (PGMT)

引用

International Conference on Application Specific Systems (ASAP), Architectures and Processors

作者： R.S. Stevens Naval Research Laboratory Inc. Washington D.C. DC USA

To acquire stare-of-the-art hardware at reduced cost, the U.S. Navy is committed to buying commercial off the shelf (COTS) computer hardware. In this rapidly changing technological world, today's hardware will be obsolete tomorrow. The Navy's complex problems often require more computational power than can be delivered by a single serial processor. The solution lies in distributed processing. However, distributed processors tend to have architecture specific languages, requiring an expensive and time-consuming manual rewrite of application software as new technology and new machines become available. The processing graph method (PGM), developed at the Naval Research Laboratory (NRL) in Washington, DC, is an architecture independent method for specifying application software for distributed architectures. Its model of computation is reconfigurable dynamic data flow: dynamic because the amount of data consumed and produced by an actor may vary from one firing to another; and reconfigurable, because a graph may be disassembled and reassembled. PGM was implemented on the Navy Standard Signal Processor (AN/UYS-2), and on VAX and Sun workstations. The PGMT project at NRL is developing a tool set that will facilitate the implementation of PGM on a given distributed architecture at relatively low cost. We describe the major features PGM and discuss the PGMT project.

关键词： Hardware Military computing Computer architecture Costs Application software data flow computing Distributed processing Manuals Laboratories Computational modeling

来源：评论

学校读者我要写书评

暂无评论

A low power based system partitioning and binding technique for multi-chip module architectures

A low power based system partitioning and binding technique ...

引用

Great Lakes Symposium on VLSI

作者： R.V. Cherabuddi M.A. Bayoumi H. Krishnamurthy The Center for Advanced Computer Studies University of Southwestern Louisiana Lafayette LA USA

In this paper, we present a low power targeted high-level synthesis framework for the synthesis of Multi-Chip Modules (MCM). This new framework is based on minimizing the switching activity on the functional units as well as the inter-chip buses. The main focus of the developed method is minimizing the power during partitioning and binding phases of high-level synthesis. A Stochastic Evolution based technique has been used for system partitioning. Experimental results were highly encouraging with power reduction of up to 60% on certain benchmark designs.

关键词： High level synthesis data flow computing Frequency Power dissipation Circuit synthesis Minimization methods Communication switching Switching circuits Capacitance Signal synthesis

来源：评论

学校读者我要写书评

暂无评论

Optimal scheduling for UET-UCT generalized n-dimensional grid task graphs

Optimal scheduling for UET-UCT generalized n-dimensional gri...

引用

International Symposium on Parallel Processing

作者： T. Andronikos N. Koziris G. Papakonstantinou P. Tsanakas Department of Electrical and Computer Engineering Computer Science Division National and Technical University of Athens Greece

The n-dimensional grid is one of the most representative patterns of data flow in parallel computation. The most frequently used scheduling models for grids is the unit execution-unit communication time (UET-UCT). We enhance the model of n-dimensional grid by adding extra diagonal edges. First, we calculate the optimal makespan for the generalized UET-UCT grid topology and then we establish the minimum number of processors required, to achieve the optimal makespan. Furthermore, we solve the scheduling problem for generalized n-dimensional grids by proposing an optimal time and space scheduling strategy. We thus prove that UET-UCT scheduling of generalized n-dimensional grids is low complexity tractable.

关键词： Optimal scheduling Processor scheduling Polynomials data flow computing Concurrent computing Grid computing Signal processing algorithms data engineering Computer science flow graphs

来源：评论

学校读者我要写书评

暂无评论

A novel sequencer hardware for application specific computing

A novel sequencer hardware for application specific computin...

引用

International Conference on Application Specific Systems (ASAP), Architectures and Processors

作者： R.W. Hartenstein J. Becker M. Herz U. Nageldinger University of Kaiserslautern Kaiserslautern Germany

This paper introduces a powerful novel sequencer for controlling computational machines and for structured DMA (direct memory access) applications. It is mainly focused on applications using 2-dimensional memory organization, where most inherent speed-up is obtained thereof. A classification scheme of computational sequencing patterns and storage schemes is derived. In the context of application specific computing the paper illustrates its usefulness especially for data sequencing-recalling examples hereafter published earlier, as far as needed for completeness. The paper also discusses, how the new sequencer hardware provides substantial speed-up compared to traditional sequencing hardware use.

关键词： Hardware Computer applications Computer aided instruction data flow computing Application software Uniform resource locators Image processing Digital signal processing Visualization Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

Time constraint verification methods based on time Petri nets

Time constraint verification methods based on time Petri net...

引用

IEEE Workshop on Future Trends of Distributed computing Systems

作者： J. Toussaint F. Simonot-Lion J.-P. Thomesse ENSEM CRIN CNRS Vandoeuvre-les-Nancy France

The study is concerned with the development of real time distributed applications and more precisely with the verification of temporal properties in a distributed context (taking into account the characteristics of the real architecture). We show how to use a time Petri net based model of the application in order to prove that a communication system (networks, protocols) and a mapping of tasks meet specified temporal properties.

关键词： Time factors Petri nets Object oriented modeling Protocols Computer architecture Automata Control systems Computer networks data flow computing Distributed computing

来源：评论

学校读者我要写书评

暂无评论

Speech recognition HMM training on reconfigurable parallel processor

Speech recognition HMM training on reconfigurable parallel p...

引用

Annual IEEE Symposium on Field-Programmable Custom computing Machines (FCCM)

作者： Hyun-Kyu Yun A. Smith H. Silverman Division of Engineering BOX D Brown University Providence RI USA

Armstrong III is a 20 node multi-computer that is currently operational. In addition to a RISC processor, each node contains reconfigurable resources implemented with FPGAs. The in-circuit reprogramability of static RAM based FPGAs allows the computational capabilities of a node to be dynamically matched to the computational requirements of an application. Most reconfigurable computers in existence today rely solely on a large number of FPGAs to perform computations. In contrast, the paper demonstrates the utility of a small number of FPGAs coupled to a RISC processor with a simple interconnect. The article describes a substantive example application that performs HMM training for speech recognition with the reconfigurable platform.

关键词： Speech recognition Hidden Markov models Field programmable gate arrays data flow computing Pipeline processing flow graphs Reduced instruction set computing Computer architecture Signal processing algorithms Parallel processing

来源：评论

学校读者我要写书评

暂无评论

A low power based partitioning and binding technique for single chip application specific DSP architectures

A low power based partitioning and binding technique for sin...

引用

IEEE International Conference on Innovative Systems in Silicon

作者： R.V. Cherabuddi M.A. Bayoumi The Center for Advanced Computer Studies University of Southwestern Louisiana Lafayette LA USA

In this paper, we present a low power targeted high-level synthesis framework for the synthesis of single chip Application Specific DSP (Digital Signal Processing) architectures. This new framework is based on minimizing the switching activity on the functional units as well as the global buses. The main focus of the developed method is minimizing the power during partitioning and binding phases of high-level synthesis. A Stochastic Evolution based technique has been used for partitioning the given data flow graph describing the DSP algorithm. Experimental results were highly encouraging with power reduction of up to 60% on certain benchmark designs.

关键词： Digital signal processing chips High level synthesis Signal synthesis Partitioning algorithms Variable speed drives Communication switching data flow computing Application software Computer architecture Minimization

来源：评论

学校读者我要写书评

暂无评论

A data flow model to plan and manage the building design process

引用

JOURNAL OF ENGINEERING DESIGN 1996年第1期7卷 3-25页

作者： Austin, S Baldwin, A Newton, A [a] Department of Civil and Building Engineering Loughborough University of Technology Loughborough Leicester UK

The increasing complexity of modem buildings and the client's desire for swift occupation has meant the expeditious completion of the design phase of a project has become ever more important. An effective and workable design programme is essential to achieve this. Traditionally, building design work has been planned in a perfunctory manner, often in the belief that this creative and iterative process cannot be analyzed and planned in detail. This situation has been perpetuated by a lack of understanding of design information flow and dependency, and the availability of suitable planning techniques. This paper describes a data flow model of the building design process that is subsequently analyzed in a design structure matrix. The synthesis of these two techniques produces a powerful but easily understood tool to assist in the planning and management of complex, multi-disciplinary building design problems.

关键词： ARCHITECTURAL designs data flow computing

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：