2,488 Hits in 2.2 sec

Precise Dataflow Analysis of Event-Driven Applications [article]

Ming-Ho Yee, Ayaz Badouraly, Ondřej Lhoták, Frank Tip, Jan Vitek
2019 arXiv   pre-print
static analysis of event-driven applications; problems in both forms can be solved by existing implementations.  ...  Traditional static analysis techniques are unable to reason precisely about event-driven code because they conservatively assume that event handlers may execute in any order.  ...  ., program states where no events have been emitted and program states where an event has been emitted, resulting in a more precise analysis of event-driven programs.  ... 
arXiv:1910.12935v1 fatcat:5fw5mkw4ofddlju7xacsznjue4

SciFlow: A dataflow-driven model architecture for scientific computing using Hadoop

Pengfei Xuan, Yueli Zheng, Sapna Sarupria, Amy Apon
2013 2013 IEEE International Conference on Big Data  
Some types of applications, such as rare event sampling, additionally require guaranteed completion of all subtasks for analysis, and place significant demands on the workflow management and execution  ...  Many computational science applications utilize complex workflow patterns that generate an intricately connected set of output files for subsequent analysis.  ...  ACKNOWLEDGMENTS This research is sponsored in part by NSF awards CNS-1228312 and OCI-1212680, and used HPC resources of the Clemson Computing and Information Technology.  ... 
doi:10.1109/bigdata.2013.6691725 dblp:conf/bigdataconf/XuanZSA13 fatcat:7sptcg6ge5cxbcemhfomxkbyli

Motivating hierarchical run-time models in measurement and control systems

Jie Liu, S. Jefferson, E.A. Lee
2001 Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148)  
In complex applications, it is desirable to use different models in different parts of the system or under different modes of operation.  ...  This paper reviews run-time computation models for this kind of real-time embedded software, from message semantics, message acquisition, and the dataflow/control flow perspectives.  ...  For example, a priority-driven multitasking director will manage the priorities of actors and an event queue that dispatches events according to their destination actor's priority.  ... 
doi:10.1109/acc.2001.946165 fatcat:kjqocfiwnngq3nr3qrtp6hhlge

Rapid development of user interfaces on cluster-driven wall displays with jBricks

Emmanuel Pietriga, Stéphane Huot, Mathieu Nancel, Romain Primet
2011 Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems - EICS '11  
interaction techniques and rapid development of post-WIMP applications running on cluster-driven interactive visualization platforms.  ...  Research on cluster-driven wall displays has mostly focused on techniques for parallel rendering of complex 3D models.  ...  ACKNOWLEDGEMENTS We wish to thank Caroline Appert and Olivier Chapuis for helpful comments on early drafts of this paper. This work is supported by a Région Ile-de-France / Digiteo grant.  ... 
doi:10.1145/1996461.1996518 dblp:conf/eics/PietrigaHNP11 fatcat:h5fhljeya5aynfj3cjcg7iadpe

Static analysis of event-driven Node.js JavaScript applications

Magnus Madsen, Frank Tip, Ondřej Lhoták
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015  
Moreover, we show that the number of false positives reported by the analysis on a suite of small Node.js applications is manageable.  ...  Many JavaScript programs are written in an event-driven style.  ...  However, surprisingly little research has focused on the event-driven nature of control flow in JavaScript applications.  ... 
doi:10.1145/2814270.2814272 dblp:conf/oopsla/MadsenTL15 fatcat:7laa4sty6rchvmbuohkv4mkdje

Static analysis of event-driven Node.js JavaScript applications

Magnus Madsen, Frank Tip, Ondřej Lhoták
2015 SIGPLAN notices  
Moreover, we show that the number of false positives reported by the analysis on a suite of small Node.js applications is manageable.  ...  Many JavaScript programs are written in an event-driven style.  ...  However, surprisingly little research has focused on the event-driven nature of control flow in JavaScript applications.  ... 
doi:10.1145/2858965.2814272 fatcat:gr5kgqwkofa2jemcrzehwygzfm

Model Based Design Environment for Data-driven Embedded Signal Processing Systems1

Kishan Sudusinghe, Inkeun Cho, Mihaela van der Schaar, Shuvra S. Bhattacharyya
2014 Procedia Computer Science  
We demonstrate the utility of our proposed new design methods on an energy-constrained, multi-mode face detection application.  ...  Signal processing applications, such as keyword matching, speaker identification, and face recognition, are of great importance in such environments.  ...  and analyzed precisely in terms of integrated principles of DDDAS and dataflow.  ... 
doi:10.1016/j.procs.2014.05.107 fatcat:llt6dkm3aval3hdgijfb74w77a


Philip S. Kurtin, Joost P.H.M. Hausmans, Marco J.G. Bekooij
2016 Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems - SCOPES '16  
In this paper we present HAPI, an event driven simulator for the evaluation of the results of real-time analysis techniques for task graphs executed on multiprocessor systems that support processor sharing  ...  We demonstrate the applicability of the simulator using a number of didactic examples and a WLAN 802.11p application.  ...  In this paper HAPI, an event-driven simulation approach of dataflow graphs on multiprocessor systems, is presented, which is suitable for the evaluation of the correctness of realtime analysis results.  ... 
doi:10.1145/2906363.2906381 dblp:conf/scopes/KurtinHB16 fatcat:5robx2an25fzfafkpytuodzifi

Performance Analysis of Complex Systems by Integration of Dataflow Graphs and Compositional Performance Analysis

