Accelerated test execution using GPUs

Accelerated test execution using GPUs

Show other versions (1)

Bibliographic Details
Main Authors:	Rajan, A, Sharma, S, Schrammel, P, Kroening, D
Format:	Conference item
Published:	ACM 2014

Similar Items

Accelerated test execution using GPUs
by: Rajan, A, et al.
Published: (2014)

Accelerating AutoDock Vina with GPUs
by: Shidi Tang, et al.
Published: (2022-05-01)

Acceleration of Approximate Matrix Multiplications on GPUs
by: Takuya Okuyama, et al.
Published: (2023-07-01)

Jet browser model accelerated by GPUs
by: Forster Richárd, et al.
Published: (2016-12-01)

Celeritas: Accelerating Geant4 with GPUs*
by: Johnson Seth R., et al.
Published: (2024-01-01)

Accelerated 2D Classification With ISAC Using GPUs
by: Fabian Schöenfeld, et al.
Published: (2022-07-01)

Design Exploration of AES Accelerators on FPGAs and GPUs
by: Vincenzo Conti, et al.
Published: (2017-03-01)

Sound numerical computations in abstract acceleration
by: Cattaruzza, D, et al.
Published: (2017)

Chaining Test Cases for Reactive System Testing
by: Schrammel, P, et al.
Published: (2013)

Concurrent kernel execution and interference analysis on GPUs using deep learning approaches
by: Mohammed Ayub, et al.
Published: (2022-11-01)

Exploring Attention Sparsity to Accelerate Transformer Training on GPUs
by: Bokyeong Yoon, et al.
Published: (2024-01-01)

Accelerating phase-change heat conduction simulations on GPUs
by: Xiao-Yu Liu, et al.
Published: (2022-11-01)

Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
by: Cattaruzza, D, et al.
Published: (2015)

Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
by: Cattaruzza, D, et al.
Published: (2020)

Generating test case chains for reactive systems
by: Schrammel, P, et al.
Published: (2016)

PySAGES: flexible, advanced sampling methods accelerated with GPUs
by: Pablo F. Zubieta Rico, et al.
Published: (2024-02-01)

MetaBinG: using GPUs to accelerate metagenomic sequence classification.
by: Peng Jia, et al.
Published: (2011-01-01)

DNA sequences alignment in multi-GPUs: acceleration and energy payoff
by: Jesús Pérez-Serrano, et al.
Published: (2018-11-01)

Accelerated cryo-EM structure determination with parallelisation using GPUs in RELION-2
by: Dari Kimanius, et al.
Published: (2016-11-01)

Accelerating an Adaptive Mesh Refinement Code for Depth‐Averaged Flows Using GPUs
by: Xinsheng Qin, et al.
Published: (2019-08-01)

Accelerating prediction of chemical shift of protein structures on GPUs: Using OpenACC.
by: Eric Wright, et al.
Published: (2020-05-01)

SparseRT: Accelerating Unstructured Sparsity on GPUs for Deep Learning Inference
by: Wang, Ziheng
Published: (2022)

Accelerating Machine Learning Inference with GPUs in ProtoDUNE Data Processing
by: Cai, Tejin, et al.
Published: (2023)

Accelerating the Finite-Element Method for Reaction-Diffusion Simulations on GPUs with CUDA
by: Hedi Sellami, et al.
Published: (2020-09-01)

Using GPUs to accelerate computational diffusion MRI: From microstructure estimation to tractography and connectomes
by: Hernandez-Fernandez, M, et al.
Published: (2018)

Accelerating fibre orientation estimation from diffusion weighted magnetic resonance imaging using GPUs.
by: Moisés Hernández, et al.
Published: (2013-01-01)

Accelerating Fibre Orientation Estimation from Diffusion Weighted Magnetic Resonance Imaging Using GPUs.
by: Hernández, M, et al.
Published: (2012)

Accelerating fibre orientation estimation from diffusion weighted magnetic resonance imaging using GPUs
by: Hernández, M, et al.
Published: (2013)

A Neural Network-Inspired Matrix Formulation of Chemical Kinetics for Acceleration on GPUs
by: Shivam Barwey, et al.
Published: (2021-05-01)

Accelerating Multiple Compound Comparison Using LINGO-Based Load-Balancing Strategies on Multi-GPUs
by: Chun-Yuan Lin, et al.
Published: (2015-01-01)

Metaprogramming GPUs with Sh /
by: 245027 McCool, Michael, et al.
Published: (2004)

Accelerating Astrophysical Simulations with GPUs: A Case Study of Radiative Transfer in arepo-rt
by: Verbeek, Erkin Emiel
Published: (2024)

Optimization of designing multiple genes encoding the same protein based on NSGA-II for efficient execution on GPUs
by: Donghyeon Kim, et al.
Published: (2023-07-01)

GPUs, a new tool of acceleration in CFD: efficiency and reliability on smoothed particle hydrodynamics methods.
by: Alejandro C Crespo, et al.
Published: (2011-01-01)

Designing scientific applications on GPUs /
by: Couturier, Raphal͡, editor
Published: (2014)

Fast network centrality analysis using GPUs
by: Shi Zhiao, et al.
Published: (2011-05-01)

Non-Invasive, Memory Access-Triggered Near-Data Processing for DNN Training Acceleration on GPUs
by: Hyungkyu Ham, et al.
Published: (2024-01-01)

A General Framework for Accelerating Swarm Intelligence Algorithms on FPGAs, GPUs and Multi-Core CPUs
by: Dalin Li, et al.
Published: (2018-01-01)

Unbounded Safety Verification for Hardware Using Software Analyzers
by: Mukherjee, R, et al.
Published: (2015)

Multidimensional Costas Arrays and Their Enumeration Using GPUs and FPGAs
by: Rafael A. Arce-Nazario, et al.
Published: (2012-01-01)