Faculty
Informática
Publications (137) Publications in which a researcher has participated
2016
-
A Comment on 'Fast Bloom Filters and Their Generalization'
IEEE Transactions on Parallel and Distributed Systems, Vol. 27, Núm. 1, pp. 303-304
-
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
-
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
-
A Partial Carry-Save On-the-Fly Correction Multispeculative Multiplier
IEEE Transactions on Computers, Vol. 65, Núm. 11, pp. 3251-3264
-
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
-
A System to Manage Non-Formal Higher Education Activities
Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 11, Núm. 3, pp. 205-212
-
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
-
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
-
A hybrid approach with agent-based simulation and clustering for sociograms
Information Sciences, Vol. 345, pp. 81-95
-
A matlab-based testbed for integration, evaluation and comparison of heterogeneous stereo vision matching algorithms
Robotics, Vol. 5, Núm. 4
-
A metamodel-based definition of a conversion mechanism between SOAP and RESTful web services
Computer Standards and Interfaces, Vol. 48, pp. 49-70
-
A methodological approach for assessing amplified reflection distributed denial of service on the internet of things
Sensors (Switzerland), Vol. 16, Núm. 11
-
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
-
A multi-dimensional job scheduling
Future Generation Computer Systems, Vol. 54, pp. 123-131
-
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
-
A smartphone-based system for detecting hand tremors in unconstrained environments
Personal and Ubiquitous Computing, Vol. 20, Núm. 6, pp. 959-971
-
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
-
ATABS: A technique for automatically training agent-based simulators
Simulation Modelling Practice and Theory, Vol. 66, pp. 174-192
-
Agent-based simulation of crowds in indoor scenarios
Studies in Computational Intelligence, Vol. 616, pp. 121-130
-
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