Publicaciones (136) Publicaciones en las que ha participado algún/a investigador/a

2001

  1. 1904: año clave de los socialistas alcalaínos

    Anales Complutenses, Núm. 13, pp. 191-202

  2. A Comparison between three Non-determinism Analyses in a Parallel-Functional Language

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001

  3. A Demand Driven Strategy for Lazy Narrowing with Multisets

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001

  4. A Proof of Correctness for the STG Machine

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001

  5. A UML-integrated test description language for component testing

    Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

  6. A case study in abstraction using E-LOTOS and the FireWire

    Computer Networks, Vol. 37, Núm. 3-4, pp. 481-502

  7. A computational model for functional logic deductive databases

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

  8. A data scheduler for multi-context reconfigurable architectures

    Proceedings of the International Symposium on System Synthesis, pp. 177-182

  9. A data scheduler for multi-context reconfigurable architectures

    ISSS'01: 14TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS

  10. A declarative debugger of wrong answers for lazy functional logic programs

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001

  11. A declarative similarity framework for knowledge intensive CBR

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

  12. A divider-multiplier high level synthesis library element for DSP applications

    Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems

  13. A family of keystream generators with large linear complexity

    Applied Mathematics Letters, Vol. 14, Núm. 5, pp. 545-547

  14. A formal approach to context scheduling for multicontext reconfigurable architectures

    IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Vol. 9, Núm. 1, pp. 173-185

  15. A framework for reconfigurable computing: Task scheduling and context management

    IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Vol. 9, Núm. 6, pp. 858-873

  16. A general framework for lazy functional logic programming with algebraic polymorphic types

    Theory and Practice of Logic Programming, Vol. 1, Núm. 2, pp. 185-245

  17. A higher-order logic programming language with constraints

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

  18. A hybrid heuristic for the traveling salesman problem

    IEEE Transactions on Evolutionary Computation, Vol. 5, Núm. 6, pp. 613-622

  19. A monotonic higher-order semantic path ordering

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

  20. A multigrid solver for the incompressible Navier-Stokes equations on a Beowulf-class system

    Proceedings of the International Conference on Parallel Processing