Cover Image

A semi-algebraic model for automatic loop parallelization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Chen, Changbo
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation Distributed, Parallel, and Cluster Computing 14Q30
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Formal Framework for Predicting Distributed System Performance under Faults (Extended Version)
by: Zhou, Ziwei, et al.
Published: (2026)

Federated Automatic Differentiation
by: Rush, Keith, et al.
Published: (2023)

Views: a hardware-friendly graph database model for storing semantic information
by: Yang, Yanjun, et al.
Published: (2025)

Parallel Two-Stage Approach for Joint Symbolic Approximation of Time Series
by: Chen, Xinye
Published: (2023)

NeSy-Edge: Neuro-Symbolic Trustworthy Self-Healing in the Computing Continuum
by: Ye, Peihan, et al.
Published: (2026)

Randomized Distributed Function Computation (RDFC): Ultra-Efficient Semantic Communication Applications to Privacy
by: Günlü, Onur
Published: (2026)

On Projective Delineability
by: Michel, Lucas, et al.
Published: (2024)

A parallel parser for regular expressions
by: Borsotti, Angelo, et al.
Published: (2025)

On some Exotic Cylindrical Algebraic Decompositions and Cells
by: Michel, Lucas
Published: (2026)

A common parallel framework for LLP combinatorial problems
by: Alves, David Ribeiro, et al.
Published: (2026)

Toward parallel intelligence: an interdisciplinary solution for complex systems
by: Zhao, Yong, et al.
Published: (2023)

A Kronecker algorithm for locally closed sets over a perfect field
by: Giménez, Nardo, et al.
Published: (2025)

Massively parallel CMA-ES with increasing population
by: Redon, David, et al.
Published: (2024)

Sufficient conditions for the surjectivity of radical curve parametrizations
by: Caravantes, Jorce, et al.
Published: (2023)

Pragma driven shared memory parallelism in Zig by supporting OpenMP loop directives
by: Kacs, David, et al.
Published: (2024)

MaRDIFlow: A CSE workflow framework for abstracting meta-data from FAIR computational experiments
by: Veluvali, Pavan L., et al.
Published: (2024)

Minimizing speculation overhead in a parallel recognizer for regular texts
by: Borsotti, Angelo, et al.
Published: (2024)

Energy efficiency optimization of task-parallel codes on asymmetric architectures
by: Costero, Luis, et al.
Published: (2024)

Matrix representation and GPU-optimized parallel B-spline computing
by: Wu, Jiayu, et al.
Published: (2025)

A Geometric Approach to Cylindrical Algebraic Decomposition
by: Chen, Rizeng
Published: (2023)

Regent based parallel meshfree LSKUM solver for heterogenous HPC platforms
by: Salil, Sanath, et al.
Published: (2024)

Static task mapping for heterogeneous systems based on series-parallel decompositions
by: Wilhelm, Martin, et al.
Published: (2025)

An inherently parallel H2-ULV factorization for solving dense linear systems on GPUs
by: Ma, Qianxiang, et al.
Published: (2025)

A large-scale distributed parallel discrete event simulation engines based on Warped2 for Wargaming simulation
by: Jia, Xiaoning, et al.
Published: (2025)

Certified simultaneous isotopic approximation of curves via subdivision
by: Burr, Michael, et al.
Published: (2023)

A dynamic parallel method for performance optimization on hybrid CPUs
by: Yu, Luo, et al.
Published: (2024)

Pipit: Scripting the analysis of parallel execution traces
by: Bhatele, Abhinav, et al.
Published: (2023)

A new method for reducing algebraic programs to polynomial programs
by: Maaz, Muhammad, et al.
Published: (2025)

What Kind of Morphisms Induces Covering Maps over a Real Closed Field?
by: Chen, Rizeng
Published: (2025)

AEG: A Baremetal Framework for AI Acceleration via Direct Hardware Access in Heterogeneous Accelerators
by: Jiang, Hua, et al.
Published: (2026)

Method for determining the acceleration of a parallel specialised computer system based on Amdahl's law
by: Filipchenko, Aleksandr S.
Published: (2024)

Recent Advances in Debordering Methods
by: Dutta, Pranjal, et al.
Published: (2025)

PanDelos-plus: A parallel algorithm for computing sequence homology in pangenomic analysis
by: Colli, Simone, et al.
Published: (2025)

Characterising resource management performance in Kubernetes
by: Medel, Víctor, et al.
Published: (2024)

Accelerating Gaussian beam tracing method with dynamic parallelism on graphics processing units
by: Sheng, Zhang, et al.
Published: (2025)

A parallel implementation of reduced-order modeling of large-scale systems
by: Farcas, Ionut-Gabriel, et al.
Published: (2025)

Multithreaded parallelism for heterogeneous clusters of QPUs
by: Seitz, Philipp, et al.
Published: (2023)

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
by: Shang, Weifeng, et al.
Published: (2025)

A shared compilation stack for distributed-memory parallelism in stencil DSLs
by: Bisbas, George, et al.
Published: (2024)

An efficient implementation of parallel simulated annealing algorithm in GPUs
by: Ferreiro, A. M., et al.
Published: (2024)