Published in: LIPIcs, Volume 263, 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Yannan Li and Chao Wang. Constraint Based Compiler Optimization for Energy Harvesting Applications. In 37th European Conference on Object-Oriented Programming (ECOOP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 263, pp. 16:1-16:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{li_et_al:LIPIcs.ECOOP.2023.16, author = {Li, Yannan and Wang, Chao}, title = {{Constraint Based Compiler Optimization for Energy Harvesting Applications}}, booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)}, pages = {16:1--16:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-281-5}, ISSN = {1868-8969}, year = {2023}, volume = {263}, editor = {Ali, Karim and Salvaneschi, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.16}, URN = {urn:nbn:de:0030-drops-182096}, doi = {10.4230/LIPIcs.ECOOP.2023.16}, annote = {Keywords: Compiler, energy optimization, constraint solving, cryptography, IoT} }
Published in: LIPIcs, Volume 224, 38th International Symposium on Computational Geometry (SoCG 2022)
Fan Wang, Hubert Wagner, and Chao Chen. GPU Computation of the Euler Characteristic Curve for Imaging Data. In 38th International Symposium on Computational Geometry (SoCG 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 224, pp. 64:1-64:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{wang_et_al:LIPIcs.SoCG.2022.64, author = {Wang, Fan and Wagner, Hubert and Chen, Chao}, title = {{GPU Computation of the Euler Characteristic Curve for Imaging Data}}, booktitle = {38th International Symposium on Computational Geometry (SoCG 2022)}, pages = {64:1--64:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-227-3}, ISSN = {1868-8969}, year = {2022}, volume = {224}, editor = {Goaoc, Xavier and Kerber, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2022.64}, URN = {urn:nbn:de:0030-drops-160724}, doi = {10.4230/LIPIcs.SoCG.2022.64}, annote = {Keywords: topological data analysis, Euler characteristic, Euler characteristic curve, Betti curve, persistent homology, algorithms, parallel programming, algorithm engineering, GPU programming, imaging data} }
Published in: LIPIcs, Volume 85, 28th International Conference on Concurrency Theory (CONCUR 2017)
Ahmed Bouajjani, Constantin Enea, and Chao Wang. Checking Linearizability of Concurrent Priority Queues. In 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 85, pp. 16:1-16:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{bouajjani_et_al:LIPIcs.CONCUR.2017.16, author = {Bouajjani, Ahmed and Enea, Constantin and Wang, Chao}, title = {{Checking Linearizability of Concurrent Priority Queues}}, booktitle = {28th International Conference on Concurrency Theory (CONCUR 2017)}, pages = {16:1--16:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-048-4}, ISSN = {1868-8969}, year = {2017}, volume = {85}, editor = {Meyer, Roland and Nestmann, Uwe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2017.16}, URN = {urn:nbn:de:0030-drops-78079}, doi = {10.4230/LIPIcs.CONCUR.2017.16}, annote = {Keywords: Concurrency, Linearizability, Model Checking} }
Published in: LIPIcs, Volume 77, 33rd International Symposium on Computational Geometry (SoCG 2017)
Chao Chen, Dimitris Metaxas, Yusu Wang, and Pengxiang Wu. Cardiac Trabeculae Segmentation: an Application of Computational Topology (Multimedia Contribution). In 33rd International Symposium on Computational Geometry (SoCG 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 77, pp. 65:1-65:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{chen_et_al:LIPIcs.SoCG.2017.65, author = {Chen, Chao and Metaxas, Dimitris and Wang, Yusu and Wu, Pengxiang}, title = {{Cardiac Trabeculae Segmentation: an Application of Computational Topology}}, booktitle = {33rd International Symposium on Computational Geometry (SoCG 2017)}, pages = {65:1--65:4}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-038-5}, ISSN = {1868-8969}, year = {2017}, volume = {77}, editor = {Aronov, Boris and Katz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2017.65}, URN = {urn:nbn:de:0030-drops-72429}, doi = {10.4230/LIPIcs.SoCG.2017.65}, annote = {Keywords: image segmentation, trabeculae, persistent homology, homology localization} }
Feedback for Dagstuhl Publishing