- VLSI and Analog Circuit Testing
- Error Correcting Code Techniques
- Embedded Systems Design Techniques
- Radiation Effects in Electronics
- Advanced Wireless Communication Techniques
- Augmented Reality Applications
- Integrated Circuits and Semiconductor Failure Analysis
- Modular Robots and Swarm Intelligence
- IoT and Edge/Fog Computing
- Cooperative Communication and Network Coding
- Parallel Computing and Optimization Techniques
- Model-Driven Software Engineering Techniques
- Interconnection Networks and Systems
- VLSI and FPGA Design Techniques
- Fluid Dynamics Simulations and Interactions
- Manufacturing Process and Optimization
- Web Applications and Data Management
- Experimental Learning in Engineering
- Software Testing and Debugging Techniques
- Fault Detection and Control Systems
- Railway Systems and Energy Efficiency
- Cryptographic Implementations and Security
- Educational Technology in Learning
- Interactive and Immersive Displays
- Traffic control and management
Universidad de Cantabria
2010-2024
Universitat de València
2010-2024
Florida Gulf Coast University
2014
Universidad Nacional de La Matanza
2012
Instituto de Estudios Avanzados
2011
University of Córdoba
2006
A low-cost encoder for the 802.11n standard is presented. Recent standards such as 802.16e or include a special parity check matrix structure that allows efficient encoding and decoding. However, hardware requirements implementation with fully parallel architectures could be high. Described way of low density (LDPC) codes, matrices under schemes used in standards, serial way. Exploiting topology these standards' matrix, proposed requires about 12 times less than one, while only increasing...
Large-scale crowd simulations require distributed computer architectures and efficient parallel techniques to achieve the rendering of visually plausible images while simulating behaviour crowds autonomous agents. The Java-based multiagent platforms, devoted provide agents with required lifecycle, represent a key middleware in systems. However, since they are oriented maximize portability reduce development cost, may performance scalability, two important requirements large-scale simulation...
In the framework of error correction in space telecommand (TC) links, Consultative Committee for Space Data Systems (CCSDS) currently recommends short block-length BCH and binary low-density parity-check (LDPC) codes. Other alternatives have been discarded due to their high decoding complexity, such as non-binary LDPC (NB-LDPC) NB-LDPC codes perform better than counterparts over AWGN jamming channels, being great candidates communications. We show feasibility coding TC applications by...
Classical strategies in design for testability are applied at the gate-level, after RT-logic synthesis process. New techniques covering test and (Test Synthesis) appearing but their application is mainly oriented to gate level (commercial tools such as Synopsys). On other hand, most high-level do not take into account of final architecture. This paper presents a system which includes improvement among its goals. The aforementioned generates loop free circuits are, therefore, easily testable...
This work presents a methodology for teaching subject about Digital Electronics in the Telecommunications Technology Engineering degree program, whose main objectives are motivation of students learning digital electronics and strengthening knowledge through practical work. In order to achieve these goals, program has been developed which, part is directed remotely by team teachers which then self-evaluated online. The students' laboratory partially proposed theoretical class, increases...
Systems composed by multiple physical domains (i.e. mechanical, biological, optical, fluidic, etc.) and usually controlled an embedded HW/SW circuit cannot, up to date, be jointly simulated in order correctly specify, dimension verify these multi-domain microelectronics assisted systems at early system level stage. This paper describes part of the work that it is being carrying out (under CATRENE CA701 project) define open framework, based on SystemC-AMS, with aim extend this language...
Classical strategies in design for testability are applied at the gate-level, after RT-logic synthesis process. New techniques covering test and (Test Synthesis) appearing but their application is mainly oriented to gate level (commercial tools such as Synopsys). On other hand, most high-level do not take into account of final architecture. This paper presents a system which includes improvement among its goals. The aforementioned generates loop free circuits therefore, easily testable with...
Practical activities are critical teaching mechanisms since they enable the acquisition of professional competences while involving and motivating students. Thus, it is necessary to organize realistic sufficiently complex that, at same time, can be easily understood correctly performed by In this context disposal physical systems that enables students interact with real world very interesting. However, limitations in cost complexity present problems. To overcome these limitations, paper...
Collaborative Augmented Reality (CAR) systems allow multiple users to share a real world environment including computer-generated images in time. The hardware features of most current mobile phones include wireless network capabilities that offer natural platform for CAR systems. However, the potential number clients based on is much larger than other kind devices, requiring system design takes into account scalability issues. This paper presents experimental comparison different with server...
Artificial intelligence has demonstrated its ability to solve lots of critical tasks, but at the cost high computational requirements. Different hardware been proposed provide this power, each one with benefits and drawbacks. However, exploration different alternatives in an easy integrated way is still a complex task. To so, paper proposes UML-based design flow where neural networks are initially specified then automatically generated trained using TensorFlow. The approach also enables...
Presilicon forward error correction (FEC) decoding hardware is typically designed using description languages (HDLs). Its verification a hard task due to its intrinsic tendency correct errors. The generation and injection of millions random inputs as well the cross-checking corresponding outputs are highly recommended. Using HDL simulations for such work leads prohibitive execution times. This letter proposes strategy in which software testbed executed on multicore host under prototyped PCIe...
Forward error correction (FEC) decoding hardware modules are challenging to verify at pre-silicon stage, when they usually described register-transfer (RT)/logic level with a description language (HDL). They tend hide faults due their inherent tendency correct errors and the required simulations massive insertion of inputs too slow. In this work, two verification techniques based on FPGA-prototyping applied in order complement mentioned simulations: golden model vs implementation matching...
A new mobile environment for learning has been designed via an axiomatic approach. And by simultaneously designing both tools (software) and processes (pedagogy), the resulting matches functional requirements of instructional program. This paper describes axioms established as well development computing environment. The discusses developmental evolution system architecture portable training programs being offered this system. Apps are to connect learners, instructors practitioners facilitate...
ion ForSyDE formal model SystemC Concurrency&Communication untimed specification