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 Declarative Debugger for Maude Functional Modules

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

6. A General Architecture for the Integration of Educational Videogames in Standards-compliant Virtual Learning Environments

   ICALT: 2009 IEEE INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES

7. A Logical Framework for Debugging in Declarative Constraint Programming

   Electronic Notes in Theoretical Computer Science, Vol. 256, pp. 119-135

8. A Motivation-Based Self-organization Approach

   INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE 2008

9. A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation

   Electronic Notes in Theoretical Computer Science, Vol. 246, pp. 167-182

10. A Rewriting Semantics for Maude Strategies

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

11. A SWEBOK-based viewpoint of the web engineering discipline

    Journal of Universal Computer Science, Vol. 15, Núm. 17, pp. 3169-3200

12. A Sol-Gel based magneto-optical device for the NANOSAT space mission

    Journal of Sol-Gel Science and Technology, Vol. 50, Núm. 2, pp. 254-259

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

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

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

    Journal of Logic and Algebraic Programming

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

17. A christiansen grammar for universal splicing systems

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

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

19. A data-driven simulation of social values evolution

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

20. A debugging system based on natural semantics

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