Publications (15)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2004 Remove filter
filter_list from 2004 to 2004 Software

2004

  1. 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

  2. A compiler tool to predict memory hierarchy performance of scientific codes

    Parallel Computing, Vol. 30, Núm. 2, pp. 225-248

  3. 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

  4. A petri net application:: Modelling a high complexity IC design process

    2nd International Industrial Simulation Conference 2004

  5. A survey of multimedia software engineering

    Journal of Universal Computer Science

  6. 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

  7. 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

  8. 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

  9. Formalizing ODP computational viewpoint specifications in maude

    Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

  10. 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

  11. On the specification of software adaptation

    Electronic Notes in Theoretical Computer Science

  12. Parallel LAN/WAN heuristics for optimization

    Parallel Computing, Vol. 30, Núm. 5-6, pp. 611-628

  13. Parallelization issues of a code for physically-based simulation of fabrics

    Computer Physics Communications, Vol. 162, Núm. 3, pp. 188-202

  14. Similarities between powersets of terms

    Fuzzy Sets and Systems, Vol. 144, Núm. 1, pp. 213-225

  15. Sorting out sorting through concretization with robotics

    Proceedings of the Workshop on Advanced Visual Interfaces AVI