Many-core on-the-fly model checking of safety properties using GPUs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 169, doi. 10.1007/s10009-015-0379-9
- By:
- Publication type:
- Article
Works matching DE "GRAPHICS processing unit performance"
Results: 21
1
2
Parallel Realization of Element by Element Analysis of Eddy Current Field Based on Graphic Processing Unit.
- Published in:
- Applied Computational Electromagnetics Society Journal, 2018, v. 33, n. 2, p. 168
- By:
- Publication type:
- Article
3
Efficient out-of-GPU memory strategies for solving matrix equation generated by method of moments.
- Published in:
- Electronics Letters (Wiley-Blackwell), 2015, v. 51, n. 19, p. 1542, doi. 10.1049/el.2015.2175
- By:
- Publication type:
- Article
4
An Application of Graphics Processing Units to Geosimulation of Collective Crowd Behaviour.
- Published in:
- Information Technology & Management Science, 2017, v. 20, n. 1, p. 97, doi. 10.1515/itms-2017-0017
- By:
- Publication type:
- Article
5
Computational Benefit of GPU Optimization for the Atmospheric Chemistry Modeling.
- Published in:
- Journal of Advances in Modeling Earth Systems, 2018, v. 10, n. 8, p. 1952, doi. 10.1029/2018MS001276
- By:
- Publication type:
- Article
6
BenchFriend: Correlating the performance of GPU benchmarks.
- Published in:
- International Journal of High Performance Computing Applications, 2014, v. 28, n. 2, p. 238, doi. 10.1177/1094342013507960
- By:
- Publication type:
- Article
7
A multithreaded programming approach for multimedia big data: encryption system.
- Published in:
- Multimedia Tools & Applications, 2018, v. 77, n. 9, p. 10997, doi. 10.1007/s11042-017-4873-9
- By:
- Publication type:
- Article
8
Nekbone performance on GPUs with OpenACC and CUDA Fortran implementations.
- Published in:
- Journal of Supercomputing, 2016, v. 72, n. 11, p. 4160, doi. 10.1007/s11227-016-1744-5
- By:
- Publication type:
- Article
9
GPU-accelerated parallel algorithms for linear rankSVM.
- Published in:
- Journal of Supercomputing, 2015, v. 71, n. 11, p. 4141, doi. 10.1007/s11227-015-1509-6
- By:
- Publication type:
- Article
10
Interval-based performance modeling for the all-pairs-shortest-path problem on GPUs.
- Published in:
- Journal of Supercomputing, 2015, v. 71, n. 11, p. 4192, doi. 10.1007/s11227-015-1514-9
- By:
- Publication type:
- Article
11
A statistical performance analyzer framework for OpenCL kernels on Nvidia GPUs.
- Published in:
- Journal of Supercomputing, 2015, v. 71, n. 8, p. 2900, doi. 10.1007/s11227-014-1338-z
- By:
- Publication type:
- Article
12
EFFECT OF DATA LAYOUT IN THE EVALUATION TIME OF NON-SEPARABLE FUNCTIONS ON GPU.
- Published in:
- Computing & Informatics, 2015, v. 34, n. 4, p. 725
- By:
- Publication type:
- Article
13
ANALYSIS ON THE AES IMPLEMENTATION WITH VARIOUS GRANULARITIES ON DIFFERENT GPU ARCHITECTURES.
- Published in:
- Advances in Electrical & Electronic Engineering, 2017, v. 15, n. 3, p. 526, doi. 10.15598/aeee.v15i3.2324
- By:
- Publication type:
- Article
14
Accelerating large-scale protein structure alignments with graphics processing units.
- Published in:
- BMC Research Notes, 2012, v. 5, n. 1, p. 116, doi. 10.1186/1756-0500-5-116
- Publication type:
- Article
15
Adaptación para múltiples GPU de un simulador de actividad eléctrica en el corazón.
- Published in:
- Revista Cubana de Ciencias Informáticas, 2013, v. 7, n. 4, p. 100
- By:
- Publication type:
- Article
16
Detección de puntos claves mediante SIFT paralelizado en GPU.
- Published in:
- INGENIARE - Revista Chilena de Ingeniería, 2013, v. 21, n. 3, p. 438
- By:
- Publication type:
- Article
17
Parallel constrained Delaunay triangulation on the GPU.
- Published in:
- International Journal of Geographical Information Science, 2017, v. 31, n. 7, p. 1467, doi. 10.1080/13658816.2017.1300804
- By:
- Publication type:
- Article
18
Accelerating Single Iteration Performance of CUDA-Based 3D Reaction-Diffusion Simulations.
- Published in:
- International Journal of Parallel Programming, 2014, v. 42, n. 2, p. 343, doi. 10.1007/s10766-013-0251-z
- By:
- Publication type:
- Article
19
Parallel Mining of Neuronal Spike Streams on Graphics Processing Units.
- Published in:
- International Journal of Parallel Programming, 2012, v. 40, n. 6, p. 605, doi. 10.1007/s10766-011-0181-6
- By:
- Publication type:
- Article
20
Privacy-Preserving Multi-Party Directory Services.
- Published in:
- EAI Endorsed Transactions on Security & Safety, 2019, v. 6, n. 19, p. 1, doi. 10.4108/eai.29-7-2019.159627
- By:
- Publication type:
- Article
21
High efficiency depth image-based rendering with simplified inpainting-based hole filling.
- Published in:
- Multidimensional Systems & Signal Processing, 2016, v. 27, n. 3, p. 623, doi. 10.1007/s11045-015-0378-8
- By:
- Publication type:
- Article