المؤلفون: Luo, Li, Zhang, Ying, He, Hongjun, Wang, Lei, Xun, Chanzqing, Pan, Guoteng, Tie, Junbo, Hu, Huili

المصدر: 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys) HPCC-DSS-SMARTCITY-DEPENDSYS High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application, 2021 IEEE 23rd Int Conf on. :2011-2018 Dec, 2021

Relation: 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys)

المؤلفون: Li Luo, Hongjun He, Guodong Ou, Pan, Guoteng

المصدر: 2016 2nd IEEE International Conference on Computer and Communications (ICCC) Computer and Communications (ICCC), 2016 2nd IEEE International Conference on. :1509-1513 Oct, 2016

Relation: 2016 2nd IEEE International Conference on Computer and Communications (ICCC)

المؤلفون: Luo, Li^Aff10, Zhou, Li^Aff10, Zhou, Hailiang^Aff10, Feng, Quanyou^Aff10, Pan, Guoteng^Aff10

المساهمون: Filipe, Joaquim, Editorial Board Member^Aff1, Ghosh, Ashish, Editorial Board Member^Aff2, Prates, Raquel Oliveira, Editorial Board Member^Aff3, Zhou, Lizhu, Editorial Board Member^Aff4, Dong, Dezun, editor^Aff5, Gong, Xiaoli, editor^Aff6, Li, Cunlu, editor^Aff7, Li, Dongsheng, editor^Aff8, Wu, Junjie, editor^Aff9

المصدر: Advanced Computer Architecture : 13th Conference, ACA 2020, Kunming, China, August 13–15, 2020, Proceedings. 1256:209-220

المؤلفون: Pan, Guoteng^Aff12, Li, Mengjun^Aff12, Ou, Guodong^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Miao, Huaikou, editor^Aff8, Tian, Cong, editor^Aff9, Liu, Shaoying, editor^Aff10, Duan, Zhenhua, editor^Aff11

المصدر: Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. 12028:123-140

المؤلفون: Pan, Guoteng, Dou, Qiang, Xie, Lunguo

المصدر: Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007) Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on. 3:9-14 Jul, 2007

Relation: Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing

المؤلفون: Pan, Guoteng^Aff1, Dou, Qiang^Aff1, Xie, Lunguo^Aff1

المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Jin, Hai, editor, Rana, Omer F., editor, Pan, Yi, editor, Prasanna, Viktor K., editor

المصدر: Algorithms and Architectures for Parallel Processing : 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings. 4494:142-152

المؤلفون: Pan, Guoteng^Aff19, Xie, Lunguo^Aff19, Dou, Qiang^Aff19, He, Erhua^Aff19

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Dough, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Grigoriev, Dima, editor^Aff16, Harrison, John, editor^Aff17, Hirsch, Edward A., editor^Aff18

المصدر: Computer Science – Theory and Applications : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings. 3967:498-504

المؤلفون: Pan, Guoteng^Aff20, Dou, Qiang^Aff20, Xie, Luoguo^Aff20, Liu, Guangming^Aff20, Zhou, Haifang^Aff20, Zhu, Xiaoqian^Aff20, He, Erhua^Aff20

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Dough, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Jin, Hai, editor^Aff16, Pan, Yi, editor^Aff17, Xiao, Nong, editor^Aff18, Sun, Jianhua, editor^Aff19

المصدر: Grid and Cooperative Computing - GCC 2004 Workshops : GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004. Proceedings. 3252:697-703

المؤلفون: Pan, Guoteng, Li, Mengjun, Ou, Guodong

المصدر: ACM International Conference Proceeding Series; 10/28/2019, p1-9, 9p

المؤلفون: Tang Yuxing, Luo Li, Yang Qingna, Pan Guoteng, Ou Guodong

المصدر: The Open Cybernetics & Systemics Journal. 8:17-21

مصطلحات موضوعية: Multi-core processor, High-level verification, Correctness, Functional verification, Speedup, business.industry, Computer science, CPU cache, General Mathematics, Integrated circuit design, Intelligent verification, Computer architecture, Control and Systems Engineering, Embedded system, business, Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b6e910065ce90b6b19d5140ed3a56462
https://doi.org/10.2174/1874110x01408010017