中文
相关论文

相关论文: Portfolio of Solving Strategies in CEGAR-based Obj…

200 篇论文

We address the problem of object arrangement and scheduling for sequential 3D printing. Unlike the standard 3D printing, where all objects are printed slice by slice at once, in sequential 3D printing, objects are completed one after other.…

计算几何 · 计算机科学 2025-03-10 Pavel Surynek , Vojtěch Bubník , Lukáš Matěna , Petr Kubiš

The ability to timely process significant amounts of continuously updated spatial data is mandatory for an increasing number of applications. Parallelism enables such applications to face this data-intensive challenge and allows the devised…

数据库 · 计算机科学 2014-11-13 Francesco Lettich , Salvatore Orlando , Claudio Silvestri , Christian S. Jensen

The Maximum Common Subgraph is a computationally challenging problem with countless practical applications. Even if it has been long proven NP-hard, its importance still motivates searching for exact solutions. This work starts by…

数据结构与算法 · 计算机科学 2020-11-09 Andrea Marcelli , Stefano Quer , Giovanni Squillero

We study the problem of executing an application represented by a precedence task graph on a parallel machine composed of standard computing cores and accelerators. Contrary to most existing approaches, we distinguish the allocation and the…

分布式、并行与集群计算 · 计算机科学 2017-11-20 Marcos Amaris , Giorgio Lucarelli , Clément Mommessin , Denis Trystram

Mixed packing and covering problems are problems that can be formulated as linear programs using only non-negative coefficients. Examples include multicommodity network flow, the Held-Karp lower bound on TSP, fractional relaxations of set…

数据结构与算法 · 计算机科学 2016-01-19 Neal E. Young

We develop a novel parallel resampling algorithm for fully parallelized particle filters, which is designed with GPUs (graphics processing units) or similar parallel computing devices in mind. With our new algorithm, a full cycle of…

统计计算 · 统计学 2016-08-17 Kenichiro McAlinn , Teruo Nakatsuma

The acceleration of sparse matrix computations on modern many-core processors, such as the graphics processing units (GPUs), has been recognized and studied over a decade. Significant performance enhancements have been achieved for many…

数学软件 · 计算机科学 2017-10-16 Ruipeng Li

The whole computer hardware industry embraced multicores. For these machines, the extreme optimisation of sequential algorithms is no longer sufficient to squeeze the real machine power, which can be only exploited via thread-level…

分布式、并行与集群计算 · 计算机科学 2010-09-21 Marco aldinucci , Salvatore Ruggieri , Massimo Torquati

In this paper we solve on GPUs massive problems with large amount of data, which are not appropriate for solution with the SIMD technology. For the given problem we consider a three-level parallelization. The multithreading of CPU is used…

分布式、并行与集群计算 · 计算机科学 2014-02-18 Natalya Litvinenko

Exactly solving multi-objective integer programming (MOIP) problems is often a very time consuming process, especially for large and complex problems. Parallel computing has the potential to significantly reduce the time taken to solve such…

最优化与控制 · 数学 2018-11-02 William Pettersson , Melih Ozlen

Supercomputers are equipped with an increasingly large number of cores to use computational power as a way of solving problems that are otherwise intractable. Unfortunately, getting serial algorithms to run in parallel to take advantage of…

分布式、并行与集群计算 · 计算机科学 2013-12-31 Faisal N. Abu-Khzam , Khuzaima Daudjee , Amer E. Mouawad , Naomi Nishimura

Sorting is one of the most fundamental problems in the field of computer science. With the rapid development of manycore processors, it shows great importance to design efficient parallel sort algorithm on manycore architecture. This paper…

分布式、并行与集群计算 · 计算机科学 2022-02-18 Tianyi Yu , Wei Li

The hypercube queueing model was initially developed to address spatial queueing problems and has found wide applications in emergency services, such as ambulance and police systems. While the model was originally designed for homogeneous…

最优化与控制 · 数学 2026-03-10 Cheng Hua , Jun Luo , Arthur J. Swersey , Yixing Wen

In this paper, we propose a new parallel ordering method to vectorize and parallelize the sparse triangular solver, which is called hierarchical block multi-color ordering. In this method, the parallel forward and backward substitutions can…

分布式、并行与集群计算 · 计算机科学 2019-08-05 Takeshi Iwashita , Senxi Li , Takeshi Fukaya

In typical black-box optimization applications, the available computational budget is often allocated to a single algorithm, typically chosen based on user preference with limited knowledge about the problem at hand or according to some…

神经与进化计算 · 计算机科学 2026-01-26 Catalin-Viorel Dinu , Diederick Vermetten , Carola Doerr

The parallel ordering of large graphs is a difficult problem, because on the one hand minimum degree algorithms do not parallelize well, and on the other hand the obtainment of high quality orderings with the nested dissection algorithm…

分布式、并行与集群计算 · 计算机科学 2009-07-10 Cédric Chevalier , François Pellegrini

Discovering causal relationships from observational data is a crucial problem and it has applications in many research areas. The PC algorithm is the state-of-the-art constraint based method for causal discovery. However, runtime of the PC…

人工智能 · 计算机科学 2016-11-11 Thuc Duy Le , Tao Hoang , Jiuyong Li , Lin Liu , Huawen Liu

In this paper, we study how the Pruned Landmark Labeling (PPL) algorithm can be parallelized in a scalable fashion, producing the same results as the sequential algorithm. More specifically, we parallelize using a Vertex-Centric (VC)…

数据库 · 计算机科学 2019-07-01 Ruoming Jin , Zhen Peng , Wendell Wu , Feodor Dragan , Gagan Agrawal , Bin Ren

Computed Tomography (CT) is a key 3D imaging technology that fundamentally relies on the compute-intense back-projection operation to generate 3D volumes. GPUs are typically used for back-projection in production CT devices. However, with…

分布式、并行与集群计算 · 计算机科学 2021-04-28 Peng Chen , Mohamed Wahib , Xiao Wang , Shinichiro Takizawa , Takahiro Hirofuchi , Hirotaka Ogawa , Satoshi Matsuoka

Motivated by modern parallel computing applications, we consider the problem of scheduling parallel-task jobs with heterogeneous resource requirements in a cluster of machines. Each job consists of a set of tasks that can be processed in…

分布式、并行与集群计算 · 计算机科学 2020-04-03 Mehrnoosh Shafiee , Javad Ghaderi
‹ 上一页 1 2 3 10 下一页 ›