The necessity of handling the increasing complexity of embedded systems has led to the growth of reuse-based design. At the same time, the systems must still satisfy strict requirements on reliability and correctness....
详细信息
ISBN:
(纸本)9781538647332
The necessity of handling the increasing complexity of embedded systems has led to the growth of reuse-based design. At the same time, the systems must still satisfy strict requirements on reliability and correctness. This paper proposes a formal analysis of parallel composition of I/O automata. This analysis leads to identification of novel composition rules guaranteeing the correctness-by-construction, and will provide a basis for a sound compositional development of components (Intellectual Property blocks).
Charisma is a higher-level notation for writing parallel static dataflow programs. It provides a convenient publish-consume paradigm for the expression of static flows of data and control. Although the syntax of the ...
详细信息
ISBN:
(纸本)9780769549545
Charisma is a higher-level notation for writing parallel static dataflow programs. It provides a convenient publish-consume paradigm for the expression of static flows of data and control. Although the syntax of the language allows the elegant expression of an important class of programs, it is restrictive, in that not all types of static dataflow program can be written in Charisma. In this paper, we discuss a new incarnation of the language. Charisma 2.0 has been designed to expand the expressive scope of the language, while retaining the productivity benefits of the publish-consume paradigm and a simple semantics of execution. We also examine the syntactic and semantic constructs of Charisma 2.0, and how they enhance expressivity.
We propose a dynamic scheduling approach for the concurrent execution of logical actor instances on a single synthesized actor instance. Based on a formal dataflow model of computation, the proposed approach can be ap...
详细信息
ISBN:
(纸本)9783981537024
We propose a dynamic scheduling approach for the concurrent execution of logical actor instances on a single synthesized actor instance. Based on a formal dataflow model of computation, the proposed approach can be applied to a wide range of applications in a model-based design flow. As case-study, we evaluate a bus-cycle-accurate SystemC RTL model based on an InfiniBand network adapter in a PCI Express system.
Efficient use of machine resources in high-performance computer systems requires highly optimizing compilers with sophisticated analyses. Static analysis often fails to identify frequently executed portions of a progr...
详细信息
ISBN:
(纸本)0769516203
Efficient use of machine resources in high-performance computer systems requires highly optimizing compilers with sophisticated analyses. Static analysis often fails to identify frequently executed portions of a program which are the places where optimizations achieve the greatest benefit. This paper introduces a novel dataflow frequency analysis framework that computes the frequency with which a dataflow fact will hold at some program point based on profiling information. Several approaches which approximate the frequencies based on k-edge profiling have been presented. However, no feasible approach for obtaining the accurate solution exists so far. Recently, efficient techniques for recording whole program paths (WPPs) have been developed. Our approach for computingdataflow frequencies results in an accurate solution and utilizes WPPs to obtain the solution it? reasonable time. In our experiments we show that the execution time of WPP-based frequeny, analysis is in case of the SPEC benchmark suite only a fraction of the overall compilation time.
dataflow and Petri nets are used in modeling and analyzing streaming applications, which execute indefinitely using limited resources. Therefore it is essential to know if a system model guaranties certain properties,...
详细信息
ISBN:
(纸本)9781479907526
dataflow and Petri nets are used in modeling and analyzing streaming applications, which execute indefinitely using limited resources. Therefore it is essential to know if a system model guaranties certain properties, namely, liveness, bounded-ness or the maximal throughput. Besides, working with hardware/software co-design techniques helps to define architecture and platform mapping, accommodating static and dynamically reconfigurable components. Over the last two decades a multitude of dataflow domains emerged along with the specificity of the outlined model of computation, in particular the Synchronous dataflows, which have proved their adequacy in data-dominated systems, and it is nowadays a mature model of computation. This paper describes a set of translating rules allowing the mapping from Synchronous dataflows into Petri nets. Study on invariants is presented. Signal processing application examples are used, illustrating the effectiveness of Petri net based modeling strategies to optimize digital system design, identifying a schedule that minimizes the amount of storage resource thus improving the systems' power consumption. The proposed approach allows one to know in advance at design stage the maximum potential and effective amount of storage resource at any signal processing system.
Nuclear magnetic resonance (NMR) techniques have been applied to the measurement of steady or quasi-steady flow by using, principally, the tag-detect method. This paper describes a two-magnet NMR flowmeter that can be...
详细信息
Nuclear magnetic resonance (NMR) techniques have been applied to the measurement of steady or quasi-steady flow by using, principally, the tag-detect method. This paper describes a two-magnet NMR flowmeter that can be used to measure pulsatile flow. The pulsatile nature of the flow causes a pulsed magnetization of the fluid, which is detected by a flow-sensitive NMR detector. A parabolic velocity profile has been assumed. The results of theoretical computations closely approximate in vitro data from a 1.6-mm ID rigid tube with respect to the shape of the NMR signal and to the proportionality of the NMR signal amplitude to flow rate. Selected in vivo results are also presented.
data COMMUNICATIONS, 1 AS OUR INDUSTRY USES THE TERM, INVOLVES THE EQUIPMENT OR SERVICES USED IN THE flow OF INFORMATION TO OR FROM A COMPUTER CENTER, WHERE A COMPUTER MUST HAVE A PART IN PROCESSING THE INFORMATION T...
详细信息
data COMMUNICATIONS, 1 AS OUR INDUSTRY USES THE TERM, INVOLVES THE EQUIPMENT OR SERVICES USED IN THE flow OF INFORMATION TO OR FROM A COMPUTER CENTER, WHERE A COMPUTER MUST HAVE A PART IN PROCESSING THE INFORMATION TRANSMITTED. IT IS NOT SIMPLY THE TRANSMISSION OF data FROM ONE SOURCE TO ANOTHER.
In this paper, we present a Java-based framework for supporting the development of music-related software, called the Crest Muse Toolkit. Although various efficient software for dataflow visual programming of sound an...
详细信息
ISBN:
(纸本)9781479921867
In this paper, we present a Java-based framework for supporting the development of music-related software, called the Crest Muse Toolkit. Although various efficient software for dataflow visual programming of sound and music processing have been developed, they are not necessarily suitable for exploiting conventional programming skills and experience. Our toolkit has an datallow-paradigm-based but non-visual programming environment that has been carefully designed from an object-oriented point of view. By using this tookit, one can develop music-related software smoothly and efficiently.
In high performance processors, the design of on-chip memory hierarchies is crucial for performance and energy efficiency. Current processors rely on large shared Non-Uniform Cache Architectures (NUCA) to improve perf...
详细信息
ISBN:
(纸本)9781665454445
In high performance processors, the design of on-chip memory hierarchies is crucial for performance and energy efficiency. Current processors rely on large shared Non-Uniform Cache Architectures (NUCA) to improve performance and reduce data movement. Multiple solutions exploit information available at the microarchitecture level or in the operating system to optimize NUCA performance. However, existing methods have not taken advantage of the information captured by task dataflow programming models to guide the management of NUCA caches. In this paper we propose TD-NUCA, a hardware/software co-designed approach that leverages information present in the runtime system of task dataflow programming models to efficiently manage NUCA caches. TD-NUCA identifies the data access and reuse patterns of parallel applications in the runtime system and guides the operation of the NUCA caches in the hardware. As a result, TD-NUCA achieves a 1.18x average speedup over the baseline S-NUCA while requiring only 0.62x the data movement.
暂无评论