ANTONIO
GAVILANES FRANCO
Profesor titular de universidad
PEDRO JESÚS
MARTÍN DE LA CALLE
Profesor titular de universidad
Publicaciones en las que colabora con PEDRO JESÚS MARTÍN DE LA CALLE (16)
2012
-
Algorithmic strategies for optimizing the parallel reduction primitive in CUDA
Proceedings of the 2012 International Conference on High Performance Computing and Simulation, HPCS 2012
-
Generating coherent ray directions in path tracing
22nd Spanish Computer Graphics Conference, CEIG 2012
-
Improving ray traversal by using several specialized kd-trees
GRAPP 2012 IVAPP 2012 - Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications
2011
-
Traversing a BVH cut to exploit ray coherence
GRAPP 2011 - Proceedings of the International Conference on Computer Graphics Theory and Applications
2009
-
A tool for automatic code generation from schemas
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
CUDA solutions for the sssp problem
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Ray casting using a roped BVH with CUDA
Proceedings - SCCG 2009: 25th Spring Conference on Computer Graphics
2008
-
A fully CPU-implemented rigid body simulator
GRAPP 2008 - Proceedings of the 3rd International Conference on Computer Graphics Theory and Applications
-
A tool for teaching interactions between design patterns
Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE
2007
-
CGR: A tool for programming using schemes
Proceedings - International Computer Software and Applications Conference
2002
-
Simultaneous rigid sorted unification for tableaux
Studia Logica, Vol. 72, Núm. 1, pp. 31-59
2000
-
Monotonic preorders for free variable tableaux
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Simultaneous rigid sorted unification
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
-
Tableau Methods for a Logic with Term Declarations
Journal of Symbolic Computation, Vol. 29, Núm. 2, pp. 343-372
1998
-
Free variable tableaux for a logic with term declarations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1996
-
Reasoning with preorders and dynamic sorts using free variable tableaux
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)