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

ATTRIBUTE GRAMMARS AND dataflow computing

INFORMATION AND SOFTWARE TECHNOLOGY 1988年第5期30卷 306-313页

作者： PAPAKONSTANTINOU, G TSANAKAS, P Natl. Tech. Univ. Athens Dep. Electr. Eng. Comp. Sci. Div. 15773 Zographou Greece

Attribute grammers (AG), developed as a tool for formal specification of programming languages, now are used for applications in many other areas. Most recently, AGs have been used for knowledge representation, logic programming, and as a data-flow language. AGs and data-flow languages bear numerous similarities, which supports the claim that AGs can be efficiently used as data-flow languages. The primary advantages in the use of AGs as programming languages include: 1. AGs use a nonprocedural formalism. 2. AGs allow hierarchical development. 3. Several AG evaluators are available. 4. AGs formalism can be viewed as a higher level language. Using AGs as a nonprocedural "programming language" can overcome the problem with data-flow architectures needing to be programmed in special high-level languages. A new methodology for extracting the inherent parallelism from a computational task is presented, in which AGs are used to construct new forms of the computing problems suitable for execution on data-flow machines. The procedure has been automated and tested for several computing problems.

关键词： attribute grammars data flow computing software engineering

来源：评论

学校读者我要写书评

暂无评论

SEHWA - A SOFTWARE PACKAGE FOR SYNTHESIS OF PIPELINES FROM BEHAVIORAL SPECIFICATIONS

引用

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 1988年第3期7卷 356-370页

作者： PARK, NY PARKER, AC UNIV SO CALIF DEPT ELECT ENGN SYSTLOS ANGELESCA 90089

A set of techniques for the synthesis of pipelined data paths is described, and Sehwa, a program that performs such synthesis, is presented. The task includes the generation of data paths from a data-flow graph along with a clocking scheme that overlaps execution of multiple tasks. Some design examples are given. Sehwa can find the minimum-cost design, the highest performance design, and other designs between these two in the design space. Sehwa is written in Franz Lisp and executes within minutes, for problems of practical size, on a VAX 11/750.< >

关键词： Software packages Pipeline processing flow graphs Clocks Resource management Timing Circuit synthesis data flow computing Costs Design methodology

来源：评论

学校读者我要写书评

暂无评论

On the sequential nature of interprocedural program-analysis problems

引用

ACTA INFORMATICA 1996年第8期33卷 739-757页

作者： Reps, T Computer Sciences Department University of Wisconsin-Madison Madison USA

In this paper, we study two interprocedural program-analysis problems-interprocedural slicing and interprocedural dataflow analysis-and present the following results: Interprocedural slicing is log-space complete for P. The problem of obtaining ''meet-over-all-valid-paths'' solutions to interprocedural versions of distributive dataflow-analysis problems is P-hard. Obtaining ''meet-over-all-valid-paths'' solutions to interprocedural versions of distributive dataflow-analysis problems that involve finite sets of dataflow facts (such as the classical ''gen/kill'' problems) is log-space complete for P. These results provide evidence that there do not exist fast (Nl-class) parallel algorithms for interprocedural slicing and precise interprocedural dataflow analysis (unless P = Nl). That is, it is unlikely that there are algorithms for interprocedural slicing and precise interprocedural dataflow analysis for which the number of processors is bounded by a polynomial in the size of the input, and whose running time is bounded by a polynomial in the logarithm of the size of the input. This suggests that there are limitations on the ability to use parallelism to overcome compiler bottlenecks due to expensive interprocedural-analysis computations.

关键词： data flow computing COMPUTER science

来源：评论

学校读者我要写书评

暂无评论

Analysis of multidimensional DSP specifications

引用

IEEE TRANSACTIONS ON SIGNAL PROCESSING 1996年第12期44卷 3169-3174页

作者： Verbauwhede, I Scheers, C Rabaey, JM TCSI Berkeley CA USA

data flow languages are a natural and more formal way to describe the flow of computations in a DSP application. However, when the language contains extended array constructs, extra data dependency checks are needed. This correspondence describes a new model to represent multidimensional arrays and presents several data flow analysis techniques for multidimensional arrays. Results show very fast running times (<1 s) for problems of more than 100 nodes.

关键词： Multidimensional systems Digital signal processing data analysis data structures data flow computing Parallel processing Memory management Programming profession Parallel machines Page description languages

