Conference papers (163) Publications in which a researcher has participated

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)