Publicaciones (60) 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 case study in abstraction using E-LOTOS and the FireWire

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

  3. A data scheduler for multi-context reconfigurable architectures

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

  4. A family of keystream generators with large linear complexity

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

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

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

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

  8. A hybrid heuristic for the traveling salesman problem

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

  9. A new approach to solve systems of linear equations

    Journal of Computational Mathematics, Vol. 19, Núm. 4, pp. 445-448

  10. A parallel multigrid solver for 3D convection and convection-diffusion problems

    Parallel Computing, Vol. 27, Núm. 13, pp. 1715-1741

  11. An efficient algorithm to generate binary sequences for cryptographic purposes

    Theoretical Computer Science, Vol. 259, Núm. 1-2, pp. 679-688

  12. An expert system for the composition of formal Spanish poetry

    Knowledge-Based Systems, Vol. 14, Núm. 3-4, pp. 181-188

  13. An explicit finite differences scheme over hexagonal tessellation

    Applied Mathematics Letters, Vol. 14, Núm. 5, pp. 593-598

  14. Analysing value substitution and confidence estimation for value prediction

    Journal of Systems Architecture, Vol. 47, Núm. 5, pp. 459-475

  15. Analysis of a mechanical solver for linear systems of equations

    Journal of Computational Mathematics, Vol. 19, Núm. 1, pp. 9-14

  16. Applying case-based reasoning to support dynamic framework documentation

    International Journal of Software Engineering and Knowledge Engineering, Vol. 11, Núm. 4, pp. 479-502

  17. Characterization Results Based on a Functional Derivative Approach

    Combinatorics Probability and Computing, Vol. 10, Núm. 5, pp. 417-434

  18. Clasificación de texturas mediante redes neuronales

    Ingeniería civil, Núm. 123, pp. 61-70

  19. Constraint Logic Programming with Hereditary Harrop formulas

    Theory and Practice of Logic Programming, Vol. 1, Núm. 4, pp. 409-445

  20. Controllability of tree-shaped networks of vibrating strings

    Comptes Rendus de l'Academie des Sciences - Series I: Mathematics, Vol. 332, Núm. 12, pp. 1087-1092