Publicaciones (137) Publicaciones en las que ha participado algún/a investigador/a

2016

  1. A Comment on 'Fast Bloom Filters and Their Generalization'

    IEEE Transactions on Parallel and Distributed Systems, Vol. 27, Núm. 1, pp. 303-304

  2. A Distributed Clustered Architecture to Tackle Delay Variations in Datapath Synthesis

    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 35, Núm. 3, pp. 419-432

  3. A Method to Design Single Error Correction Codes with Fast Decoding for a Subset of Critical Bits

    IEEE Transactions on Circuits and Systems II: Express Briefs, Vol. 63, Núm. 2, pp. 171-175

  4. A Partial Carry-Save On-the-Fly Correction Multispeculative Multiplier

    IEEE Transactions on Computers, Vol. 65, Núm. 11, pp. 3251-3264

  5. A Reactive Method for Collision Avoidance in Industrial Environments

    Journal of Intelligent and Robotic Systems: Theory and Applications, Vol. 84, Núm. 1-4, pp. 745-758

  6. A System to Manage Non-Formal Higher Education Activities

    Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 11, Núm. 3, pp. 205-212

  7. A computational approach inspired by simulated annealing to study the stability of protein interaction networks in cancer and neurological disorders

    Data Mining and Knowledge Discovery, Vol. 30, Núm. 1, pp. 226-242

  8. A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY

    Software and Systems Modeling, Vol. 15, Núm. 4, pp. 987-1012

  9. A hybrid approach with agent-based simulation and clustering for sociograms

    Information Sciences, Vol. 345, pp. 81-95

  10. A matlab-based testbed for integration, evaluation and comparison of heterogeneous stereo vision matching algorithms

    Robotics, Vol. 5, Núm. 4

  11. A metamodel-based definition of a conversion mechanism between SOAP and RESTful web services

    Computer Standards and Interfaces, Vol. 48, pp. 49-70

  12. A methodological approach for assessing amplified reflection distributed denial of service on the internet of things

    Sensors (Switzerland), Vol. 16, Núm. 11

  13. A model-driven approach for constructing ambient assisted-living multi-agent systems customized for Parkinson patients

    Journal of Systems and Software, Vol. 111, pp. 34-48

  14. A multi-dimensional job scheduling

    Future Generation Computer Systems, Vol. 54, pp. 123-131

  15. A new approach to detection of systematic errors in secondary substation monitoring equipment based on short term load forecasting

    Sensors (Switzerland), Vol. 16, Núm. 1

  16. A smartphone-based system for detecting hand tremors in unconstrained environments

    Personal and Ubiquitous Computing, Vol. 20, Núm. 6, pp. 959-971

  17. A system to manage grammatical level tests in the context of language schools

    Journal of Cases on Information Technology, Vol. 18, Núm. 4, pp. 53-69

  18. ATABS: A technique for automatically training agent-based simulators

    Simulation Modelling Practice and Theory, Vol. 66, pp. 174-192

  19. Agent-based simulation of crowds in indoor scenarios

    Studies in Computational Intelligence, Vol. 616, pp. 121-130

  20. Algorithms and VLSI Architectures for Low-Density Parity-Check Codes: Part 1-Low-Complexity Iterative Decoding

    IEEE Solid-State Circuits Magazine, Vol. 8, Núm. 4, pp. 57-63