E.T.S.I. DE INFORMÁTICA
2004
-
A Framework to Capture Dynamic Data Structures in Pointer-Based Codes
IEEE Transactions on Parallel and Distributed Systems, Vol. 15, Núm. 2, pp. 151-166
-
A compiler tool to predict memory hierarchy performance of scientific codes
Parallel Computing, Vol. 30, Núm. 2, pp. 225-248
-
A non-explosive treatment of Functional Dependencies using rewriting logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3171, pp. 31-40
-
Applying loop tiling and unrolling to a sparse kernel code
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3036, pp. 409-412
-
Behavioural types and component adaptation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3116, pp. 42-56
-
CORDIC Processor for Variable-Precision Interval Arithmetic
Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology, Vol. 37, Núm. 1, pp. 21-39
-
Measuring component adaptation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2949, pp. 71-86
-
Parallel LAN/WAN heuristics for optimization
Parallel Computing, Vol. 30, Núm. 5-6, pp. 611-628
-
Parallelization issues of a code for physically-based simulation of fabrics
Computer Physics Communications, Vol. 162, Núm. 3, pp. 188-202
-
Similarities between powersets of terms
Fuzzy Sets and Systems, Vol. 144, Núm. 1, pp. 213-225