Filters








2,667 Hits in 3.3 sec

A Dataflow Language for Decentralised Orchestration of Web Service Workflows

Ward Jaradat, Alan Dearle, Adam Barker
2013 2013 IEEE Ninth World Congress on Services  
This paper presents a high-level dataflow specification language that attempts to address these scalability challenges.  ...  This is achieved through partitioning the workflow specification into smaller fragments that may be sent to remote orchestration services for execution.  ...  If a scalar is used to invoke a service endpoint, the language analyser performs data type checking to verify that the service endpoint accepts an input whose data type matches that of the scalar.  ... 
doi:10.1109/services.2013.30 dblp:conf/services/JaradatDB13 fatcat:2wzyreeambgedl2szz3mkcpz7e

Towards an autonomous decentralized orchestration system

Ward Jaradat, Alan Dearle, Adam Barker
2015 Concurrency and Computation  
It exploits parallelism in the workflow by partitioning it into smaller sub workflows, and determines the most appropriate engines to execute them using network resource monitoring and placement analysis  ...  types.  ...  This information may be used to introduce modifications to the dataflow graph structure as necessary during partitioning.  ... 
doi:10.1002/cpe.3655 fatcat:bi3wjtltqbey5hbacah4cnu2ny

Execution Trace Graph Based Multi-criteria Partitioning of Stream Programs

Małgorzata Michalska, Simone Casale-Brunet, Endri Bezati, Marco Mattavelli
2015 Procedia Computer Science  
Finally, information related to actions executions, their influence and the communication volume is being extracted and used as a metric for the partitioning algorithm.  ...  As a dataflow design can be perceived as a weighted graph, a plenty of classical approaches for graph partitioning can be applied.  ...  Different types of dependencies can be identified and used to characterize the execution of a dataflow program (i.e.  ... 
doi:10.1016/j.procs.2015.05.334 fatcat:oob4mshrznd2bebglezxmqgll4

Java2SDG: Stateful big data processing for the masses

Raul Castro Fernandez, Panagiotis Garefalakis, Peter Pietzuch
2016 2016 IEEE 32nd International Conference on Data Engineering (ICDE)  
We describe JAVA2SDG, a compiler that translates annotated Java programs to stateful dataflow graphs (SDGs) that can execute on a compute cluster in a data-parallel and fault-tolerant fashion.  ...  Compared to existing distributed dataflow models, a distinguishing feature of SDGs is that their computational tasks can access distributed mutable state, thus allowing SDGs to capture the semantics of  ...  The JAVA2SDG compiler infers the dataflow and the types of state accesses from the Java program and uses this information to generate an executable SDG.  ... 
doi:10.1109/icde.2016.7498352 dblp:conf/icde/FernandezGP16 fatcat:ahfsoaoghreizbmk3oysyyk6we

Joining dataflow with predicates

Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar
2005 Software engineering notes  
Dataflow analyses sacrifice path-sensitivity for efficiency and lead to false positives when used for verification.  ...  A predicated lattice partitions the program state according to a set of predicates and tracks a lattice element for each partition.  ...  Dataflow analyses can be classified as eager or lazy as follows.  ... 
doi:10.1145/1095430.1081742 fatcat:rsspgeazv5fy5mybvsp5sto2ei

Joining dataflow with predicates

Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar
2005 Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13  
Dataflow analyses sacrifice path-sensitivity for efficiency and lead to false positives when used for verification.  ...  A predicated lattice partitions the program state according to a set of predicates and tracks a lattice element for each partition.  ...  Dataflow analyses can be classified as eager or lazy as follows.  ... 
doi:10.1145/1081706.1081742 dblp:conf/sigsoft/FischerJM05 fatcat:mc6rn4awenf4jgz7p67djrv4bq

Tabu Search for Partitioning Dynamic Dataflow Programs

Małgorzata Michalska, Nicolas Zufferey, Marco Mattavelli
2016 Procedia Computer Science  
An important challenge of dataflow programming is the problem of partitioning dataflow components onto a target architecture.  ...  The approach relies on the use of a simulation tool, capable of estimating the performance for any partitioning configuration exploiting a model of the target architecture and the profiling results.  ...  The problem is approached using the ant colony metaheuristic. Finally, metaheuristics are also used explicitly for partitioning dataflow programs.  ... 
doi:10.1016/j.procs.2016.05.486 fatcat:k2dbqkbfznfghkybdpqdasv7sm

Graspan

Kai Wang, Aftab Hussain, Zhiqiang Zuo, Guoqing Xu, Ardalan Amiri Sani
2017 Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '17  
We implement fully context-sensitive pointer/alias and dataflow analyses on Graspan.  ...  Moreover, we show that these analyses can be used to augment existing checkers; these augmented checkers uncovered 132 new NULL pointer bugs and 1308 unnecessary NULL tests, as well as reported 401 fewer  ...  Background While there are many types of interprocedural analyses, this paper focuses on a pointer/alias analysis and a dataflow analysis, both of which are enablers for all other static analyses.  ... 
doi:10.1145/3037697.3037744 dblp:conf/asplos/WangHZXS17 fatcat:jp3mbapaizhknjiblr5ln3h6iu

Graspan

Kai Wang, Aftab Hussain, Zhiqiang Zuo, Guoqing Xu, Ardalan Amiri Sani
2017 ACM SIGOPS Operating Systems Review  
We implement fully context-sensitive pointer/alias and dataflow analyses on Graspan.  ...  Moreover, we show that these analyses can be used to augment existing checkers; these augmented checkers uncovered 132 new NULL pointer bugs and 1308 unnecessary NULL tests, as well as reported 401 fewer  ...  Background While there are many types of interprocedural analyses, this paper focuses on a pointer/alias analysis and a dataflow analysis, both of which are enablers for all other static analyses.  ... 
doi:10.1145/3093315.3037744 fatcat:suhvrgg7gzbfrd6qhzusxt2y7i

Graspan

Kai Wang, Aftab Hussain, Zhiqiang Zuo, Guoqing Xu, Ardalan Amiri Sani
2017 SIGPLAN notices  
We implement fully context-sensitive pointer/alias and dataflow analyses on Graspan.  ...  Moreover, we show that these analyses can be used to augment existing checkers; these augmented checkers uncovered 132 new NULL pointer bugs and 1308 unnecessary NULL tests, as well as reported 401 fewer  ...  Background While there are many types of interprocedural analyses, this paper focuses on a pointer/alias analysis and a dataflow analysis, both of which are enablers for all other static analyses.  ... 
doi:10.1145/3093336.3037744 fatcat:fyo6brxc2nhdjhdibuv3cqbgum

Graspan

Kai Wang, Aftab Hussain, Zhiqiang Zuo, Guoqing Xu, Ardalan Amiri Sani
2017 SIGARCH Computer Architecture News  
We implement fully context-sensitive pointer/alias and dataflow analyses on Graspan.  ...  Moreover, we show that these analyses can be used to augment existing checkers; these augmented checkers uncovered 132 new NULL pointer bugs and 1308 unnecessary NULL tests, as well as reported 401 fewer  ...  Background While there are many types of interprocedural analyses, this paper focuses on a pointer/alias analysis and a dataflow analysis, both of which are enablers for all other static analyses.  ... 
doi:10.1145/3093337.3037744 fatcat:yriyzkvvpfbdhn2wrmwsues54u

A Methodology for Profiling and Partitioning Stream Programs on Many-core Architectures

Małgorzata Michalska, Jani Boutellier, Marco Mattavelli
2015 Procedia Computer Science  
Moreover, an efficient design space exploration requires an accurate evaluation on the basis of dataflow program execution profiling.  ...  Experimental results validate a many-core platform built by an array of Transport Triggered Architecture processors for exploring the partitioning search space based on the execution trace analysis.  ...  Programming paradigm used by the dataflow computational model presents an interesting alternative.  ... 
doi:10.1016/j.procs.2015.05.498 fatcat:2vu5cofrxndozlhc6vp3y7yfma

Integrating Security Modeling into Embedded System Design

Matthew Eby, Jan Werner, Gabor Karsai, Akos Ledeczi
2007 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)  
The division between these different types of analyses is not always clear-cut. Many times decisions made based on one type of analysis can have an impact on the outcome of other types of analysis.  ...  Currently, SAL supports two types of analyses: information flow analysis and threat model analysis, which are detailed in the following sections.  ... 
doi:10.1109/ecbs.2007.45 dblp:conf/ecbs/EbyWKL07 fatcat:qz3qxziw6zaxrfi6lpzgmzmmda