Simon Schliecker, Steffen Stein, Rolf Ernst
2007 2007 Design, Automation & Test in Europe Conference & Exhibition  
Both make different trade-offs between precision and applicability. We show how the strengths of both can be combined to achieve a very precise and adaptive model.  ...  We couple these models of completely different paradigms by relying on load descriptions of event streams. The results show a superior performance analysis quality.  ...  In this paper, we focus on two analysis methods based on Synchronous Dataflow (SDF) graphs and event model driven compositional performance analysis.  ... 
doi:10.1109/date.2007.364603 dblp:conf/date/SchlieckerSE07 fatcat:33st4xcn25g4dpcnaeqi4byvmu

Dynamic data-flow testing

Mattia Vivanti
2014 Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014  
To improve the applicability and e↵ectiveness of data-flow testing we need both to augment the precision of the coverage domain by including data-flow elements dependent on aliasing and to exclude infeasible  ...  The applicability of data-flow testing is limited by the complexity and the imprecision of the approach: writing a test suite that satisfy a data-flow criterion is challenging due to the presence of many  ...  DReaDs identifies data-flow elements more precisely by intercepting data events during the program execution, and identifying data-flow elements a↵ected by those events using a model of the relations between  ... 
doi:10.1145/2591062.2591079 dblp:conf/icse/Vivanti14 fatcat:366c3q6tenatfifaeznckzb5ke

Data-Driven Stream Mining Systems for Computer Vision [chapter]

Shuvra S. Bhattacharyya, Mihaela van der Schaar, Onur Atan, Cem Tekin, Kishan Sudusinghe
2014 Advances in Computer Vision and Pattern Recognition  
With advances in sensor and digital processing technologies, we are able to deploy networks involving large numbers of cameras that acquire increasing volumes of image data for diverse applications in  ...  However, to exploit the potential of such extensive networks for image acquisition, important challenges must be addressed in efficient communication and analysis of such data under constraints on power  ...  Acknowledgments This work is supported by the US Air Force Office of Scientific Research under the DDDAS Program.  ... 
doi:10.1007/978-3-319-09387-1_12 fatcat:am4bf2g7tjbd3h3vefpeaxvvum

Actor-Oriented Design of Scientific Workflows [chapter]

Shawn Bowers, Bertram Ludäscher
2005 Lecture Notes in Computer Science  
Scientific workflows are becoming increasingly important as a unifying mechanism for interlinking scientific data management, analysis, simulation, and visualization tasks.  ...  Unlike business workflows, scientific workflows are typically highly data-centric naturally leading to dataflow-oriented modeling approaches.  ...  ., they can be data-intensive, compute-intensive, analysis-intensive, and visualization-intensive, thus covering a wide range of applications from low-level "plumbing workflows" of interest to Grid engineers  ... 
doi:10.1007/11568322_24 fatcat:3tnd5abmdzdodn6533huwbpc4q

Power monitoring with PAPI for extreme scale architectures and dataflow-based programming models

Heike McCraw, James Ralph, Anthony Danalis, Jack Dongarra
2014 2014 IEEE International Conference on Cluster Computing (CLUSTER)  
Furthermore, we discuss the integration of PAPI in PARSEC -a task-based dataflow-driven execution engine -enabling hardware performance counter and power monitoring at true task granularity. 978-1-4799  ...  Most major end-user tools that application developers use to analyze the performance of their applications rely on PAPI to gain access to these performance counters.  ...  This research used resources of the Argonne Leadership Computing Facility at Argonne National Laboratory, which is supported by the Office of Science of the U.S.  ... 
doi:10.1109/cluster.2014.6968672 dblp:conf/cluster/McCrawRDD14 fatcat:5lrtkfkqhfe7rkpbuplx6cxtdi

RESPARC: A Reconfigurable and Energy-Efficient Architecture with Memristive Crossbars for Deep Spiking Neural Networks [article]

Aayush Ankit, Abhronil Sengupta, Priyadarshini Panda, Kaushik Roy
2017 arXiv   pre-print
Prior works were primarily focused on device and circuit implementations of SNNs on crossbars. RESPARC advances this by proposing a complete system for SNN acceleration and its subsequent analysis.  ...  RESPARC utilizes the energy-efficiency of MCAs for inner-product computation and realizes a hierarchical reconfigurable design to incorporate the data-flow patterns in an SNN in a scalable fashion.  ...  Figure 13 : 13 (a) Energy consumption analysis with eventdrivenness in MLPs (b) Energy consumption analysis with event-drivenness in CNNs 1 . 1 Macro Processing Engine -reconfigurable compute unit to  ... 
arXiv:1702.06064v1 fatcat:mv75rfmiu5g7ri3hnrcru7jele

Modeling the HTML DOM and browser API in static analysis of JavaScript web applications

Simon Holm Jensen, Magnus Madsen, Anders Møller
2011 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11  
One application of such a static analysis is to detect typerelated and dataflow-related programming errors.  ...  By measuring the precision of the types inferred for object properties, the analysis is precise enough to show that most expressions have unique types.  ...  In comparison, our analysis has a more precise treatment of dataflow and event handlers in connection to the DOM.  ... 
doi:10.1145/2025113.2025125 dblp:conf/sigsoft/JensenMM11 fatcat:gm37is6ghvhlhdz2jcfy644xxa
« Previous Showing results 1 — 15 out of 2,488 results