来源：评论

学校读者我要写书评

暂无评论

The Role of High Performance computing and Communication for Real-Time Biofeedback in Sport

引用

MATHEMATICAL PROBLEMS IN ENGINEERING 2016年第1期2016卷 1-11页

作者： Umek, Anton Kos, Anton Univ Ljubljana Fac Elect Engn Trzaska Cesta 25 Ljubljana 1000 Slovenia

This paper studies the main technological challenges of real-time biofeedback in sport. We identified communication and processing as two main possible obstacles for high performance real-time biofeedback systems. We give special attention to the role of high performance computing with some details on possible usage of dataflow computing paradigm. Motion tracking systems, in connection with the biomechanical biofeedback, help in accelerating motor learning. Requirements about various parameters important in real-time biofeedback applications are discussed. Inertial sensor tracking system accuracy is tested in comparison with a high performance optical tracking system. Special focus is given on feedback loop delays. Real-time sensor signal acquisitions and real-time processing challenges, in connection with biomechanical biofeedback, are presented. Despite the fact that local processing requires less energy consumption than remote processing, many other limitations, most often the insufficient local processing power, can lead to distributed system as the only possible option. A multiuser signal processing in football match is recognised as an example for high performance application that needs high-speed communication and high performance remote computing. dataflow computing is found as a good choice for real-time biofeedback systems with large data streams.

关键词： HIGH performance computing REAL-time computing BIOLOGICAL control systems data flow computing ACQUISITION of data BIG data

来源：评论

学校读者我要写书评

暂无评论

EReLA: A Low-Power Reliable Coarse-Grained Reconfigurable Architecture Processor and Its Irradiation Tests

引用

IEEE TRANSACTIONS ON NUCLEAR SCIENCE 2014年第6期61卷 3250-3257页

作者： Yao, Jun Saito, Mitsutoshi Okada, Shogo Kobayashi, Kazutoshi Nakashima, Yasuhiko Nara Inst Sci & Technol Grad Sch Informat Sci Ikoma 6300192 Japan Kyoto Inst Technol Grad Sch Sci & Technol Kyoto 6068585 Japan

In this work, facing pressure from both the increasing vulnerability to single event effects (SEEs) and design constraints of the power consumption, we have proposed a Coarse-Grained Reconfigurable Architecture (CGRA) processor. Our goal is to translate a user programmable redundancy to a guide for balancing energy consumption on the one hand and the reliability requirements on the other. We designed software (SW) and hardware (HW) approaches, coordinating them closely to achieve this purpose. The framework provides several user-assignable patterns of redundancy and the hardware modules to interpret well these patterns. A first version prototype processor, with the name EReLA (Explicit Redundancy Linear Array) has been implemented and manufactured with a 0.18 mu m CMOS technology. Stress tests based on alpha particle irradiation were conducted to verify the tradeoff between the robustness and the power efficiency of the proposed schemes.

关键词： data flow computing fault tolerance reconfigurable architectures redundancy

来源：评论

学校读者我要写书评

暂无评论

Foogle: fire monitoring tool for EUMETSAT's active fire product over Turkey using Google Earth

引用

GEOMATICS NATURAL HAZARDS & RISK 2011年第1期2卷 1-13页

作者： Sonmez, Ibrahim Erdi, Erdem Tekeli, Ahmet Emre Demir, Fatih Arslan, Murat Turkish State Meteorol Serv Remote Sensing Div Kecioren Turkey

Early detection of fire and timely distribution of active fire information to fire fighters are important factors for reducing the risk of possible catastrophes. Satellite-based systems enable monitoring and early detection of fires. EUMETCast provides timely and continuous satellite data flow with its flexible design. Google Earth allows visualization of data obtained from various Geographic Information Systems (GIS) and/or satellites on the 3D topography. This article reports the methodology developed by the Turkish State Meteorological Service to support fire fighting activities in Turkey. Meteosat Second Generation satellite-based fire detection products, received from EUMETCast, are visualized on 3D topography using Google Earth. Output files generated at the Turkish State Meteorological Service are customized for requirements of Forest Fires Preventing and Combating Section of General Directory of Forestry and operationally sent to them. A case study illustrates implementation of the system.

