English
Related papers

Related papers: Experimenting with X10 for Parallel Constraint-Bas…

200 papers

The Semantic Web comprises enormous volumes of semi-structured data elements. For interoperability, these elements are represented by long strings. Such representations are not efficient for the purposes of Semantic Web applications that…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-03-12 Long Cheng , Avinash Malik , Spyros Kotoulas , Tomas E Ward , Georgios Theodoropoulos

Low Autocorrelation Binary Sequences (LABS) is a particularly challenging binary optimization problem which quickly becomes intractable in finding the global optimum for problem sizes beyond 66. This aspect makes LABS appealing to use as a…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-18 Zhiwei Zhang , Jiayu Shen , Niraj Kumar , Marco Pistoia

Task parallelism as employed by the OpenMP task construct, although ideal for tackling irregular problems or typical producer/consumer schemes, bears some potential for performance bottlenecks if locality of data access is important, which…

Performance · Computer Science 2009-02-12 Markus Wittmann , Georg Hager

Large language models (LLMs) often face a bottleneck in inference speed due to their reliance on auto-regressive decoding. Recently, parallel decoding has shown significant promise in enhancing inference efficiency. However, we have…

Computation and Language · Computer Science 2024-10-18 Yuxuan Liu , Wenyuan Li , Laizhong Cui , Hailiang Yang

In previous works, only parameter weights of ASR models are optimized under fixed-topology architecture. However, the design of successful model architecture has always relied on human experience and intuition. Besides, many hyperparameters…

Audio and Speech Processing · Electrical Eng. & Systems 2020-07-28 Yi-Chen Chen , Jui-Yang Hsu , Cheng-Kuang Lee , Hung-yi Lee

We explore the idea of using finite automata to implement new constraints for local search (this is already a successful technique in constraint-based global search). We show how it is possible to maintain incrementally the violations of a…

Artificial Intelligence · Computer Science 2009-10-08 Jun He , Pierre Flener , Justin Pearson

With the advent of large language models (LLMs), there has been a great deal of interest in applying them to solve difficult programming tasks. Recent work has demonstrated their potential at program optimization, a key challenge in…

Machine Learning · Computer Science 2025-02-03 Sagnik Anupam , Alexander Shypula , Osbert Bastani

We study the fundamental problem of selecting optimal features for model construction. This problem is computationally challenging on large datasets, even with the use of greedy algorithm variants. To address this challenge, we extend the…

In this paper we present two versions of a parallel finger structure FS on p processors that supports searches, insertions and deletions, and has a finger at each end. This is to our knowledge the first implementation of a parallel search…

Data Structures and Algorithms · Computer Science 2019-10-11 Seth Gilbert , Wei Quan Lim

Direct Multisearch (DMS) is a Derivative-free Optimization class of algorithms suited for computing approximations to the complete Pareto front of a given Multiobjective Optimization problem. It has a well-supported convergence analysis and…

Optimization and Control · Mathematics 2021-05-10 S. Tavares , C. P. Brás , A. L. Custódio , V. Duarte , P. Medeiros

Local search is a common method for solving combinatorial optimisation problems. We focus on general-purpose local search solvers that accept as input a constraint model - a declarative description of a problem consisting of a set of…

Artificial Intelligence · Computer Science 2025-06-03 Saad Attieh , Nguyen Dang , Christopher Jefferson , Ian Miguel , Peter Nightingale

Maximizing parallelism level in applications can be achieved by minimizing overheads due to load imbalances and waiting time due to memory latencies. Compiler optimization is one of the most effective solutions to tackle this problem. The…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-03-29 Zahra Khatami , Hartmut Kaiser , J. Ramanujam

Parallel search algorithms harness the multithreading capability of modern processors to achieve faster planning. One such algorithm is PA*SE (Parallel A* for Slow Expansions), which parallelizes state expansions to achieve faster planning…

Robotics · Computer Science 2023-01-11 Shohin Mukherjee , Sandip Aine , Maxim Likhachev

In this paper, we propose the Parallel Elite Biased framework (PEB framework) for parallel trajectory-based metaheuristics. In the PEB framework, multiple search processes are executed concurrently. During the search, each process sends its…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-20 Jialong Shi , Qingfu Zhang

Constraint Programming (CP) and Local Search (LS) are different paradigms for dealing with combinatorial search and optimization problems. Their complementary features motivated researchers to create hybrid CP/LS solutions, maintaining both…

Neural and Evolutionary Computing · Computer Science 2019-09-19 Mateusz Ślażyński

The PGAS model is well suited for executing irregular applications on cluster-based systems, due to its efficient support for short, one-sided messages. However, there are currently two major limitations faced by PGAS applications. The…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-06-22 Sri Raj Paul , Akihiro Hayashi , Kun Chen , Vivek Sarkar

In this paper, we introduce an efficient and money-saving automatic parallel strategies search framework on heterogeneous GPUs: Astra. First, Astra searches for the efficiency-optimal parallel strategy in both GPU configurations search…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-20 Peiran Wang , Haibing Li , Fu Haohan , Shiyong Li , Yanpeng Wang , Dou Shen

The range, segment and rectangle query problems are fundamental problems in computational geometry, and have extensive applications in many domains. Despite the significant theoretical work on these problems, efficient implementations can…

Computational Geometry · Computer Science 2018-08-08 Yihan Sun , Guy E. Blelloch

The goal of causal discovery is to learn a directed acyclic graph from data. One of the most well-known methods for this problem is Greedy Equivalence Search (GES). GES searches for the graph by incrementally and greedily adding or removing…

Machine Learning · Computer Science 2025-02-28 Achille Nazaret , David Blei

Recent implementations of local approximate Gaussian process models have pushed computational boundaries for non-linear, non-parametric prediction problems, particularly when deployed as emulators for computer experiments. Their flavor of…

Computation · Statistics 2015-01-06 Robert B. Gramacy , Benjamin Haaland