Departament d'Arquitectura de Computadors
Col·leccions
-
Altres [3]
-
Articles de revista [606]
-
Capítols de llibre [58]
-
Conjunt de dades [0]
-
Llibres [9]
-
Presentacions [4]
-
Reports de recerca [155]
-
Ressenyes [1]
-
Working papers [1]
Enviaments recents
-
Migration planning from elastic optical networks to spectrally-spatially flexible optical networks
(Institute of Electrical and Electronics Engineers (IEEE), 2018)
Text en actes de congrés
Accés obertWe focus on a migration planning from elastic to spectrally-spatially flexible optical networks by upgrading regular with SDM-capable ROADMs. Our most promising strategy reveals that by migrating 30% of the regular ROADMs ... -
Advances in the Hierarchical Emergent Behaviors (HEB) approach to autonomous vehicles
(2018-11-13)
Article
Accés obertWidespread deployment of autonomous vehicles (AVs) presents formidable challenges in terms on handling scalability and complexity, particularly regarding vehicular reaction in the face of unforeseen corner cases. Hierarchical ... -
Cross-modal embeddings for video and audio retrieval
(Springer, 2019)
Text en actes de congrés
Accés obertIn this work, we explore the multi-modal information provided by the Youtube-8M dataset by projecting the audio and visual features into a common feature space, to obtain joint audio-visual embeddings. These links are used ... -
Checking signal transition graph implementability by symbolic bdd traversal
(Institute of Electrical and Electronics Engineers (IEEE), 1995)
Text en actes de congrés
Accés obertThis paper defines conditions for a Signal Transition Graph to be implemented by an asynchronous circuit. A hierarchy of the implementability classes is presented. Our main concern is the implementability of the specification ... -
A new look at the conditions for the synthesis of speed-independent circuits
(Institute of Electrical and Electronics Engineers (IEEE), 1995)
Text en actes de congrés
Accés obertThis paper presents a set of sufficient conditions for the gate-level synthesis of speed-independent circuits when constrained to a given class of gate library. Existing synthesis methodologies are restricted to architectures ... -
Hierarchical gate-level verification of speed-independent circuits
(Institute of Electrical and Electronics Engineers (IEEE), 1995)
Text en actes de congrés
Accés obertThis paper presents a method for the verification of speed-independent circuits. The main contribution is the reduction of the circuit to a set of complex gates that makes the verification time complexity depend only on ... -
Exploring the capabilities of support vector machines in detecting silent data corruptions
(Elsevier, 2018-09)
Article
Accés restringit per política de l'editorialAs the exascale era approaches, the increasing capacity of high-performance computing (HPC) systems with targeted power and energy budget goals introduces significant challenges in reliability. Silent data corruptions ... -
Technological volunteering as an approach for service learning
(European Society for Engineering Education (SEFI), 2018)
Text en actes de congrés
Accés restringit per política de l'editorialEntities with social purposes perform an essential task in our Society. They are often obliged to work with insufficient budgets that do not allow them to develop their projects with the necessary guarantees. In particular, ... -
High-level synthesis of asynchronous systems: Scheduling and process synchronization
(Institute of Electrical and Electronics Engineers (IEEE), 1993)
Text en actes de congrés
Accés obertBasic concepts for scheduling algorithms and control synthesis in high-level synthesis of asynchronous circuits are defined. Two scheduling strategies are presented and evaluated. Experiments on different benchmarks show ... -
An efficient unique state coding algorithm for signal transition graphs
(Institute of Electrical and Electronics Engineers (IEEE), 1993)
Text en actes de congrés
Accés obertCurrent algorithms to force the complete state coding (CSC) property for signal transition graphs work on the state graph and, therefore require exponential time and space. Polynomial algorithms have been only proposed for ... -
Polynomial algorithms for the synthesis of hazard-free circuits from signal transition graphs
(Institute of Electrical and Electronics Engineers (IEEE), 1993)
Text en actes de congrés
Accés obertMethods for the synthesis of asynchronous circuits from signal transition graphs (STGs) have commonly used the state graph to solve the two main steps of this process: the state assignment problem and the generation of ... -
Terahertz dielectric resonator antenna coupled to graphene plasmonic dipole
(Institute of Electrical and Electronics Engineers (IEEE), 2018)
Text en actes de congrés
Accés restringit per política de l'editorialThis paper presents an efficient approach for exciting a dielectric resonator antenna (DRA) in the terahertz frequencies by means of a graphene plasmonic dipole. Design and analysis are performed in two steps. First, the ...