Abhijit Davare

发表

Simulation based deadlock analysis for system level designs

Alberto L. Sangiovanni-Vincentelli, Xi Chen, Yosinori Watanabe, 2005, Proceedings. 42nd Design Automation Conference, 2005..

A semantic-driven synthesis flow for platform-based design

Alberto L. Sangiovanni-Vincentelli, Qi Zhu, Abhijit Davare, 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..

System-level modeling and Simulation of the 10G optoelectronic interconnect

Donald M. Chiarulli, Steven P. Levitan, Barry K. Gilbert, 2003 .

An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems

Xue Liu, Peng Deng, Qi Zhu, 2016, IEEE Transactions on Computers.

Simple Case Study in Metropolis

Haibo Zeng, Douglas Densmore, Abhijit Davare, 2004 .

Classification, Customization, and Characterization: Using MILP for Task Allocation and Scheduling

Alberto Sangiovanni-Vincentelli, Jike Chong, Qi Zhu, 2006 .

Design Space Exploration of Automotive Platforms in Metropolis

Alberto Sangiovanni-Vincentelli, C. Pinello, Haibo Zeng, 2006 .

Runtime deadlock analysis for system level design

Alberto L. Sangiovanni-Vincentelli, Xi Chen, Eric Cheung, 2009, Des. Autom. Embed. Syst..

Minimization of dynamic and static power through joint assignment of threshold voltages and sizing optimization

David G. Chinnery, Kurt Keutzer, Michael Orshansky, 2003, ISLPED '03.

Mapping in Platform-Based Design

Qi Zhu, Abhijit Davare, 2010 .

Functional Model Exploration for Multimedia Applications via Algebraic Operators

Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Shinjiro Kakita, 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).

Period Optimization for Hard Real-time Distributed Automotive Systems

Alberto L. Sangiovanni-Vincentelli, Qi Zhu, Marco Di Natale, 2007, 2007 44th ACM/IEEE Design Automation Conference.

A Formal Approach for Optimizing Mapping in System Level Design

Qi Zhu, Abhijit Davare, Alberto Sangiovanni-Vincentelli, 2008 .

JPEG encoding on the Intel MXP5800: a platform-based design case study

Alberto L. Sangiovanni-Vincentelli, Qi Zhu, John Moondanos, 2005, 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005..

metroII

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Qi Zhu, 2013, ACM Trans. Embed. Comput. Syst..

System simulation of mixed-signal multi-domain microsystems with piecewise linear models

Donald M. Chiarulli, Steven P. Levitan, Mark Kahrs, 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Platform-Based Design and Frameworks: METROPOLIS andMETRO II

Roberto Passerone, Alberto Sangiovanni-Vincentelli, Alessandro Pinto, 2018, Model-Based Design for Embedded Systems.

Automated mapping for heterogeneous multiprocessor embedded systems

Abhijit Davare, A. Davare, 2007 .

The best of both worlds: the efficient asynchronous implementation of synchronous specifications

Alberto L. Sangiovanni-Vincentelli, Alex Kondratyev, Abhijit Davare, 2004, Proceedings. 41st Design Automation Conference, 2004..

System Level Simulation of Mixed-signal Multi-domain Microsystems with Piecewise Linear Behavioral Models

Donald M. Chiarulli, Timothy P. Kurzweg, Steven P. Levitan, 2003 .

Sensor Networks and Low Power Coordination in Wireless Ad-hoc Networks

Miodrag Potkonjak, Alberto Sangiovanni-Vincentelli, Farinaz Koushanfar, 2003 .

Concurrent Embedded Design for Multimedia: JPEG encoding on Xilinx FPGA Case Study

Jike Chong, Abhijit Davare, Kelvin Lwin, 2006 .

A Platform-Based Design Methodology for the Electronic System Level

Douglas Densmore, Abhijit Davare, 2008 .

Low power coordination in wireless ad-hoc networks

Alberto L. Sangiovanni-Vincentelli, Miodrag Potkonjak, Farinaz Koushanfar, 2003, Proceedings of the 2003 International Symposium on Low Power Electronics and Design, 2003. ISLPED '03..

Techniques for maintaining connectivity in wireless ad-hoc networks under energy constraints

Alberto L. Sangiovanni-Vincentelli, Miodrag Potkonjak, Farinaz Koushanfar, 2007, TECS.

A Platform-based Design Flow for Kahn Process Networks

Alberto Sangiovanni-Vincentelli, Qi Zhu, Abhijit Davare, 2006 .

WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems

Xue Liu, Peng Deng, Qi Zhu, 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

UMTS MPSoC design evaluation using a system level design framework

Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Douglas Densmore, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

RHNAS: Realizable Hardware and Neural Architecture Search pdf

Ravi Iyer, Yash Akhauri, J. Pablo Munoz, 2021, ArXiv.

A Highly Configurable Hardware/Software Stack for DNN Inference Acceleration pdf

Zhenkun Yang, Abhijit Davare, Desmond Kirkpatrick, 2021, ArXiv.