共 75 条
[1]
Adl-Tabatabai AR, 2009, INTEGR CIRCUIT SYST, P145, DOI 10.1007/978-1-4419-0263-4_5
[2]
Alpern B, 2002, USENIX ASSOCIATION PROCEEDINGS OF THE 2ND JAVA(TM) VIRTUAL MACHINE RESEARCH AND TECHNOLOGY SYMPOSIUM, P51
[3]
[Anonymous], 2012, The Garbage Collection Handbook
[4]
[Anonymous], 2004, The SPIN Model Checker-Primer and Reference Manual
[5]
[Anonymous], 2008, ART MULTIPROCESSOR P
[6]
[Anonymous], 2013, INT 64 IA 32 ARCH SO
[9]
Auerbach Joshua., 2008, Proceedings of the 8th ACM Int'l Conf. on Embedded Software, P245
[10]
Azul, 2010, CISC VIS NETW IND GL