 | 2011 |
| 21 |  | Antonio J. Dios,
Rafael Asenjo,
Angeles G. Navarro,
Francisco Corbera,
Emilio L. Zapata:
High-level template for the task-based parallel wavefront pattern.
HiPC 2011: 1-10 |
| 20 |  | María A. Trenas,
Julián Ramos,
Eladio Gutiérrez,
Sergio Romero,
Francisco Corbera:
Use of a New Moodle Module for Improving the Teaching of a Basic Course on Computer Architecture.
IEEE Trans. Education 54(2): 222-228 (2011) |
| 2010 |
| 19 |  | Antonio J. Dios,
Rafael Asenjo,
Angeles G. Navarro,
Francisco Corbera,
Emilio L. Zapata:
Evaluation of the Task Programming Model in the Parallelization of Wavefront Problems.
HPCC 2010: 257-264 |
| 18 |  | Eladio Gutiérrez,
María A. Trenas,
Julián Ramos,
Francisco Corbera,
Sergio Romero:
A new Moodle module supporting automatic verification of VHDL-based assignments.
Computers & Education 54(2): 562-577 (2010) |
| 2009 |
| 17 |  | Adrian Tineo,
Francisco Corbera,
Angeles G. Navarro,
Rafael Asenjo,
Emilio L. Zapata:
On the Automatic Detection of Heap-Induced Data Dependencies with Interprocedural Shape Analysis.
ICPP Workshops 2009: 378-385 |
| 2008 |
| 16 |  | Rosa Castillo,
Francisco Corbera,
Angeles G. Navarro,
Rafael Asenjo,
Emilio L. Zapata:
Complete Def-Use Analysis in Recursive Programs with Dynamic Data Structures.
Euro-Par Workshops 2008: 273-282 |
| 15 |  | Rafael Asenjo,
Rosa Castillo,
Francisco Corbera,
Angeles G. Navarro,
Adrian Tineo,
Emilio L. Zapata:
Parallelizing irregular C codes assisted by interprocedural shape analysis.
IPDPS 2008: 1-12 |
| 14 |  | Francisco Corbera,
Eladio Gutiérrez,
Julián Ramos,
Sergio Romero,
María A. Trenas:
Development of a new MOODLE module for a basic course on computer architecture.
ITiCSE 2008: 349 |
| 2007 |
| 13 |  | Angeles G. Navarro,
Francisco Corbera,
Adrian Tineo,
Rafael Asenjo,
Emilio L. Zapata:
Detecting loop-carried dependences in programs with dynamic data structures.
J. Parallel Distrib. Comput. 67(1): 47-62 (2007) |
| 2006 |
| 12 |  | Rosa Castillo,
Adrian Tineo,
Francisco Corbera,
Angeles G. Navarro,
Rafael Asenjo,
Emilio L. Zapata:
Towards a Versatile Pointer Analysis Framework.
Euro-Par 2006: 323-333 |
| 2005 |
| 11 |  | Adrian Tineo,
Francisco Corbera,
Angeles G. Navarro,
Rafael Asenjo,
Emilio L. Zapata:
A Novel Approach for Detecting Heap-Based Loop-Carried Dependences.
ICPP 2005: 99-106 |
| 10 |  | Adrian Tineo,
Francisco Corbera,
Angeles G. Navarro,
Rafael Asenjo,
Emilio L. Zapata:
A New Strategy for Shape Analysis Based on Coexistent Link Sets.
PARCO 2005: 557-564 |
| 9 |  | Oscar G. Plata,
Rafael Asenjo,
Eladio Gutiérrez,
Francisco Corbera,
Angeles G. Navarro,
Emilio L. Zapata:
On the parallelization of irregular and dynamic programs.
Parallel Computing 31(6): 544-562 (2005) |
| 2004 |
| 8 |  | Angeles G. Navarro,
Francisco Corbera,
Rafael Asenjo,
Adrian Tineo,
Oscar G. Plata,
Emilio L. Zapata:
A New Dependence Test Based on Shape Analysis for Pointer-Based Codes.
LCPC 2004: 394-408 |
| 7 |  | Rafael Asenjo,
Francisco Corbera,
Eladio Gutiérrez,
M. A. Navarro,
Oscar G. Plata,
Emilio L. Zapata:
Optimization Techniques for Irregular and Pointer-Based Programs.
PDP 2004: 2- |
| 6 |  | Francisco Corbera,
Rafael Asenjo,
Emilio L. Zapata:
A Framework to Capture Dynamic Data Structures in Pointer-Based Codes.
IEEE Trans. Parallel Distrib. Syst. 15(2): 151-166 (2004) |
| 2002 |
| 5 |  | Francisco Corbera,
Rafael Asenjo,
Emilio L. Zapata:
Towards Compiler Optimization of Codes Based on Arrays of Pointers.
LCPC 2002: 142-156 |
| 4 |  | Francisco Corbera,
Rafael Asenjo,
Emilio L. Zapata:
New Shape Analysis and Interprocedural Techniques for Automatic Parallelization of C Codes.
International Journal of Parallel Programming 30(1): 37-63 (2002) |
| 2001 |
| 3 |  | Francisco Corbera,
Rafael Asenjo,
Emilio L. Zapata:
Progressive Shape Analysis for Real C Codes.
ICPP 2001: 373-382 |
| 2000 |
| 2 |  | Francisco Corbera,
Rafael Asenjo,
Emilio L. Zapata:
Accurate Shape Analysis for Recursive Data Structures.
LCPC 2000: 1-15 |
| 1999 |
| 1 |  | Francisco Corbera,
Rafael Asenjo,
Emilio L. Zapata:
New shape analysis techniques for automatic parallelization of C codes.
International Conference on Supercomputing 1999: 220-227 |