BibTeX records: Djordje Maksimovic

• > Home > Persons > Djordje Maksimovic

@article{DBLP:journals/micro/VasiljevicBCSIB21,
  author       = {Jasmina Vasiljevic and
                  Ljubisa Bajic and
                  Davor Capalija and
                  Stanislav Sokorac and
                  Dragoljub Ignjatovic and
                  Lejla Bajic and
                  Milos Trajkovic and
                  Ivan Hamer and
                  Ivan Matosevic and
                  Aleksandar Cejkov and
                  Utku Aydonat and
                  Tony Zhou and
                  Syed Zohaib Gilani and
                  Armond Paiva and
                  Joseph Chu and
                  Djordje Maksimovic and
                  Stephen Alexander Chin and
                  Zahi Moudallal and
                  Akhmed Rakhmati and
                  Sean Nijjar and
                  Almeet Bhullar and
                  Boris Drazic and
                  Charles Lee and
                  James Sun and
                  Kei{-}Ming Kwong and
                  James Connolly and
                  Miles Dooley and
                  Hassan Farooq and
                  Joy Yu Ting Chen and
                  Matthew Walker and
                  Keivan Dabiri and
                  Kyle Mabee and
                  Rakesh Shaji Lal and
                  Namal Rajatheva and
                  Renjith Retnamma and
                  Shripad Karodi and
                  Daniel Rosen and
                  Emilio Munoz and
                  Andrew Lewycky and
                  Aleksandar Knezevic and
                  Raymond Kim and
                  Allan Rui and
                  Alexander Drouillard and
                  David Thompson},
  title        = {Compute Substrate for Software 2.0},
  journal      = {{IEEE} Micro},
  volume       = {41},
  number       = {2},
  pages        = {50--55},
  year         = {2021},
  url          = {https://doi.org/10.1109/MM.2021.3061912},
  doi          = {10.1109/MM.2021.3061912},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/micro/VasiljevicBCSIB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/AdlerMV16,
  author       = {John Adler and
                  Djordje Maksimovic and
                  Andreas G. Veneris},
  editor       = {Luca Fanucci and
                  J{\"{u}}rgen Teich},
  title        = {Root-cause analysis for memory-locked errors},
  booktitle    = {2016 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
  pages        = {1054--1059},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://ieeexplore.ieee.org/document/7459465/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/AdlerMV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/BeckerMNEVJI15,
  author       = {Andrew Becker and
                  Djordje Maksimovic and
                  David Novo and
                  Mohsen Ewaida and
                  Andreas G. Veneris and
                  Barbara Jobstmann and
                  Paolo Ienne},
  editor       = {Nir Piterman},
  title        = {FudgeFactor: Syntax-Guided Synthesis for Accurate {RTL} Error Localization
                  and Correction},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {259--275},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_16},
  doi          = {10.1007/978-3-319-26287-1\_16},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/BeckerMNEVJI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccd/MaksimovicVP15,
  author       = {Djordje Maksimovic and
                  Andreas G. Veneris and
                  Zissis Poulos},
  title        = {Clustering-based revision debug in regression verification},
  booktitle    = {33rd {IEEE} International Conference on Computer Design, {ICCD} 2015,
                  New York City, NY, USA, October 18-21, 2015},
  pages        = {32--37},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICCD.2015.7357081},
  doi          = {10.1109/ICCD.2015.7357081},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/MaksimovicVP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/patmos/LeMSEBV15,
  author       = {Bao Le and
                  Djordje Maksimovic and
                  Dipanjan Sengupta and
                  Erhan Ergin and
                  Ryan Berryhill and
                  Andreas G. Veneris},
  title        = {Constructing stability-based clock gating with hierarchical clustering},
  booktitle    = {25th International Workshop on Power and Timing Modeling, Optimization
                  and Simulation, {PATMOS} 2015, Salvador, Brazil, September 1-4, 2015},
  pages        = {97--102},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/PATMOS.2015.7347593},
  doi          = {10.1109/PATMOS.2015.7347593},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/patmos/LeMSEBV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccad/MaksimovicLV14,
  author       = {Djordje Maksimovic and
                  Bao Le and
                  Andreas G. Veneris},
  editor       = {Yao{-}Wen Chang},
  title        = {Multiple clock domain synchronization in a QBF-based verification
                  environment},
  booktitle    = {The {IEEE/ACM} International Conference on Computer-Aided Design,
                  {ICCAD} 2014, San Jose, CA, USA, November 3-6, 2014},
  pages        = {684--689},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICCAD.2014.7001426},
  doi          = {10.1109/ICCAD.2014.7001426},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/MaksimovicLV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}