An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking
Weichen Liu(Nanyang Technological University), Mingxuan Yuan(Hong Kong University of Science and Technology), Jiang Xu(Hong Kong University of Science and Technology), Zonghua Gu(Hofstra University), Yu Wang(Tsinghua University)
Cited by 26
Related Papers
Edge learning using a fully integrated neuro-inspired memristor chip
|Science|2023|409
33.2 A Fully Integrated Analog ReRAM Based 78.4TOPS/W Compute-In-Memory Chip with Fully Parallel MAC Computing
|Unknown|2020|297
TripImputor: Real-Time Imputing Taxi Trip Purpose Leveraging Multi-Sourced Urban Data
|IEEE Transactions on Intelligent Transportation Systems|2018|173
Solving Dynamic Multiobjective Problem via Autoencoding Evolutionary Search
|IEEE Transactions on Cybernetics|2020|139
A NoC Traffic Suite Based on Real Applications
|Unknown|2011|115