A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A Dataflow Language for Decentralised Orchestration of Web Service Workflows
2013
2013 IEEE Ninth World Congress on Services
Preserved Fulltext
Other Versions
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
2015
Concurrency and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2015
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
2016 IEEE 32nd International Conference on Data Engineering (ICDE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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
2016
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2017
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '17
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
ACM SIGOPS Operating Systems Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
SIGARCH Computer Architecture News
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2021
IEEE Open Journal of Circuits and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2016
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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