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

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1984年第4期10卷 432-437页

作者： JACHNER, J AGARWAL, VK MCGILL UNIV DEPT ELECT ENGNMONTREAL H3A 2A7QUEBECCANADA

The existence of a programming error is often indicated by the occurrence of a data flow anomaly. The detection of such anomalies can be used for error detection and the upgrading of software quality. A new, efficient algorithm is proposed that is capable of detecting anomalous data flow patterns in a program represented by a graph. The algorithm based on static analysis scans the paths entering and leaving each node of the graph, thus revealing anomalous data action combinations. Fosdick and Osterweil (1976) proposed an algorithm implementing this type of approach. The proposed approach presents a general framework that not only fills a gap in the previous approach, but also offers both time and space improvements.

关键词： flow graphs Software quality Algorithm design and analysis Program processors data flow computing Debugging data analysis

来源：评论

学校读者我要写书评

暂无评论

SIGNORA: A Blockchain-Based Framework for dataflow Integrity Provisioning in an Untrusted data Pipeline

引用

IEEE ACCESS 2022年 10卷 89714-89731页

作者： Oktian, Yustus Eko Heo, Shinwook Kim, Howon Pusan Natl Univ Blockchain Platform Res Ctr Busan 609735 South Korea Pusan Natl Univ Sch Comp Sci & Engn Busan 609735 South Korea SmartM2M Busan 46300 South Korea

In a typical data pipeline, the dataflow starts from the first node, where the data is initiated, and moves to the last node in the pipeline, where the processed data will be stored. Due to the sheer number of involved participants, it is crucial to protect the dataflow integrity in the pipeline. While previous studies have outlined solutions to this matter, the solution for an untrusted data pipeline is still left unexplored, which motivates us to propose SIGNORA. Our proposal combines the concept of a chain of signatures with blockchain receipt to provide dataflow integrity. The chain of signatures provides a non-repudiation guarantee from participants, while the hash of the data and signatures is anchored in the blockchain for a non-tampering guarantee through blockchain receipt. Aside from that, SIGNORA also satisfies essential requirements of running data pipeline processing in an open and untrusted environment, such as (i) providing reliable identity management, (ii) solving the trust and accountability issues through a reputation system, (iii) supporting various devices through multiple cryptographic algorithms (i.e., ECDSA, EdDSA, RSA, and HMAC), and (iv) off-chain processing. Our experiment results show that SIGNORA can provide dataflow integrity provisioning in multiple scenarios of data payload size with reasonable overhead. Furthermore, the cost of smart contract methods has also been analyzed, and several off-chain solutions have been addressed to reduce transaction costs. Finally, the reputation system can adapt to the history of nodes' activities by increasing their scores when they actively perform honest behavior while reducing their scores when they become inactive. Therefore, SIGNORA can provide a high degree of accountability for participants collaborating in an untrusted environment.

关键词： Blockchains data processing Cloud computing Pipeline processing Receivers Behavioral sciences Smart contracts data flow computing dataflow integrity blockchain chain of signatures blockchain receipt data pipeline

来源：评论

学校读者我要写书评

暂无评论

data provenance to audit compliance with privacy policy in the Internet of Things

引用

PERSONAL AND UBIQUITOUS computing 2018年第2期22卷 333-344页

作者： Pasquier, Thomas Singh, Jatinder Powles, Julia Eyers, David Seltzer, Margo Bacon, Jean Harvard Univ Ctr Res Computat & Soc Cambridge MA 02138 USA Univ Cambridge Comp Lab Cambridge England Cornell Tech Comp & Informat Sci New York NY USA Univ Otago Dept Comp Sci Dunedin New Zealand

Managing privacy in the IoT presents a significant challenge. We make the case that information obtained by auditing the flows of data can assist in demonstrating that the systems handling personal data satisfy regulatory and user requirements. Thus, components handling personal data should be audited to demonstrate that their actions comply with all such policies and requirements. A valuable side-effect of this approach is that such an auditing process will highlight areas where technical enforcement has been incompletely or incorrectly specified. There is a clear role for technical assistance in aligning privacy policy enforcement mechanisms with data protection regulations. The first step necessary in producing technology to accomplish this alignment is to gather evidence of data flows. We describe our work producing, representing and querying audit data and discuss outstanding challenges.

关键词： INTERNET of things data protection PERSONALLY identifiable information INFORMATION sharing data flow computing

来源：评论

学校读者我要写书评

暂无评论

Giovanni: A Web Service Workflow-Based data Visualization and Analysis System

引用

IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING 2009年第1期47卷 106-113页

作者： Berrick, Stephen W. Leptoukh, Gregory Farley, John D. Rui, Hualan NASA Goddard Earth Sci Data & Informat Serv Ctr Greenbelt MD 20771 USA SSAI Inc Lanham MD 20706 USA ADNET Syst Inc Lanham MD 20706 USA

NASA's Goddard Earth Sciences data and Information Services Center has developed the Goddard Interactive Online Visualization ANd aNalysis Infrastructure or "Giovanni," an asynchronous Web-service-based workflow management system for Earth science data. Giovanni has been providing an intuitive and responsive interface for visualizing, analyzing, and intercomparing multisensor data using only a Web browser to scientists and other users. Giovanni supports many types of single- and multiparameter visualizations and statistical analyses. The interface also provides users with capabilities for downloading images and data in multiple formats. Giovanni supports open and standard data protocols and formats. Finally, Giovanni provides users with a data lineage that describes, in detail, the algorithms used in processing the data including caveats and other scientifically pertinent information.

关键词： Atmospheric measurements data flow computing data processing

来源：评论

学校读者我要写书评

暂无评论

