Exploració per autor "Cortadella, Jordi"
Ara es mostren els items 128-147 de 192
-
Partial order based approach to synthesis of speed-independent circuits
(Institute of Electrical and Electronics Engineers (IEEE), 1997)
Text en actes de congrés
Accés obertThis paper introduces a novel technique for synthesis of speed-independent circuits from their Signal Transition Graph specifications. The new method uses partial order in the form of the STG-unfolding segment to derive ... -
Performance optimization of elastic systems using buffer resizing and buffer insertion
(Institute of Electrical and Electronics Engineers (IEEE), 2008)
Text en actes de congrés
Accés obertBuffer resizing and buffer insertion are two transformation techniques for the performance optimization of elastic systems. Different approaches for each technique have already been proposed in the literature. Both techniques ... -
Performance-preserving clustering of elastic controllers
(2008-02-15)
Report de recerca
Accés obertAsynchronous and latency-insensitive circuits offer a similar form of elasticity that tolerates variations in the delays or the latencies of the computation and communication resources of a system. This flexibility comes ... -
Petri net analysis using boolean manipulation
(Springer, 1994)
Capítol de llibre
Accés obertThis paper presents a novel analysis approach for bounded Petri nets. The net behavior is modeled by boolean functions, thus reducing reasoning about Petri nets to boolean calculation. The state explosion problem is managed ... -
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers
(1997-03)
Article
Accés obertPetrify is a tool for (1) manipulating concurrent specifications and (2) synthesis and optimization of asynchronous control circuits. Given a Petri Net (PN), a Signal Transition Graph (STG), or a Transition System (TS) it ... -
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers
(Universitat Politècnica de Catalunya (UPC), 1996)
Text en actes de congrés
Accés obertPetrifyis a tool for (1) manipulating concurrent specifications and (2) synthesis and optimization of asynchronous control circuits. Given a Petri Net (PN), a Signal Transition Graph (STG), or a Transition ... -
Physical planning for the architectural exploration of large-scale chip multiprocessors
(2013)
Comunicació de congrés
Accés restringit per política de l'editorialThis paper presents an integrated flow for architectural exploration and physical planning of large-scale hierarchical tiled CMPs. Classical floorplanning and wire planning techniques have been adapted to incorporate layout ... -
Physical-aware link allocation and route assignment for chip multiprocessing
(Institute of Electrical and Electronics Engineers (IEEE), 2010)
Text en actes de congrés
Accés obertThe architecture definition, design, and validation of the interconnect networks is a key step in the design of modern on-chip systems. This paper proposes a mathematical formulation of the problem of simultaneously defining ... -
Physical-aware system-level design for tiled hierarchical chip multiprocessors
(ACM Press. Association for Computing Machinery, 2013)
Text en actes de congrés
Accés obertTiled hierarchical architectures for Chip Multiprocessors (CMPs) represent a rapid way of building scalable and power-e fficient many-core computing systems. At the early stages of the design of a CMP, physical parameters ... -
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 ... -
Power-optimal mapping of CNN applications to cloud-based Multi-FPGA platforms
(2020-12)
Article
Accés obertMulti-FPGA platforms like Amazon Web Services F1 are perfect to accelerate multi-kernel pipelined applications, like Convolutional Neural Networks (CNNs). To reduce energy consumption, we propose to upload at runtime the ... -
Process discovery algorithms using numerical abstract domains
(2014-12-01)
Article
Accés obertThe discovery of process models from event logs has emerged as one of the crucial problems for enabling the continuous support in the life-cycle of an information system. However, in a decade of process discovery research, ... -
Process mining meets abstract interpretation
(2010-07)
Report de recerca
Accés obertThe discovery of process models out of system traces is an interesting problem that has received significant attention in the last years. In this work, a theory for the derivation of a Petri net from a set of traces is ... -
Process windows
(Institute of Electrical and Electronics Engineers (IEEE), 2017)
Text en actes de congrés
Accés obertWe describe a method for formally representing the behaviour of complex processes by process windows. Each window covers a part of the system behaviour, i.e. a part of the underlying transition system, and is easier to ... -
Programación VLSI y síntesis de circuitos asíncronos mediante composición de redes de Petri
(1995)
Text en actes de congrés
Accés obertTangram es un lenguaje de programación VLSI traducible automáticamente a redes de módulos asíncronos llamados componentes de sincronización. En este artículo se usan los Grafos de Transiciones de Señales (STGs) para describir ... -
Programming 1 and sustainability
(Universitat Politècnica de Catalunya, 2022-09)
Text en actes de congrés
Accés obertComputer programming is an essential skill for today's engineers, and sustainability plays a role of growing interest in any of the design phases of an engineering project. The fundamentals of sustainability, with basic ... -
Quasi-static scheduling for concurrent architectures
(Institute of Electrical and Electronics Engineers (IEEE), 2003)
Text en actes de congrés
Accés obertWe present a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent tasks, while considering multiple concurrent execution ... -
Quasi-static scheduling of independent tasks for reactive systems
(Springer, 2002-06)
Article
Accés obertThe synthesis of a reactive system generates a set of concurrent tasks coordinated by an operating system. This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by ... -
Quasi-static scheduling of independent tasks for reactive systems
(2005-10)
Article
Accés obertA reactive system must process inputs from the environment at the speed and with the delay dictated by the environment. The synthesis of reactive software from a modular concurrent specification model generates a set of ... -
Reactive clocks with variability-tracking jitter
(Institute of Electrical and Electronics Engineers (IEEE), 2015)
Text en actes de congrés
Accés obertThe growing variability in nanoelectronic devices, due to uncertainties from the manufacturing process and environmental conditions (power supply, temperature, aging), requires increasing design guardbands, forcing circuits ...
