共 47 条
[1]
[Anonymous], 2000, Parallel and Distributed Processing
[4]
BENINI L, 2002, IEEE COMPUT, V1, P70
[6]
BURGER D., 1997, SIMPLESCALAR TOOL SE
[7]
A low-power crossroad switch architecture and its core placement for network-on-chip
[J].
ISLPED '05: PROCEEDINGS OF THE 2005 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN,
2005,
:375-380
[8]
Model checking with induction
[J].
30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS,
2006,
:143-+
[10]
Chen XN, 2003, ISLPED'03: PROCEEDINGS OF THE 2003 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, P90