OPERATING-SYSTEMS PRINCIPLES FOR data flow NETWORKS

引用

COMPUTER 1978年第7期11卷 86-96页

作者： DENNING, PJ Purdue University

A deep look at contemporary operating systems finds data flow principles of value to computer networks large and small.

关键词： Operating systems Computer networks data flow computing Concurrent computing Telephony Next generation networking Processor scheduling Large scale integration Microcomputers

来源：评论

学校读者我要写书评

暂无评论

DFSP - A data flow SIGNAL PROCESSOR

引用

IEEE TRANSACTIONS ON COMPUTERS 1986年第1期35卷 23-33页

作者： HARTIMO, I KRONLOF, K SIMULA, O SKYTTA, J OY NOKIA AB ELECTR RES & DEVSF-00101 HELSINKIFINLAND

The concept of data flow computing is applied to digital signal processing (DSP). A data flow signal processor (DFSP) architecture is presented. The principles of data flow computing are carefully considered in order to conform with the special properties of DSP. The bus oriented architecture is easily configured to meet various performance requirements. The DFSP architecture is most suitable for nonrecursive algorithms. Typical tasks of this nature are transforms and FIR filters. A simulation model of the DFSP architecture has been developed. Simulation results of two application examples are given.

关键词： Computer architectures data flow computing digital signal processing hardware simulation parallel processing

来源：评论

学校读者我要写书评

暂无评论

Incremental, Iterative data Processing with Timely dataflow

引用

COMMUNICATIONS OF THE ACM 2016年第10期59卷 75-83页

作者： Murray, Derek G. McSherry, Frank Isard, Michael Isaacs, Rebecca Barham, Paul Abadi, Martin Google Mountain View CA 94043 USA

We describe the timely dataflow model for distributed computation and its implementation in the Naiad system. The model supports stateful iterative and incremental computations. It enables both low-latency stream processing and high-throughput batch processing, using a new approach to coordination that combines asynchronous and fine-grained synchronous execution. We describe two of the programming frameworks built on Naiad: GraphLINQ for parallel graph processing, and differential dataflow for nested iterative and incremental computations. We show that a general-purpose system can achieve performance that matches, and sometimes exceeds, that of specialized systems.

关键词： Distributed computing Computer systems Batch processing Electronic data processing data flow computing

来源：评论

学校读者我要写书评

暂无评论

A POLYNOMIAL-TIME ALGORITHM FOR THE COMPUTATION OF THE ITERATION-PERIOD BOUND IN RECURSIVE data-flow GRAPHS

引用

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-FUNDAMENTAL THEORY AND APPLICATIONS 1992年第1期39卷 49-52页

作者： GEREZ, SH DEGROOT, SMH HERRMANN, OE Faculty of Electrical Engineering University of Twente Enschede Netherlands

Rate-optimal scheduling of iterative data-flow graphs requires the computation of the iteration period bound. According to the formal definition, the total computational delay in each directed loop in the graph has to be calculated in order to determine that bound. As the number of loops cannot be expressed as a polynomial function of the number of nodes in the graph, this definition cannot be the basis of an efficient algorithm. This paper presents a polynomial-time algorithm for the computation of the iteration period bound based on longest path matrices and their multiplications.

关键词： Polynomials data flow computing Delay Processor scheduling Parallel processing Scheduling algorithm Concurrent computing Digital signal processing Circuits Iterative algorithms

来源：评论

学校读者我要写书评

暂无评论

CHEOPS - A RECONFIGURABLE data-flow SYSTEM FOR VIDEO PROCESSING

引用

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY 1995年第2期5卷 140-149页

作者： BOVE, VM WATLINGTON, JA Media Laboratory Massachusetts Institute of Technology Cambridge MA USA

The Cheeps Imaging System is a compact, modular platform for acquisition, processing, and display of digital video sequences and model-based representations of moving scenes, and is intended as both a laboratory tool and a prototype architecture for future programmable video decoders. Rather than using a large number of general-purpose processors and dividing up image processing tasks spatially, Cheeps abstracts out a set of basic, computationally intensive stream operations that may be performed in parallel and embodies them in specialized hardware. We review the Cheeps architecture, describe the software system that has been developed to perform resource management, and present the results of some performance tests.

关键词： data flow computing decoding digital signals image processing equipment image sequences motion estimation parallel architectures reconfigurable architectures video coding video equipment video signal processing Cheops architecture Cheops imaging system d

来源：评论

学校读者我要写书评

暂无评论

ERSAP: Toward Better NP data-Stream Analytics With flow-Based Programming

引用

IEEE TRANSACTIONS ON NUCLEAR SCIENCE 2023年第6期70卷 966-970页

作者： Gyurjyan, V. Abbott, D. Brei, N. Goodrich, M. Heyes, G. Jastrzembski, E. Lawrence, D. Raydo, Benjamin Timmer, C. JLAB CST Newport News VA 23606 USA JLAB Phys Newport News VA 23606 USA

This article presents a framework based on a flow-based programming (FBP) paradigm to design data-stream processing applications for Nuclear Physics (NP). The developed framework encourages a functional decomposition of the overall data-processing application into small monofunctional artifacts that are easy to understand, develop, and debug. The fact that these artifacts (actors) are programmatically independent means that they can be scaled and optimized independently, which is difficult for monolithic application components. One of the advantages of this approach is fault tolerance, where independent actors can come and go in the data stream without stopping or crashing the entire application. Because actors are loosely coupled and data carries context, they can run in heterogeneous environments and utilize wide-ranging accelerators. This article describes the main design concepts of this framework, presenting a proof-of-concept application and the results of processing on-beam calorimeter streaming data.

关键词： data analysis data communication data flow computing data processing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：