Informática

2005

1. A Grid-oriented genetic algorithm

   Lecture Notes in Computer Science

2. A Per-Module adaptive fetch mechanism

   Actas de las XVI Jornadas de Paralelismo. [JP'2005]

3. A Sharing Analysis for SAFE

   Trends in Functional Programming: Volume 7 (Intellect Ltd.), pp. 109-128

4. A T-transitive opening of a proximity

   Proceedings - 4th Conference of the European Society for Fuzzy Logic and Technology and 11th French Days on Fuzzy Logic and Applications, EUSFLAT-LFA 2005 Joint Conference

5. A case study of performing OFDM kernels on a novel reconfigurable DSP architecture

   Proceedings - IEEE Military Communications Conference MILCOM

6. A case study of performing OFDM kernels on a novel reconfigurable DSP architecture

   MILCOM 2005 - 2005 IEEE MILITARY COMMUNICATIONS CONFERENCE, VOLS 1-5

7. A categorical approach to simulations

   Lecture Notes in Computer Science

8. A complete network-on-chip emulation framework

   Proceedings -Design, Automation and Test in Europe, DATE '05

9. A declarative debugger of incorrect answers for constraint functional-logic programs - System demonstration

   WCFLP'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Curry an Functional Logic Programming

10. A fast autonomous scaled ship for experimental seakeeping control studies

    Oceans 2005 - Europe

11. A fast autonomous scaled ship for experimental seakeeping control studies

    Oceans 2005 - Europe, Vols 1 and 2

12. A first step towards the Web engineering body of knowledge

    Lecture Notes in Computer Science

13. A formal methodology to test complex embedded systems: Application to interactive driving system

    IFIP Advances in Information and Communication Technology, Vol. 184, pp. 125-136

14. A formal methodology to test complex embedded systems: Application to interactive driving system

    From Specification to Embedded Systems Application

15. A framework for protein structure prediction on the grid

    New Generation Computing, Vol. 23, Núm. 4, pp. 277-290

16. A game architecture for emergent story-puzzles in a persistent world

    Proceedings of DiGRA 2005 Conference: Changing Views - Worlds in Play

17. A generic framework for the analysis and specialization of logic programs

    Lecture Notes in Computer Science

18. A generic framework for the analysis and specialization of logic programs

    Proceedings of the 15th Workshop on Logic-based methods in Programming Environments, WLPE 2005

19. A genetic algorithm for solving the p-median problem

    2005 European Simulation and Modelling Conference, ESM 2005 - Proceedings

20. A honeypot implementation as part of the brazilian distributed honeypots project and statistical analysis of attacks against a university's network

    Proceedings of the 3rd International Workshop on Security in Information Systems, WOSIS 2005, in Conjunction with ICEIS 2005