English
Related papers

Related papers: Optimization of Imperative Programs in a Relationa…

200 papers

The idea of using unfolding as a way of computing a program semantics has been applied successfully to logic programs and has shown itself a powerful tool that provides concrete, implementable results, as its outcome is actually source…

Programming Languages · Computer Science 2017-08-29 José María Rey-Poza , Julio Mariño-Carballo

Partial evaluation has recently been used for processing SPARQL queries over a large resource description framework (RDF) graph in a distributed environment. However, the previous approach is inefficient when dealing with complex queries.…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-18 Peng Peng , Lei Zou , Runyu Guan

In recent years, the surge in unstructured data analysis, facilitated by advancements in Machine Learning (ML), has prompted diverse approaches for handling images, text documents, and videos. Analysts, leveraging ML models, can extract…

Databases · Computer Science 2024-04-08 Akash Mittal , Anshul Bheemreddy , Huili Tao

Unstructured enterprise data such as reports, manuals and guidelines often contain tables. The traditional way of integrating data from these tables is through a two-step process of table detection/extraction and mapping the table layouts…

Databases · Computer Science 2019-11-22 Mustafa Canim , Cristina Cornelio , Arun Iyengar , Ryan Musa , Mariano Rodrigez Muro

High-performance dynamic language implementations make heavy use of speculative optimizations to achieve speeds close to statically compiled languages. These optimizations are typically performed by a just-in-time compiler that generates…

Programming Languages · Computer Science 2020-05-19 Olivier Flückiger , Gabriel Scherer , Ming-Ho Yee , Aviral Goel , Amal Ahmed , Jan Vitek

Data analytics applications combine multiple functions from different libraries and frameworks. Even when each function is optimized in isolation, the performance of the combined application can be an order of magnitude below hardware…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-10-26 Shoumik Palkar , James Thomas , Deepak Narayanan , Anil Shanbhag , Rahul Palamuttam , Holger Pirk , Malte Schwarzkopf , Saman Amarasinghe , Samuel Madden , Matei Zaharia

Federated learning (FL), aimed at leveraging vast distributed datasets, confronts a crucial challenge: the heterogeneity of data across different silos. While previous studies have explored discrete representations to enhance model…

Machine Learning · Computer Science 2025-06-06 Tianyi Zhang , Yu Cao , Dianbo Liu

The query optimizer is a fundamental component of database management systems. Recent studies have shown that learned query optimizers outperform traditional cost-based query optimizers. However, they fail to exploit valuable runtime…

Databases · Computer Science 2026-03-05 Jiahao He , Yutao Cui , Cuiping Li , Jikang Jiang , Yuheng Hou , Hong Chen

Requirements prioritization is a critical activity during the early software development process, which produces a set of key requirements to implement. The prioritization process offers a parity among the requirements based on multiple…

Software Engineering · Computer Science 2023-06-22 Jonathan Winton , Francis Palma

Federated Learning (FL) is a distributed machine learning approach that enables devices to collaboratively train models without sharing their local data, ensuring user privacy and scalability. However, applying FL to real-world data…

Machine Learning · Computer Science 2024-08-14 Jieming Bian , Lei Wang , Jie Xu

The proliferation of the Internet of Things (IoT) and widespread use of devices with sensing, computing, and communication capabilities have motivated intelligent applications empowered by artificial intelligence. The classical artificial…

Machine Learning · Computer Science 2022-06-24 Zunming Chen , Hongyan Cui , Ensen Wu , Yu Xi

Functional dependencies -- traditional, approximate and conditional are of critical importance in relational databases, as they inform us about the relationships between attributes. They are useful in schema normalization, data…

Databases · Computer Science 2010-12-14 Sushovan De , Subbarao Kambhampati

In end-to-end distributed real time systems, a task may be executed sequentially on different processors. The end-toend task response time must not exceed the end-to-end task deadline to consider the task a schedulable task. In transient…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-06-04 W. El-Haweet , Islam Elgedawy , Ibrahim Abd El-Salam

Requirement traceability is the process of identifying the inter-dependencies between requirements. It poses a significant challenge when conducted manually, especially when dealing with requirements at various levels of abstraction. In…

Artificial Intelligence · Computer Science 2024-06-21 Baher Mohammad , Riad Sonbol , Ghaida Rebdawi

Modern data stores increasingly rely on metadata for enabling diverse activities such as data cataloging and search. However, metadata curation remains a labor-intensive task, and the broader challenge of metadata maintenance -- ensuring…

Databases · Computer Science 2024-12-16 Tianji Cong , Fatemeh Nargesian , Junjie Xing , H. V. Jagadish

Systems in many safety-critical application domains are subject to certification requirements. In such a system, there are typically different applications providing functionalities that have varying degrees of criticality. Consequently,…

Operating Systems · Computer Science 2020-03-12 Xiaozhe Gu , Arvind Easwaran

The purpose of this paper is to point to the usefulness of applying a linear mathematical formulation of fuzzy multiple criteria objective decision methods in organising business activities. In this respect fuzzy parameters of linear…

Artificial Intelligence · Computer Science 2007-05-23 Sonja Petrovic-Lazarevic , Ajith Abraham

Utilitarian algorithm configuration identifies a parameter setting for a given algorithm that maximizes a user's utility. Utility functions offer a theoretically well-grounded approach to optimizing decision-making under uncertainty and are…

Artificial Intelligence · Computer Science 2025-11-17 Devon Graham , Eros Rojas Velez , Kevin Leyton-Brown

Optimizing programs to run efficiently on modern parallel hardware is hard but crucial for many applications. The predominantly used imperative languages - like C or OpenCL - force the programmer to intertwine the code describing…

Programming Languages · Computer Science 2020-02-07 Bastian Hagedorn , Johannes Lenfers , Thomas Koehler , Sergei Gorlatch , Michel Steuwer

In its traditional definition, a repair of an inconsistent database is a consistent database that differs from the inconsistent one in a "minimal way". Often, repairs are not equally legitimate, as it is desired to prefer one over another;…

Databases · Computer Science 2016-03-08 Benny Kimelfeld , Ester Livshits , Liat Peterfreund