关键词： GEOMATICS CATASTROPHES (Geology) data flow computing METHODOLOGY FOREST fire prevention & control ARTIFICIAL satellites in telecommunication FIRE insurance

来源：评论

学校读者我要写书评

暂无评论

Abrupt transition in the structural formation of interconnected networks

引用

NATURE PHYSICS 2013年第11期9卷 717-720页

作者： Radicchi, Filippo Arenas, Alex Indiana Univ Sch Informat & Comp Ctr Complex Networks & Syst Res Bloomington IN 47408 USA Univ Rovira & Virgili Dept Engn Quim E-43007 Tarragona Spain Univ Rovira & Virgili Dept Engn Informat & Matemat E-43007 Tarragona Spain Inst Catala Paleoecol Humana & Evolucio Social IPHES Tarragona 43007 Spain

Our world is linked by a complex mesh of networks through which information, people and goods flow. These networks are interdependent on each other, and present structural and dynamical features(1-6) different from those observed in isolated networks(7-9). Although examples of such dissimilar properties are becoming more abundant-such as in diffusion, robustness and competition-it is not yet clear where these differences are rooted. Here we show that the process of building independent networks into an interconnected network of networks undergoes a structurally sharp transition as the interconnections are formed. Depending on the relative importance of inter- and intra-layer connections, we find that the entire interdependent system can be tuned between two regimes: in one regime, the various layers are structurally decoupled and they act as independent entities;in the other regime, network layers are indistinguishable and the whole system behaves as a single-level network. We analytically show that the transition between the two regimes is discontinuous even for finite-size networks. Thus, any real-world interconnected system is potentially at risk of abrupt changes in its structure, which may manifest new dynamical properties.

关键词： INTERCONNECTS (Integrated circuit technology) data flow computing ROBUST control data transmission systems DYNAMICAL systems COMPUTER network architectures

来源：评论

学校读者我要写书评

暂无评论

FINITE-ELEMENT MODELING OF ELECTROSTATIC FIELDS IN-PROCESS TOMOGRAPHY CAPACITIVE ELECTRODE SYSTEMS FOR flow RESPONSE EVALUATION

引用

IEEE TRANSACTIONS ON MAGNETICS 1993年第6期29卷 2437-2439页

作者： KHAN, SH ABDULLAH, F Department of Electrical Electronic & Information Engineering City University London UK

This paper describes various aspects and results of 2D finite clement (FE) modelling of electrostatic fields in 12-electrode capacitive systems for two-phase flow imaging. The capacitive technique relies on changes in capacitances between electrodes (mounted on the outer surface of the flow pipe) due to the change in permittivities of flow components. The measured capacitances between various electrode pairs and the field computation data are used to reconstruct the cross sectional image of the flow components. FE modelling of the electric field is necessary to optimize design variables and evaluate the system response to various flow regimes, likely to be encountered in practice. Results are presented in terms of normalized capacitances for various flow regimes. The effects of key geometric parameters of the electrode system are also presented and analyzed.

关键词： Finite element methods Electrodes Surface reconstruction Capacitance measurement Permittivity measurement Electrostatic measurements Fluid flow measurement data flow computing Image reconstruction Design optimization

来源：评论

学校读者我要写书评

暂无评论

Towards Generic Embedded Multiprocessing for RVC-CAL dataflow Programs

引用

JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY 2013年第2期73卷 137-142页

作者： Boutellier, Jani Silven, Olli Univ Oulu Dept Comp Sci & Engn Oulu 90014 Finland

dataflow languages enable describing signal processing applications in a platform independent fashion, which makes them attractive in today's multiprocessing era. RVC-CAL is a dynamic dataflow language that enables describing complex data-dependent programs such as video decoders. To this date, design automation toolchains for RVC-CAL have enabled creating workstation software, dedicated hardware and embedded application specific multiprocessor implementations out of RVC-CAL programs. However, no solution has been presented for executing RVC-CAL applications on generic embedded multiprocessing platforms. This paper presents a dataflow-based multiprocessor communication model, an architecture prototype that uses it and an automated toolchain for instantiating such a platform and the software for it. The complexity of the platform increases linearly as the number of processors is increased. The experiments in this paper use several instances of the proposed platform, with different numbers of processors. An MPEG-4 video decoder is mapped to the platform and executed on it. Benchmarks are performed on an FPGA board.

关键词： data flow computing Design automation Multiprocessor interconnection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：