P
Pedro J. Martín
Researcher at Complutense University of Madrid
Publications - 16
Citations - 142
Pedro J. Martín is an academic researcher from Complutense University of Madrid. The author has contributed to research in topics: Unification & First-order logic. The author has an hindex of 4, co-authored 16 publications receiving 135 citations.
Papers
More filters
Book ChapterDOI
CUDA Solutions for the SSSP Problem
TL;DR: Several algorithms that solve the single-source shortest-path problem using CUDA on a database, composed of hundreds of large graphs represented by adjacency lists and adjacence matrices, achieving high speedups regarding a CPU implementation based on Fibonacci heaps.
Proceedings ArticleDOI
Algorithmic strategies for optimizing the parallel reduction primitive in CUDA
TL;DR: This paper presents an experimental study of state-of-the-art reduction algorithms on CUDA, and introduces two algorithmic optimizations that are integrated into the fastest solution (a sequential-based algorithm), improving its throughput even more.
Proceedings ArticleDOI
Ray casting using a roped BVH with CUDA
TL;DR: A real-time ray caster implemented on GPU using CUDA uses a BVH augmented with ropes that is traversed with ray packets to speed up performance and presents two algorithms making use of ray packets, packet-warp and packet-block, which set the packet size to a warp and a block, respectively.
Book ChapterDOI
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux
TL;DR: A three valued many sorted logic for dealing with preorders, incorporating subsort relations into the syntax of the language, and where formulas taking the third boolean value as interpretation contain a term or a predicate which is not well-sorted w.r.t. the signature is presented.
Book ChapterDOI
A Tool for Automatic Code Generation from Schemas
TL;DR: This paper goes beyond the benefits of teaching schemas and presents a tool that incorporates their use, which automatically generates code from the application of schemas, allowing its integration into the class as a useful educational tool.