Methodologies for Synthesizing and Analyzing Dynamic Dataflow Programs in Heterogeneous Systems for Edge Computing

Aurelien Bloch, Simone Casale-Brunet, Marco Mattavelli
2021 IEEE Open Journal of Circuits and Systems  
To complete the methodology of seamless porting of dataflow software and partition on CPU or GPU computing nodes, an automated methodology for exploring the configuration space and to identify high performance  ...  The possibility of using the increasing computing power available in cloud infrastructures requires the development of new approaches for application software development and optimization.  ...  These can only be derived using an appropriate design space exploration heuristic supported by an easily analysable execution model.  ... 
doi:10.1109/ojcas.2021.3116342 fatcat:tcj74ra5z5bo7oox4w56fo5xuu

A Partition Scheduler Model for Dynamic Dataflow Programs

M. Michalska, E. Bezati, S. Casale-Brunet, M. Mattavelli
2016 Procedia Computer Science  
to be verified to have a successful execution within each partition.  ...  The method is based on a representation of the execution of a dataflow program with the associated dependencies, and on the cost of using scheduling policy, expressed as a number of conditions that need  ...  Dataflow programming, in its various different models of computation (MoCs), possesses nice properties that can be used to efficiently solve the new system implementation challenges consisting, essentially  ... 
doi:10.1016/j.procs.2016.05.415 fatcat:atdfzsyiezfkdmurn5jbi2t3ga
« Previous Showing results 1 — 15 out of 2,667 results