Exploració per autor "Kishinevsky, Mike"
Ara es mostren els items 1-7 de 7
-
Divide-and-conquer strategies for process mining
Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Mike (2009-03)
Report de recerca
Accés obertThe main goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphical representation, clear semantics ... -
Region-based algorithms for process mining and synthesis of Petri nets
Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Mike (2009-02)
Report de recerca
Accés obertThe theory of regions was introduced in the early nineties as a bridge between state-based and event-based specifications. Since then, much attention has been paid to theoretical extensions of this theory, but less advances ... -
Retiming and recycling for elastic systems with early evaluation
Bufistov, Dmitry; Cortadella, Jordi; Galcerán Oms, Marc; Julvez Bueno, Jorge Emilio; Kishinevsky, Mike (2009-04)
Report de recerca
Accés obertRetiming and recycling are two transformations used to optimize the performance of latency-insensitive (a.k.a. synchronous elastic) systems. This paper presents an approach that combines these two transformations for ... -
RTL synthesis: From logic synthesis to automatic pipelining
Cortadella, Jordi; Galcerán Oms, Marc; Kishinevsky, Mike; Sapatnekar, Sachin S. (2015-11-01)
Article
Accés obertDesign automation has been one of the main propellers of the semiconductor industry with logic synthesis being one of the core technologies in this field. This article reviews the evolution of logic synthesis until the ... -
Scheduling synchronous elastic designs
Carmona Vargas, Josep; Julvez Bueno, Jorge Emilio; Cortadella, Jordi; Kishinevsky, Mike (2009)
Text en actes de congrés
Accés obertAsynchronous and latency-insensitive circuits offer a similar form of elasticity that tolerates variations in the delays of communication resources of a system. This flexibility comes at the expense of including a control ... -
Speculation in elastic systems
Galcerán Oms, Marc; Cortadella, Jordi; Kishinevsky, Mike (2009-05)
Report de recerca
Accés obertSpeculation is a well-known technique for increasing parallelism of the microprocessor pipelines and hence their performance. While implementing speculation in modern design practice is error-prone and mostly ad-hoc, this ... -
Synchronous elastic circuits with early evaluation and token counterflow
Cortadella, Jordi; Kishinevsky, Mike (2007-03)
Report de recerca
Accés obertA protocol for latency-insensitive design with early evaluation and its implementation is presented. The implementation is based on a symmetric view of the system in which tokens carrying information move in the forward ...