Informática

2013

1. 3D high definition video coding on a GPU-based heterogeneous system

   Computers and Electrical Engineering

2. 4D trajectory planning in ATM with ananytime stochastic approach

   ACM International Conference Proceeding Series

3. @note: An electronic tool for academic readings

   ACM International Conference Proceeding Series

4. A Bayesian approach for constrained multi-agent minimum time search in uncertain dynamic domains

   GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference

5. A CLP heap solver for test case generation

   Theory and Practice of Logic Programming

6. A High-Level Synthesis Flow for the Implementation of Iterative Stencil Loop Algorithms on FPGA Devices

   2013 50TH ACM / EDAC / IEEE DESIGN AUTOMATION CONFERENCE (DAC)

7. A Methodology for Embedded Classification of Heartbeats Using Random Projections

   DESIGN, AUTOMATION & TEST IN EUROPE

8. A Study of the Robustness Against SEUs of Digital Circuits Implemented with FPGA DSPs

   2013 14TH EUROPEAN CONFERENCE ON RADIATION AND ITS EFFECTS ON COMPONENTS AND SYSTEMS (RADECS)

9. A case-based solution to the cold-start problem in group recommenders

   IJCAI International Joint Conference on Artificial Intelligence

10. A declarative debugger for sequential Erlang programs

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

11. A declarative domain model can serve as design document

    AAAI Workshop - Technical Report

12. A framework for guided test case generation in constraint logic programming

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

13. A generic program slicing technique based on language definitions

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

14. A model driven methodology for enabling autonomic reconfiguration of service oriented architecture

    Proceedings of the ACM Symposium on Applied Computing

15. A process model for the generative production of interactive simulations in engineering education

    ACM International Conference Proceeding Series

16. A reusable methodology for the instantiation of social recommender systems

    Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

17. A review of bioinspired computer-aided design tools for hardware design

    Concurrency Computation Practice and Experience

18. A study of the robustness against SEUs of digital circuits implemented with FPGA DSPs

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

19. APET: A test case generation tool for concurrent objects

    2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings

20. Abstraction based model-checking of stability of hybrid systems

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