14 papers · ranked by Valyu relevance
Daniel Ortiz-Martínez
Background Bioinformatics data analysis faces significant challenges. As data analysis often takes the form of pipelines or workflows, workflow managers (WfMs) have become essential. Data flow programming constitutes the preferred approach in WfMs, enabling parallel processes activated reactively based on input…
Fernando H.C. Dias, Lucia Williams, Brendan Mumey, Alexandru I. Tomescu
'Alexandru I. Tomescu'] Minimum flow decomposition (MFD) is an NP-hard problem asking to decompose a network flow into a minimum set of paths (together with associated weights). Variants of it are powerful models in multiassembly problems in Bioinformatics, such as RNA assembly. Owing to its hardness, practical…
Kyriakos Psarakis, George Christodoulou, George Siachamis, Marios Fragkoulis + 1 more
Developing stateful cloud applications, such as low-latency workflows and microservices with strict consistency requirements, remains arduous for programmers. The Stateful Functions-as-a-Service (SFaaS) paradigm aims to serve these use cases. However, existing approaches provide weak transactional guarantees or perform…
Pavel Kodytek, Alexandra Bodzas, Jan Zidek, Govind Vashishtha
Continual technological advances associated with the recent automation revolution have tremendously increased the impact of computer technology in the industry. Software development and testing are time-consuming processes, and the current market faces a lack of specialized experts. Introducing automation to this field…
Rui Lu, Zhichuan Guo, José de Jesús Rangel Magdaleno
Compared to a stateless data plane, a stateful data plane offloads part of state information and control logic from a controller to a data plane to reduce communication overhead and improve packet processing efficiency. However, existing methods for implementing stateful data planes face challenges, particularly…
Ask Hjorth Larsen, Mikael J. Kuisma, Tara M. Boland, Fredrik A. Nilsson + 1 more
'Fredrik A. Nilsson' 'Kristian S. Thygesen'] We introduce Taskblaster, a generic and lightweight Python framework for composing, executing, and managing computational workflows with automated error handling. Taskblaster supports dynamic workflows including flow control using branches and iteration, making the system…
Fernando H. C. Dias, Lucia Williams, Brendan Mumey, Alexandru I. Tomescu
Minimum flow decomposition (MFD) - the problem of finding a minimum set of weighted source-to-sink paths that perfectly decomposes a flow - is a classical problem in Computer Science, and variants of it are powerful models in a different fields such as Bioinformatics and Transportation. Even on acyclic graphs, the…
Mehmet Tugrul Birtek, Vural Aktas, Bora Aktas, Ahmed Choukri Abdullah + 2 more
Microfluidics enable high-precision and cost-effective processing of biological and chemical substances. However, designing and fabricating microfluidic chips typically requires substantial expertise and numerous design iterations, posing considerable barriers to entry for nonexperts. We introduce μFluidicGenius (μFG)…
Vladimir E. Zyubin, Natalia O. Garanina, Igor S. Anureev, Sergey M. Staroletov + 3 more
'Sergey M. Staroletov' 'Andreas Komninos' 'Panagiotis Katsaros' 'Kleanthis Thramboulidis'] The paper proposes a topology-free specification of distributed control systems by means of a process-oriented programming paradigm. The proposed approach was characterized, on the one hand, by a topologically independent…
Daniel Barón-Espitia, Marlon Dumas, Oscar González-Rojas, Muhammad Aleem
'Muhammad Aleem'] Business process simulation is an established approach to estimate the potential impact of hypothetical changes on a process, particularly in terms of time and cost-related performance measures. To overcome the complexity associated with manually specifying and fine-tuning simulation models…
Tianhong Xiong, Maolin Pan, Yang Yu, Dingjun Lou
Crowdsourcing has become a new distributed paradigm, which uses online crowds to solve complex problems. Recently, in order to reduce the development workload and research threshold of crowdsourcing applications, crowdsourcing process modeling is attracting more and more attention. However, complex crowdsourcing…
Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli, Marieke Huisman
'Marieke Huisman'] Choreographies provide a clear way to specify the intended communication behaviour of concurrent and distributed systems. Previous theoretical work investigated the translation of choreographies into (models of) programs based on message passing. However, existing theories still present a gap between…
Parisa Kordjamshidi, Dan Roth, Kristian Kersting
Data-driven approaches are becoming increasingly common as problem-solving tools in many areas of science and technology. In most cases, machine learning models are the key component of these solutions. Often, a solution involves multiple learning models, along with significant levels of reasoning with the models'…
Ilaria Bartolini, Marco Patella
Real-time analysis of large multimedia streams is nowadays made efficient by the existence of several Big Data streaming platforms, like Apache Flink and Samza. However, the use of such platforms is difficult due to the fact that facilities they offer are often too raw to be effectively exploited by analysts. We…