-
Cai, Xing
(2023).
Quality control and innovation in computing and networking using the eX3 testbed.
-
Cai, Xing
(2023).
Towards high-performance unstructured-mesh computations.
-
-
Langguth, Johannes; Gaur, Namit; Arevalo, Hermenegild; Jarvis, Chad; Altanaite, Neringa & Lan, Qiang
[Vis alle 7 forfattere av denne artikkelen]
(2020).
Towards detailed Organ-Scale Simulations in Cardiac Electrophysiology.
-
Hustad, Kristian Gregorius; Cai, Xing; Langguth, Johannes & Arevalo, Hermenegild
(2020).
Efficient simulations of patient-specific electrical heart activity on the DGX-2.
-
Trotter, James David; Cai, Xing; Funke, Simon Wolfgang & Langguth, Johannes
(2019).
Compiling finite element variational forms for GPU-based assembly.
-
Thune, Andreas & Cai, Xing
(2019).
Balancing the numerical and parallel performance for reservoir simulations.
-
Cai, Xing
(2019).
Unstructured computational meshes and data locality.
-
Cai, Xing
(2019).
Heterogeneous computing for cardiac electrophysiology.
-
Langguth, Johannes; Arevalo, Hermenegild; Hustad, Kristian Gregorius & Cai, Xing
(2019).
Towards detailed real-time simulations of cardiac arrhythmia.
-
Langguth, Johannes; Hermenegild, Arevalo; Jarvis, Chad & Cai, Xing
(2018).
Towards Detailed Organ-Scale Simulations in Cardiac Electrophysiology.
-
Cai, Xing
(2018).
Heterogeneous Computing: Programming, Performance and Applications.
-
Trotter, James David; Langguth, Johannes & Cai, Xing
(2018).
Quantifying data traffic of sparse matrix-vector multiplication in a multi-level memory hierarchy.
-
Cai, Xing
(2018).
Education in HPC and Data Science at Simula Research Lab and UiO.
-
Thune, Andreas & Cai, Xing
(2018).
Unstructured mesh partitioning in the presence of strong coefficient heterogeneity.
-
Cai, Xing & Langguth, Johannes
(2017).
Accelerated high-performance computing for computational cardiac electrophysiology.
-
Cai, Xing
(2017).
OpenMP Programming.
-
Lagraviere, Jeremie Alexandre Emilien; Langguth, Johannes; Sourouri, Mohammed; Ha, Hoai Phuong & Cai, Xing
(2016).
On the performance and energy efficiency of the PGAS programming model on multicore architectures.
-
Chatelin, Simon; Lambert, Simon; Jugé, Lauriane; Cai, Xing; Näsholm, Sven Peter & Vilgrain, Valérie
[Vis alle 12 forfattere av denne artikkelen]
(2012).
Measured elasticity and its frequency dependence are sensitive to tissue microarchitecture in MR Elastography.
-
Bouhmala, Noureddine & Cai, Xing
(2009).
A Multilevel Approach for the Satisfiability Problem.
ISAST Transactions on Computers and Intelligent Systems.
ISSN 1798-2448.
2(1),
s. 29–37.
Vis sammendrag
A large number of problems that occur in knowledge-representation, learning, VLSI design,and other areas of artificial intelligence are essentially satisfiability problems. The satisfiability problem refers to the task of finding a true assignment that makes a boolean expression true. The growing need for more efficient and scalable algorithms have led to the development of several SAT solvers. In this paper, we introduce a multilevel approach combining the multilevel paradigm with the GSAT greedy algorithm for solving the satisfiability problem. We present a comparative analysis of the new algorithm's performance using a benchmark set containing randomized and structured problems from various domains. SAT, GSAT, multilevel optimization, combinatorial optimization
-
Cai, Xing
(2006).
Parallelizing serial PDE software using a generic approach.
-
Cai, Xing
(2006).
Simulating Tsunamis on Parallel Computers.
-
-
Cai, Xing & Langtangen, Hans Petter
(2006).
Making hybrid tsunami simulators in a parallel software framework.
-
Lagraviere, Jeremie Alexandre Emilien; Prugger, Martina; Einkemmer, Lukas; Langguth, Johannes; Ha, Hoai Phuong & Cai, Xing
(2016).
Implementing and optimizing a Sparse Matrix-Vector Multiplication with UPC.
Institutt for informatikk Tromsø Tromsø.
Fulltekst i vitenarkiv
-
Lagraviere, Jeremie; Ha, Hoai Phuong & Cai, Xing
(2015).
Evaluation of the power efficiency of UPC, OpenMP and MPI.
Institutt for informatikk Tromsø.
Fulltekst i vitenarkiv
-
Osnes, Harald; Cai, Xing; Bruaset, Are Magnus & Langtangen, Hans Petter
(2006).
Simulation of Deformation and Heat Flow in Sedimentary Basins, Project Report.
Simula Research Laboratory.