Search Results

Deep learning methods for speaker verification and diarization

• Authors : India Massana, Miquel Àngel; University/Department: Universitat Politècnica de Catalunya. Departament de Teoria del Senyal i Comunicacions; ...

Subjects: Àrees temàtiques de la UPC::Enginyeria de la telecomunicació; Àrees temàtiques de la UPC::Informàtica; 621.3 - Enginyeria elèctrica. Electrotècnia. Telecomunicacions

• Source: TDX (Tesis Doctorals en Xarxa)

Record details

Database-driven FPGA Workflow for digital system verification

• Authors : Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors; Moll Echeto, Francisco de Borja; Oltra Oltra, Josep Angel

Subjects: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació; Field programmable gate arrays; Computer software -- Verification

Record details

Applying formal verification techniques to verify a Fetch Unit

• Authors : Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors; Moreno Vega, Alberto; Espasa Sans, Roger

Subjects: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors; Computer programs--Testing; Verificació Formal

Record details

Physical implementation and verification of a multi-phase clock system

• Authors : Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica; Giaccone, Leonardo; Moll Echeto, Francisco de Borja

Subjects: Àrees temàtiques de la UPC::Física::Física de l'estat sòlid::Semiconductors; Analog integrated circuits; Oscillations

Record details

Architecture, RTL implementation and verification of the MIPI CSI-2/D-PHY transmitter version 1.2/1.3

• Authors : Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica; Mateo Peña, Diego; Zhu Wang, Shexing

Subjects: Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats; Application-specific integrated circuits; Embedded computer systems

Record details

Experimental design and verification of a centralized controller for irrigation canals

• Authors : Bonet Gil, Enrique; University/Department: Universitat Politècnica de Catalunya. Escola Tècnica Superior d'Enginyers de Camins, Canals i Ports de Barcelona; ...

• Source: TDX (Tesis Doctorals en Xarxa)

Record details

Lightweight and static verification of UML executable models

• Authors : Planas Hortal, Elena; University/Department: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; ...

• Source: TDX (Tesis Doctorals en Xarxa)

Record details

Mixed-Signal Design and Verification Flow of an Integrated Circuit

• Authors : Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica; Madrenas Boadas, Jordi; Biberidis, Nicolas

Subjects: Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica; Integrated circuits; Mixed-Signal Integrated Circuit

Record details

AI-supported composable digital twins services for control, teleoperation and remote verification

• Authors : Universitat Politècnica de Catalunya. Departament d'Enginyeria de Sistemes, Automàtica i Informàtica Industrial; Collao Bahamondes, Claudio Gerardo; Ocampo-Martínez, Carlos

Subjects: Àrees temàtiques de la UPC::Informàtica::Robòtica; Digital twins (Computer simulation); Machine learning

Record details

Seguretat i Administració de Xarxes. Verificació de la connectivitat entre client i servidor / Seguridad y administración de redes. Verificación de la conectividad entre cliente y servidor / Security and Network Administration. Verification of client-server connectivity

• Authors : Guasch Murillo, Daniel; Vidal Ferré, Rafael

Subjects: Àrees temàtiques de la UPC::Informàtica::Seguretat informàtica; Lecture notes

Record details