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

2009

  1. 3D FPGA Resource Management and Fragmentation Metric for Hardware Multitasking

    2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5

  2. 3D FPGA resource management and fragmentation metric for hardware multitasking

    IPDPS 2009 - Proceedings of the 2009 IEEE International Parallel and Distributed Processing Symposium

  3. A Decentralized Model for Self-managed Web Services Applications

    International symposium on distributed computing and artificial intelligence 2008

  4. A Declarative Debugger for Maude Functional Modules

    Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 63-81

  5. A Motivation-Based Self-organization Approach

    INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE 2008

  6. A Rewriting Semantics for Maude Strategies

    Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 227-247

  7. A Tool for Generating Model Transformations By-Example in Multi-Agent Systems

    7TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENT SYSTEMS (PAAMS 2009)

  8. A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008

    Journal of Logic and Algebraic Programming

  9. A complete-computerised delphi process with a multi-agent system

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

  10. A data-driven simulation of social values evolution

    Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

  11. A debugging system based on natural semantics

    Journal of Universal Computer Science, Vol. 15, Núm. 14, pp. 2836-2880

  12. A decentralized model for scheduling independent tasks in Federated Grids

    Future Generation Computer Systems, Vol. 25, Núm. 8, pp. 840-852

  13. A decentralized model for self-managed web services applications

    Advances in Soft Computing

  14. A declarative encoding of telecommunications feature subscription in SAT

    PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

  15. A featured-based strategy for stereovision matching in sensors with fish-eye lenses for forest environments

    Sensors, Vol. 9, Núm. 12, pp. 9468-9492

  16. A formal approach to heuristically test restorable systems

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

  17. A general testability theory

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

  18. A hierarchical methodology to specify and simulate complex computational systems

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

  19. A method to learn the inverse kinematics of multi-link robots by evolving neuro-controllers

    Neurocomputing, Vol. 72, Núm. 13-15, pp. 2806-2814

  20. A model for human readable instruction generation using level-based discourse planning and dynamic inference of attributes disambiguation

    Proceedings of the 12th European Workshop on Natural Language Generation, ENLG 2009