Informática

2003

1. A Case Study of Mapping a Software-Defined Radio (SDR) Application on a Reconfigurable DSP Core

   Hardware/Software Codesign - Proceedings of the International Workshop

2. A Demand-Driven Narrowing Calculus with Overlapping Definitional Trees

   Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

3. A case study of mapping a software-defined radio (SDR) application on a reconfigurable DSP core

   CODES(PLUS)ISSS 2003: FIRST IEEE/ACM/IFIP INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN & SYSTEM SYNTHESIS

4. A comparative study of anodic tantalum pentoxide and high-pressure sputtered titanium oxide

   Journal of Materials Science: Materials in Electronics, Vol. 14, Núm. 5-7, pp. 375-378

5. A framework for selecting components automatically: A first approach

   Electronic Notes in Theoretical Computer Science

6. A hardware/software partitioning and scheduling approach for embedded systems with low-power and high performance requirements

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2799, pp. 580-589

7. A high level synthesis of an auditory mechanical to neural transduction circuit

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

8. A modular architecture for distributed IDS in MANET

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2669, pp. 91-113

9. A multi-agent system for e-barter including transaction and shipping costs

   Proceedings of the ACM Symposium on Applied Computing

10. A new wavelets image fusion strategy

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2652, pp. 919-926

11. A non-standard genetic algorithm approach to solve constrained school timetabling problems

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

12. A numerical scheme for the simulation of blow-up in the nonlinear Schrödinger equation

    Applied Mathematics and Computation, Vol. 134, Núm. 2-3, pp. 271-291

13. A parallel framework for computational science

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2658, pp. 1002-1011

14. A parallel multigrid solver for viscous flows on anisotropic structured grids

    Parallel Computing, Vol. 29, Núm. 7, pp. 907-923

15. A residualizing semantics for the partial evaluation of functional logic programs

    Information Processing Letters, Vol. 85, Núm. 1, pp. 19-25

16. A unified framework for power-aware design of embedded systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2799, pp. 239-248

17. ADDS: Una aproximación documental al desarrollo de software

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 (Servicio de Publicaciones), pp. 17

18. Active replication of software components

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

19. Activity theory for the analysis and design of multi-agent systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2935, pp. 110-122

20. Adaptation guided retrieval based on formal concept analysis

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