共 24 条
[2]
[Anonymous], 2015, INCREMENTAL TIMING A
[3]
[Anonymous], 2009, STATIC TIMING ANAL N
[4]
[Anonymous], 2014, TAU 2014 CONTEST PES
[5]
MIN-MAX HEAPS AND GENERALIZED PRIORITY-QUEUES
[J].
COMMUNICATIONS OF THE ACM,
1986, 29 (10)
:996-1000
[7]
Bhardwaj S., 2013, U. S. Patent, Patent No. [20 120 278 778 A1, 20120278778]
[8]
Cormen T. H., 2009, SINGLE SOURCE SHORTE
[9]
Eppstein D., 1994, Proceedings. 35th Annual Symposium on Foundations of Computer Science (Cat. No.94CH35717), P154, DOI 10.1109/SFCS.1994.365697
[10]
Garg V., 2014, Proc. IEEE/ACM ICCAD, P592