Informática

2008

1. A New EDAC Technique against Soft Errors based on Pulse Detectors

   2008 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-5

2. A Rewriting semantics for Maude strategies

   Electronic Notes in Theoretical Computer Science

3. A comparative study of STOPA and RTPA

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

4. A comparison between possibility and probability in multiple criteria decision making

   World Scientific Proceedings Series on Computer Engineering and Information Science 1; Computational Intelligence in Decision and Control - Proceedings of the 8th International FLINS Conference

5. A debugger for parallel haskell dialects

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

6. A declarative debugger for Maude

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

7. A declarative debugger for Maude functional modules

   Electronic Notes in Theoretical Computer Science

8. A flow-oriented visual language for learning designs

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

9. A formal methodology to specify hierarchical agent-based systems

   SITIS 2008 - Proceedings of the 4th International Conference on Signal Image Technology and Internet Based Systems

10. A framework for building creative objects from heterogeneous generation systems

    Proceedings of the International Joint Workshop on Computational Creativity 2008

11. A fully CPU-implemented rigid body simulator

    GRAPP 2008 - Proceedings of the 3rd International Conference on Computer Graphics Theory and Applications

12. A hardware task-graph scheduler for reconfigurable multi-tasking systems

    Proceedings - 2008 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2008

13. A hierarchy of equivalences for probabilistic processes

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

14. A hierarchy of semantics for non-deterministic term rewriting systems

    Leibniz International Proceedings in Informatics, LIPIcs

15. A lightweight combination of semantics for non-deterministic functions

    18th Workshop on Logic-based methods in Programming Environments, WLPE 2008

16. A modifiable agent-based software architecture for Intelligent Virtual Environments for Training

    7th IEEE/IFIP Working Conference on Software Architecture, WICSA 2008

17. A multi-agent based implementation of a Delphi process

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

18. A new EDAC technique against soft errors based on pulse detectors

    IEEE International Symposium on Industrial Electronics

19. A performance model for federated grid infrastructures

    Proceedings of the 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing, PDP 2008

20. A technique to calculate the MBU distribution of a memory under radiation suffering the event accumulation problem

    Proceedings of the European Conference on Radiation and its Effects on Components and Systems, RADECS