


Остановите войну!
for scientists:
Michael Kishinevsky
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [j33]Qian Li
, Bin Li, Pietro Mercati
, Ramesh Illikkal, Charlie Tai, Michael Kishinevsky, Christos Kozyrakis
:
RAMBO: Resource Allocation for Microservices Using Bayesian Optimization. IEEE Comput. Archit. Lett. 20(1): 46-49 (2021) - [j32]Sumit K. Mandal
, Raid Ayoub
, Michael Kishinevsky, Mohammad M. Islam, Ümit Y. Ogras
:
Analytical Performance Modeling of NoCs under Priority Arbitration and Bursty Traffic. IEEE Embed. Syst. Lett. 13(3): 98-101 (2021) - [c84]Erick Carvajal Barboza, Sara Jacob, Mahesh Ketkar, Michael Kishinevsky, Paul Gratz, Jiang Hu:
Automatic Microprocessor Performance Bug Detection. HPCA 2021: 545-556 - [c83]Sumit K. Mandal, Jie Tong, Raid Ayoub, Michael Kishinevsky, Ahmed Abousamra, Ümit Y. Ogras:
Theoretical Analysis and Evaluation of NoCs with Weighted Round-Robin Arbitration. ICCAD 2021: 1-9 - [c82]Pietro Mercati, Bin Li, Mesut Ali Ergin, Charlie Tai, Michael Kishinevsky, Boris Serafimov, Subhiksha Ravisundar, Eoin Walsh, Thomas Long:
MOBO-NFV: Automated Tuning of a Network Function Virtualization System using Multi-Objective Bayesian Optimization. IM 2021: 90-98 - [i7]Sumit K. Mandal, Jie Tong, Raid Ayoub, Michael Kishinevsky, Ahmed Abousamra, Ümit Y. Ogras:
Theoretical Analysis and Evaluation of NoCs with Weighted Round-Robin Arbitration. CoRR abs/2108.09534 (2021) - 2020
- [j31]Ümit Y. Ogras
, Sudeep Pasricha, Michael Kishinevsky, Raid Ayoub:
Guest Editors' Introduction: Design and Management of Mobile Platforms: From Smartphones to Wearable Devices. IEEE Des. Test 37(5): 5-6 (2020) - [j30]Sudeep Pasricha
, Raid Ayoub
, Michael Kishinevsky, Sumit K. Mandal
, Ümit Y. Ogras
:
A Survey on Energy Management for Mobile and IoT Devices. IEEE Des. Test 37(5): 7-24 (2020) - [c81]Sumit K. Mandal, Ümit Y. Ogras, Janardhan Rao Doppa, Raid Zuhair Ayoub, Michael Kishinevsky, Partha Pratim Pande:
Online Adaptive Learning for Runtime Resource Management of Heterogeneous SoCs. DAC 2020: 1-6 - [c80]Sumit K. Mandal, Anish Krishnakumar, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras:
Performance Analysis of Priority-Aware NoCs with Deflection Routing under Traffic Congestion. ICCAD 2020: 42:1-42:9 - [c79]Raid Ayoub, Michael Kishinevsky, Sumit K. Mandal, Ümit Y. Ogras:
Analytical modeling of NoCs for fast simulation and design exploration (invited). SLIP 2020: 8 - [i6]Ujjwal Gupta, Manoj Babu, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, Suat Gumussoy, Ümit Y. Ogras:
An Online Learning Methodology for Performance Modeling of Graphics Processors. CoRR abs/2003.11740 (2020) - [i5]Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, Mohammad M. Islam, Ümit Y. Ogras:
Analytical Performance Modeling of NoCs under Priority Arbitration and Bursty Traffic. CoRR abs/2007.13951 (2020) - [i4]Sumit K. Mandal, Anish Krishnakumar, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras:
Performance Analysis of Priority-Aware NoCs with Deflection Routing under Traffic Congestion. CoRR abs/2008.03904 (2020) - [i3]Sumit K. Mandal, Ümit Y. Ogras, Janardhan Rao Doppa, Raid Zuhair Ayoub, Michael Kishinevsky, Partha Pratim Pande:
Online Adaptive Learning for Runtime Resource Management of Heterogeneous SoCs. CoRR abs/2008.09728 (2020) - [i2]Erick Carvajal Barboza, Sara Jacob, Mahesh Ketkar, Michael Kishinevsky, Paul Gratz, Jiang Hu:
Automatic Microprocessor Performance Bug Detection. CoRR abs/2011.08781 (2020)
2010 – 2019
- 2019
- [j29]Kenneth O'Neal
, Philip Brisk
, Emily Shriver, Michael Kishinevsky:
Hardware-Assisted Cross-Generation Prediction of GPUs Under Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(6): 1133-1146 (2019) - [j28]Sumit K. Mandal
, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras:
Analytical Performance Models for NoCs with Multiple Priority Traffic Classes. ACM Trans. Embed. Comput. Syst. 18(5s): 52:1-52:21 (2019) - [c78]David Ke Hong, Ashkan Nikravesh, Z. Morley Mao, Mahesh Ketkar, Michael Kishinevsky:
PerfProbe: a systematic, cross-layer performance diagnosis framework for mobile platforms. MOBILESoft@ICSE 2019: 50-61 - [c77]Emirhan Poyraz, Prethvi Kashinkunti, Matthew Schuchhardt, Michael Kishinevsky, Niranjan Soundararajan, Gokhan Memik:
Understanding the impact of number of CPU cores on user satisfaction in smartphones. MobiQuitous 2019: 288-297 - [i1]Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras:
Analytical Performance Models for NoCs with Multiple Priority Traffic Classes. CoRR abs/1908.02408 (2019) - 2018
- [j27]Ujjwal Gupta
, Manoj Babu
, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, Suat Gumussoy
, Ümit Y. Ogras
:
An Online Learning Methodology for Performance Modeling of Graphics Processors. IEEE Trans. Computers 67(12): 1677-1691 (2018) - [j26]Ujjwal Gupta
, Raid Ayoub, Michael Kishinevsky, David Kadjo, Niranjan Soundararajan, Ugurkan Tursun, Ümit Y. Ogras:
Dynamic Power Budgeting for Mobile Systems Running Graphics Workloads. IEEE Trans. Multi Scale Comput. Syst. 4(1): 30-40 (2018) - [c76]Ujjwal Gupta, Manoj Babu, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, Ümit Y. Ogras:
STAFF: online learning with stabilized adaptive forgetting factor and feature selection algorithm. DAC 2018: 177:1-177:6 - 2017
- [j25]Begum Egilmez, Matthew Schuchhardt, Gokhan Memik, Raid Ayoub, Niranjan Soundararajan, Michael Kishinevsky:
User-aware Frame Rate Management in Android Smartphones. ACM Trans. Embed. Comput. Syst. 16(5s): 131:1-131:17 (2017) - [c75]Francesco Paterna, Ujjwal Gupta, Raid Ayoub, Ümit Y. Ogras, Michael Kishinevsky:
Adaptive Performance Sensitivity Model to Support GPU Power Management. ANDARE@PACT 2017: 5:1-5:6 - [c74]Pietro Mercati
, Raid Ayoub, Michael Kishinevsky, Eric Samson, Marc Beuchat, Francesco Paterna, Tajana Simunic Rosing:
Multi-variable Dynamic Power Management for the GPU Subsystem. DAC 2017: 2:1-2:6 - [c73]Kenneth O'Neal, Philip Brisk
, Emily Shriver, Michael Kishinevsky:
HALWPE: Hardware-Assisted Light Weight Performance Estimation for GPUs. DAC 2017: 80:1-80:6 - 2016
- [c72]Ujjwal Gupta, Joseph Campbell, Ümit Y. Ogras, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, Suat Gumussoy
:
Adaptive performance prediction for integrated GPUs. ICCAD 2016: 61 - 2015
- [j24]Jordi Cortadella
, Marc Galceran Oms, Michael Kishinevsky, Sachin S. Sapatnekar
:
RTL Synthesis: From Logic Synthesis to Automatic Pipelining. Proc. IEEE 103(11): 2061-2075 (2015) - [c71]Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik:
Optimizing mobile display brightness by leveraging human visual perception. CASES 2015: 11-20 - [c70]David Kadjo, Raid Ayoub, Michael Kishinevsky, Paul V. Gratz
:
A control-theoretic approach for energy efficient CPU-GPU subsystem in mobile platforms. DAC 2015: 62:1-62:6 - [c69]Marco Escalante, Andrew B. Kahng, Michael Kishinevsky, Ümit Y. Ogras, Kambiz Samadi:
Multi-product floorplan and uncore design framework for chip multiprocessors. SLIP 2015: 1-7 - 2014
- [c68]Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik:
CAPED: Context-aware personalized display brightness for mobile devices. CASES 2014: 19:1-19:10 - [c67]David Kadjo, Ümit Y. Ogras, Raid Ayoub, Michael Kishinevsky, Paul Gratz
:
Towards platform level power management in mobile systems. SoCC 2014: 146-151 - 2013
- [j23]Xi Chen, Zheng Xu, Hyungjun Kim, Paul Gratz
, Jiang Hu, Michael Kishinevsky, Ümit Y. Ogras:
In-network monitoring and control policy for DVFS of CMP networks-on-chip and last level caches. ACM Trans. Design Autom. Electr. Syst. 18(4): 47:1-47:21 (2013) - [c66]Xi Chen, Zheng Xu, Hyungjun Kim, Paul V. Gratz
, Jiang Hu, Michael Kishinevsky, Ümit Y. Ogras, Raid Zuhair Ayoub:
Dynamic voltage and frequency scaling for shared resources in multicore processor designs. DAC 2013: 114:1-114:7 - [c65]Ümit Y. Ogras, Raid Zuhair Ayoub, Michael Kishinevsky, David Kadjo:
Managing mobile platform power. ICCAD 2013: 161-162 - 2012
- [j22]Satrajit Chatterjee, Michael Kishinevsky, Ümit Y. Ogras:
xMAS: Quick Formal Modeling of Communication Fabrics to Enable Verification. IEEE Des. Test Comput. 29(3): 80-88 (2012) - [j21]Satrajit Chatterjee, Michael Kishinevsky:
Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics. Formal Methods Syst. Des. 40(2): 147-169 (2012) - [c64]Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia:
Compositional performance verification of NoC designs. MEMOCODE 2012: 1-10 - [c63]Xi Chen, Zheng Xu, Hyungjun Kim, Paul Gratz
, Jiang Hu, Michael Kishinevsky, Ümit Y. Ogras:
In-network Monitoring and Control Policy for DVFS of CMP Networks-on-Chip and Last Level Caches. NOCS 2012: 43-50 - [c62]Ümit Y. Ogras, Michael Kishinevsky:
Design and optimization of communication fabrics: an industrial perspective. SLIP 2012: 19 - [c61]Ümit Y. Ogras, Yunus Emre, Jianping Xu, Timothy Kam, Michael Kishinevsky:
Energy-guided exploration of on-chip network design for exa-scale computing. SLIP 2012: 24-31 - 2011
- [j20]Josep Carmona
, Jorge Júlvez, Jordi Cortadella
, Michael Kishinevsky:
A Scheduling Strategy for Synchronous Elastic Designs. Fundam. Informaticae 108(1-2): 1-21 (2011) - [j19]Marc Galceran Oms, Alexander Gotmanov, Jordi Cortadella
, Michael Kishinevsky:
Microarchitectural Transformations Using Elasticity. ACM J. Emerg. Technol. Comput. Syst. 7(4): 18:1-18:24 (2011) - [c60]Michael Kishinevsky, Alexander Gotmanov, Yuriy Viktorov:
Challenges in Verifying Communication Fabrics. ITP 2011: 18-21 - [c59]Chen-Ling Chou, Radu Marculescu
, Ümit Y. Ogras, Satrajit Chatterjee, Michael Kishinevsky, Dmitrii Loukianov:
System interconnect design exploration for embedded MPSoCs. SLIP 2011: 1-8 - [c58]Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky:
Verifying Deadlock-Freedom of Communication Fabrics. VMCAI 2011: 214-231 - [e2]Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt:
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011. IEEE 2011, ISBN 978-1-4577-0117-7 [contents] - [e1]Radu Marculescu, Michael Kishinevsky, Ran Ginosar, Karam S. Chatha:
NOCS 2011, Fifth ACM/IEEE International Symposium on Networks-on-Chip, Pittsburgh, Pennsylvania, USA, May 1-4, 2011. ACM/IEEE Computer Society 2011, ISBN 978-1-4503-0720-8 [contents] - 2010
- [j18]Jorge Júlvez, Jordi Cortadella
, Michael Kishinevsky:
On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics. Discret. Event Dyn. Syst. 20(3): 377-407 (2010) - [j17]Josep Carmona
, Jordi Cortadella
, Michael Kishinevsky:
New Region-Based Algorithms for Deriving Bounded Petri Nets. IEEE Trans. Computers 59(3): 371-384 (2010) - [c57]Satrajit Chatterjee, Michael Kishinevsky:
Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics. CAV 2010: 321-338 - [c56]Marc Galceran Oms, Jordi Cortadella, Dmitry Bufistov, Michael Kishinevsky:
Automatic microarchitectural pipelining. DATE 2010: 961-964 - [c55]Satrajit Chatterjee, Michael Kishinevsky, Ümit Y. Ogras:
Quick formal modeling of communication fabrics to enable verification. HLDVT 2010: 42-49 - [c54]Marc Galceran Oms, Jordi Cortadella
, Michael Kishinevsky:
Symbolic performance analysis of elastic systems. ICCAD 2010: 778-785 - [c53]Jordi Cortadella
, Marc Galceran Oms, Michael Kishinevsky:
Elastic systems. MEMOCODE 2010: 149-158 - [c52]Nikita Nikitin, Satrajit Chatterjee, Jordi Cortadella
, Michael Kishinevsky, Ümit Y. Ogras:
Physical-Aware Link Allocation and Route Assignment for Chip Multiprocessing. NOCS 2010: 125-134
2000 – 2009
- 2009
- [j16]David Bañeres
, Jordi Cortadella
, Michael Kishinevsky:
A Recursive Paradigm to Solve Boolean Relations. IEEE Trans. Computers 58(4): 512-527 (2009) - [j15]Josep Carmona
, Jordi Cortadella
, Michael Kishinevsky, Alexander Taubin:
Elastic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(10): 1437-1455 (2009) - [c51]Josep Carmona
, Jorge Júlvez, Jordi Cortadella
, Michael Kishinevsky:
Scheduling Synchronous Elastic Designs. ACSD 2009: 52-59 - [c50]Josep Carmona
, Jordi Cortadella
, Michael Kishinevsky:
Genet: A Tool for the Synthesis and Mining of Petri Nets. ACSD 2009: 181-185 - [c49]Josep Carmona
, Jordi Cortadella
, Michael Kishinevsky:
Divide-and-Conquer Strategies for Process Mining. BPM 2009: 327-343 - [c48]Dmitry Bufistov, Jordi Cortadella
, Marc Galceran Oms, Jorge Júlvez, Michael Kishinevsky:
Retiming and recycling for elastic systems with early evaluation. DAC 2009: 288-291 - [c47]Marc Galceran Oms, Jordi Cortadella
, Michael Kishinevsky:
Speculation in elastic systems. DAC 2009: 292-295 - [c46]David Bañeres
, Jordi Cortadella, Michael Kishinevsky:
Variable-latency design by function speculation. DATE 2009: 1704-1709 - [c45]David Bañeres
, Jordi Cortadella
, Michael Kishinevsky:
Timing-driven N-way decomposition. ACM Great Lakes Symposium on VLSI 2009: 363-368 - 2008
- [j14]Jordi Cortadella
, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez:
Elasticity and Petri Nets. Trans. Petri Nets Other Model. Concurr. 1: 221-249 (2008) - [c44]Michael Kishinevsky, Jordi Cortadella
:
Time elastic digital systems and Petri Nets. ACSD 2008: 1-2 - [c43]Josep Carmona
, Jordi Cortadella
, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
:
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Petri Nets 2008: 92-111 - [c42]Josep Carmona, Jordi Cortadella
, Michael Kishinevsky:
A Region-Based Algorithm for Discovering Petri Nets from Event Logs. BPM 2008: 358-373 - [c41]Timothy Kam, Michael Kishinevsky, Jordi Cortadella
, Marc Galceran Oms:
Correct-by-construction microarchitectural pipelining. ICCAD 2008: 434-441 - [c40]Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang:
A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. MEMOCODE 2008: 79-88 - 2007
- [j13]Michael Kishinevsky, Sandeep K. Shukla
, Ken S. Stevens:
Guest Editors' Introduction: GALS Design and Validation. IEEE Des. Test Comput. 24(5): 414-416 (2007) - [c39]Jordi Cortadella
, Michael Kishinevsky:
Synchronous Elastic Circuits with Early Evaluation and Token Counterflow. DAC 2007: 416-419 - [c38]David Bañeres, Jordi Cortadella, Michael Kishinevsky:
Layout-aware gate duplication and buffer insertion. DATE 2007: 1367-1372 - [c37]Dmitry Bufistov, Jordi Cortadella
, Michael Kishinevsky, Sachin S. Sapatnekar
:
A general model for performance optimization of sequential systems. ICCAD 2007: 362-369 - 2006
- [c36]Michael Kishinevsky, Jordi Cortadella
, Bill Grundmann, Sava Krstic, John O'Leary:
Synchronous Elastic Circuits. CSR 2006: 3-5 - [c35]Jordi Cortadella
, Michael Kishinevsky, Bill Grundmann:
Synthesis of synchronous elastic architectures. DAC 2006: 657-662 - [c34]Sava Krstic, Jordi Cortadella
, Michael Kishinevsky, John O'Leary:
Synchronous Elastic Networks. FMCAD 2006: 19-30 - [c33]David Bañeres, Jordi Cortadella
, Michael Kishinevsky:
Dominator-based partitioning for delay optimization. ACM Great Lakes Symposium on VLSI 2006: 67-72 - [c32]Jorge Júlvez, Jordi Cortadella
, Michael Kishinevsky:
Performance analysis of concurrent systems with early evaluation. ICCAD 2006: 448-455 - 2004
- [c31]David Bañeres, Jordi Cortadella
, Michael Kishinevsky:
A recursive paradigm to solve Boolean relations. DAC 2004: 416-421 - [c30]Laurent Arditi, Gérard Berry, Michael Kishinevsky:
Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. FMCAD 2004: 128-143 - 2003
- [c29]Gérard Berry, Michael Kishinevsky, Satnam Singh:
System Level Design and Verification Using a Synchronous Language. ICCAD 2003: 433-440 - 2002
- [j12]Jordi Cortadella
, Michael Kishinevsky, Steven M. Burns, Alex Kondratyev, Luciano Lavagno, Ken S. Stevens, Alexander Taubin, Alexandre Yakovlev
:
Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(2): 109-130 (2002) - [c28]Sumit Gupta, Nick Savoiu, Nikil D. Dutt
, Rajesh K. Gupta, Alexandru Nicolau, Timothy Kam, Michael Kishinevsky, Shai Rotem:
Coordinated transformations for high-level synthesis of high performance microprocessor blocks. DAC 2002: 898-903 - 2000
- [c27]Jordi Cortadella
, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev:
Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN 2000: 1-15
1990 – 1999
- 1999
- [j11]Alex Kondratyev, Jordi Cortadella
, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev:
Logic decomposition of speed-independent circuits. Proc. IEEE 87(2): 347-362 (1999) - [j10]Jordi Cortadella
, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor
, Alexandre Yakovlev
:
Decomposition and technology mapping of speed-independent circuits using Boolean relations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(9): 1221-1236 (1999) - [c26]Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev:
Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. DAC 1999: 110-115 - [c25]Ken S. Stevens, Shai Rotem, Steven M. Burns, Jordi Cortadella
, Ran Ginosar, Michael Kishinevsky, Marly Roncken:
CAD Directions for High Performance Asynchronous Circuits. DAC 1999: 116-121 - [c24]Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens:
Synthesis of asynchronous control circuits with automatically generated relative timing assumptions. ICCAD 1999: 324-331 - 1998
- [j9]Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten:
Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings. Formal Methods Syst. Des. 12(1): 5-38 (1998) - [j8]Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Jordi Cortadella
, Luciano Lavagno:
The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems. J. Circuits Syst. Comput. 8(1): 67-118 (1998) - [j7]Jordi Cortadella
, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev
:
Deriving Petri Nets for Finite Transition Systems. IEEE Trans. Computers 47(8): 859-882 (1998) - [j6]Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev
:
Hazard-free implementation of speed-independent circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(9): 749-771 (1998) - [j5]Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin:
Partial-scan delay fault testing of asynchronous circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(11): 1184-1199 (1998) - [c23]Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev:
Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings. ACSD 1998: 152-163 - [c22]Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev:
Asynchronous Interface Specification, Analysis and Synthesis. DAC 1998: 2-7 - [c21]Jordi Cortadella
, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev:
Lazy transition systems: application to timing optimization of asynchronous circuits. ICCAD 1998: 324-331 - 1997
- [j4]Jordi Cortadella
, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
:
A region-based theory for state assignment in speed-independent circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(8): 793-812 (1997) - [c20]Michael Kishinevsky, Jordi Cortadella
, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev
:
Coupling Asynchrony and Interrupts: Place Chart Nets. ICATPN 1997: 328-347 - [c19]Alex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev:
Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. ASYNC 1997: 240-253 - [c18]Jordi Cortadella
, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev:
Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis. ED&TC 1997: 98-105 - [c17]Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev:
Decomposition and technology mapping of speed-independent circuits using Boolean relations. ICCAD 1997: 220-227 - [c16]Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin:
Partial scan delay fault testing of asynchronous circuits. ICCAD 1997: 728-735 - 1996
- [j3]Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Marta Pietkiewicz-Koutny:
On the Models for Asynchronous Circuit Behaviour with OR Causality. Formal Methods Syst. Des. 9(3): 189-233 (1996) - [c15]Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten:
A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings. Application and Theory of Petri Nets 1996: 346-365 - [c14]Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alex Yakovlev:
Complete state encoding based on the theory of regions. ASYNC 1996: 36-47 - [c13]Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev:
Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. DAC 1996: 63-66 - 1995
- [c12]Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev:
On hazard-free implementation of speed-independent circuits. ASP-DAC 1995 - [c11]Alex Kondratyev, Jordi Cortadella
, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev:
Checking signal transition graph implementability by symbolic BDD traversal. ED&TC 1995: 325-332 - [c10]