Informática

2002

1. 2-D wavelet transform enhancement on general-purpose microprocessors: Memory hierarchy and simd parallelism exploitation

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2. A Robust Multigrid Algorithm for the Simulation of a Yawed Flat Plate

   Journal of Scientific Computing

3. A complete data scheduler for multi-context reconfigurable architectures

   Proceedings -Design, Automation and Test in Europe, DATE

4. A declarative debugging system for lazy functional logic programs

   Electronic Notes in Theoretical Computer Science

5. A formal framework for E-Barter based on microeconomic theory and process algebras

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

6. A genetic approach for graph partitioning. An application to Multi-FPGA systems

   6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VI, PROCEEDINGS

7. A hybrid evolutionary algorithm for Multi-FPGA systems design

   Proceedings - Euromicro Symposium on Digital System Design: Architectures, Methods and Tools, DSD 2002

8. A new methodology to design low-power asynchronous circuits

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

9. A parallel cloth simulator using multilevel algorithms

   Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002

10. A polynomial-cost non-determinism analysis

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

11. A simulation tool for a fast ferry control design

    CONTROL APPLICATIONS IN MARINE SYSTEMS 2001 (CAMS 2001)

12. AI analysis patterns as UML meta-model constructs

    ACM International Conference Proceeding Series

13. Agent oriented analysis using message/UML

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

14. An operational semantics for declarative multi-paradigm languages

    Electronic Notes in Theoretical Computer Science

15. Analysis of simulation-adapted SPEC 2000 benchmarks

    XIII Jornadas de Paralelismo: Lleida, 9, 10 y 11 de septiembre de 2002. Actas

16. Analyzing the performance of memory management in RTSJ

    Proceedings - 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2002

17. Arquitectura de red VSAT multiestrella sobre la plataforma DVB-RCS con satélites geo transparentes

    XVII Simposium Nacional de la Unión Científica Internacional de Radio: Libro de abstracts URSI 2002, del 11 al 13 de septiembre de 2002, Universidad de Alcalá-Escuela Politécnica, Alcalá de Henares (Madrid)

18. Beowulf performance in CFD multigrid applications

    10TH EUROMICRO WORKSHOP ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, PROCEEDINGS

19. Bit-level allocation of multiple-precision specifications

    Proceedings - Euromicro Symposium on Digital System Design: Architectures, Methods and Tools, DSD 2002

20. Bit-level scheduling of heterogeneous behavioural specifications

    IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers