Informática

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 Control Theory Approach for Thermal Balancing of MPSoC

   PROCEEDINGS OF THE ASP-DAC 2009: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2009

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

   International symposium on distributed computing and artificial intelligence 2008

5. A Motivation-Based Self-organization Approach

   INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE 2008

6. A Stochastic Perturbative Approach to Design a Defect-Aware Thresholder in the Sense Amplifier of Crossbar Memories

   PROCEEDINGS OF THE ASP-DAC 2009: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2009

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 certified implementation on top of the java virtual machine

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

9. A christiansen grammar for universal splicing systems

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

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

11. A data-driven simulation of social values evolution

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

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

    Advances in Soft Computing

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

14. A flexible framework for programming with non-deterministic functions

    Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09

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

16. A fully abstract semantics for constructor systems

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

17. A fully abstract semantics for constructor systems

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

18. A general architecture for the integration of educational videogames in standards-compliant Virtual Learning Environments

    Proceedings - 2009 9th IEEE International Conference on Advanced Learning Technologies, ICALT 2009

19. A general testability theory

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

20. A generative approach to the construction of application-specific XML processing components

    Conference Proceedings of the EUROMICRO