咨询与建议

限定检索结果

文献类型

  • 343 篇 会议
  • 173 篇 期刊文献

馆藏范围

  • 516 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 331 篇 工学
    • 233 篇 计算机科学与技术...
    • 142 篇 软件工程
    • 61 篇 电子科学与技术(可...
    • 54 篇 信息与通信工程
    • 49 篇 控制科学与工程
    • 32 篇 机械工程
    • 31 篇 电气工程
    • 19 篇 生物工程
    • 15 篇 材料科学与工程(可...
    • 14 篇 光学工程
    • 12 篇 动力工程及工程热...
    • 12 篇 化学工程与技术
    • 10 篇 网络空间安全
    • 9 篇 交通运输工程
    • 9 篇 生物医学工程(可授...
    • 8 篇 仪器科学与技术
    • 7 篇 建筑学
    • 7 篇 土木工程
    • 6 篇 冶金工程
  • 134 篇 理学
    • 70 篇 数学
    • 26 篇 系统科学
    • 24 篇 物理学
    • 22 篇 生物学
    • 14 篇 统计学(可授理学、...
    • 12 篇 化学
  • 68 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 20 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 14 篇 医学
    • 12 篇 临床医学
    • 10 篇 基础医学(可授医学...
  • 5 篇 经济学
  • 3 篇 法学
  • 3 篇 农学
  • 1 篇 教育学
  • 1 篇 军事学
  • 1 篇 艺术学

主题

  • 56 篇 computer archite...
  • 34 篇 laboratories
  • 29 篇 delay
  • 24 篇 circuit faults
  • 22 篇 hardware
  • 20 篇 circuit testing
  • 20 篇 costs
  • 19 篇 bandwidth
  • 18 篇 clocks
  • 16 篇 system testing
  • 16 篇 microprocessors
  • 15 篇 protocols
  • 14 篇 throughput
  • 13 篇 routing
  • 13 篇 fault tolerance
  • 13 篇 wireless sensor ...
  • 13 篇 automatic test p...
  • 13 篇 computer network...
  • 12 篇 petri nets
  • 12 篇 system-on-a-chip

机构

  • 94 篇 key laboratory o...
  • 83 篇 key laboratory o...
  • 34 篇 institute of com...
  • 31 篇 key laboratory o...
  • 31 篇 graduate univers...
  • 30 篇 chinese academy ...
  • 26 篇 national enginee...
  • 23 篇 key laboratory o...
  • 19 篇 graduate univers...
  • 18 篇 department of el...
  • 17 篇 key laboratory o...
  • 16 篇 chinese academy ...
  • 13 篇 department of el...
  • 12 篇 guangdong provin...
  • 11 篇 department of co...
  • 11 篇 shenzhen institu...
  • 11 篇 university of ch...
  • 10 篇 chinese academy ...
  • 10 篇 loongson technol...
  • 10 篇 school of comput...

作者

  • 51 篇 xiaowei li
  • 31 篇 huawei li
  • 30 篇 zhou mengchu
  • 25 篇 li xiaowei
  • 21 篇 yu hu
  • 19 篇 shen linlin
  • 18 篇 yinhe han
  • 17 篇 mengchu zhou
  • 15 篇 dongrui fan
  • 14 篇 weiwu hu
  • 14 篇 changjun jiang
  • 13 篇 li huawei
  • 12 篇 cheng wang
  • 12 篇 xiang-yang li
  • 12 篇 hu yu
  • 11 篇 sun ninghui
  • 11 篇 han yinhe
  • 10 篇 jiang changjun
  • 9 篇 hu weiwu
  • 9 篇 yuzhong sun

语言

  • 467 篇 英文
  • 29 篇 中文
  • 20 篇 其他
检索条件"机构=Key Laboratory of Computer System and Architeture Institute of Computing Technology"
516 条 记 录,以下是141-150 订阅
排序:
Macro liveness graph and liveness of ω-independent unbounded nets
收藏 引用
Science China(Information Sciences) 2015年 第3期58卷 132-141页
作者: WANG ShouGuang GAN MengDi ZHOU MengChu School of Information and Electronic Engineering Zhejiang Gongshang University Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University Department of Electrical and Computer Engineering New Jersey Institute of Technology
Liveness is a basic property of a system and the liveness issue of unbounded Petri nets remains one of the most difficult problems in this *** work proposes a novel method to decide the liveness of a class of unbounde... 详细信息
来源: 评论
A New ETL Approach Based on Data Virtualization
收藏 引用
Journal of computer Science & technology 2015年 第2期30卷 311-323页
作者: 郭树盛 袁子牧 孙傲冰 岳强 State Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China University of Chinese Academy of Sciences Beijing 100190 China Cloud Computing Center Chinese Academy of Sciences Dongguan 523808 China
ETL (Extract-Transform-Load) usually includes three phases: extraction, transformation, and loading. In building data warehouse, it plays the role of data injection and is the most time-consuming activity. Thus it ... 详细信息
来源: 评论
A Reduced Reachability Tree for a Class of Unbounded Petri Nets
收藏 引用
IEEE/CAA Journal of Automatica Sinica 2015年 第4期2卷 345-352页
作者: Shouguang Wang Mengdi Gan Mengchu Zhou Dan You School of Information and Electronic Engineering Zhejiang Gongshang University State Key Laboratory for Manufacturing Systems Engineering Xi’an Jiaotong University Ministry of Education(MoE)Key Laboratory of Embedded System and Service Computing Tongji University MoE Key Laboratory of Embedded System and Service Computing Tongji University Department of Electrical and Computer Engineering New Jersey Institute of Technology
As a powerful analysis tool of Petri nets, reachability trees are fundamental for systematically investigating many characteristics such as boundedness, liveness and reversibility. This work proposes a method to gener... 详细信息
来源: 评论
Genetic analysis of over 1 million people identifies 535 new loci associated with blood pressure traits (vol 50, pg 1412, 2018)
收藏 引用
NATURE GENETICS 2018年 第12期50卷 1755-1755页
作者: Evangelou, Evangelos Warren, Helen R. Mosen-Ansorena, David Mifsud, Borbala Pazoki, Raha Gao, He Ntritsos, Georgios Dimou, Niki Cabrera, Claudia P. Karaman, Ibrahim Fu Liang Ng Evangelou, Marina Witkowska, Katarzyna Tzanis, Evan Hellwege, Jacklyn N. Giri, Ayush Edwards, Digna R. Velez Sun, Yan V. Cho, Kelly Gaziano, J. Michael Wilson, Peter W. F. Tsao, Philip S. Kovesdy, Csaba P. Esko, Tonu Magi, Reedik Milani, Lili Almgren, Peter Boutin, Thibaud Debette, Stephanie Ding, Jun Giulianini, Franco Holliday, Elizabeth G. Jackson, Anne U. Li-Gao, Ruifang Lin, Wei-Yu Luan, Jian'an Mangino, Massimo Oldmeadow, Christopher Prins, Bram Peter Qian, Yong Sargurupremraj, Muralidharan Shah, Nabi Surendran, Praveen Theriault, Sebastien Verweij, Niek Willems, Sara M. Zhao, Jing-Hua Amouyel, Philippe Connell, John de Mutsert, Renee Doney, Alex S. F. Farrall, Martin Menni, Cristina Morris, Andrew D. Noordam, Raymond Pare, Guillaume Poulter, Neil R. Shields, Denis C. Stanton, Alice Thom, Simon Abecasis, Goncalo Amin, Najaf Arking, Dan E. Ayers, Kristin L. Barbieri, Caterina M. Batini, Chiara Bis, Joshua C. Blake, Tineka Bochud, Murielle Boehnke, Michael Boerwinkle, Eric Boomsma, Dorret I. Bottinger, Erwin P. Braund, Peter S. Brumat, Marco Campbell, Archie Campbell, Harry Chakravarti, Aravinda Chambers, John C. Chauhan, Ganesh Ciullo, Marina Cocca, Massimiliano Collins, Francis Cordell, Heather J. Davies, Gail de Borst, Martin H. de Geus, Eco J. Deary, Ian J. Deelen, Joris Del Greco, Fabiola M. Demirkale, Cumhur Yusuf Dorr, Marcus Ehret, Georg B. Elosua, Roberto Enroth, Stefan Erzurumluoglu, A. Mesut Ferreira, Teresa Franberg, Mattias Franco, Oscar H. Gandin, Ilaria Gasparini, Paolo Giedraitis, Vilmantas Gieger, Christian Girotto, Giorgia Goel, Anuj Gow, Alan J. Gudnason, Vilmundur Guo, Xiuqing Gyllensten, Ulf Hamsten, Anders Harris, Tamara B. Harris, Sarah E. Hartman, Catharina A. Havulinna, Aki S. Hicks, Andrew A. Hofer, Edith Hofman, Albert Hottenga, Jouke-Jan Huffman, Jennifer E. Hwang, Shih-Jen Ingelsson, Erik James, Alan Jansen Department of Epidemiology and Biostatistics Imperial College London London UK Department of Hygiene and Epidemiology University of Ioannina Medical School Ioannina Greece William Harvey Research Institute Barts and The London School of Medicine and Dentistry Queen Mary University of London London UK National Institute for Health Research Barts Cardiovascular Biomedical Research Center Queen Mary University of London London UK MRC-PHE Centre for Environment and Health Imperial College London London UK Department of Mathematics Imperial College London London UK Division of Epidemiology Department of Medicine Institute for Medicine and Public Health Vanderbilt Genetics Institute Vanderbilt University Medical Center Tennessee Valley Healthcare System (626)/Vanderbilt University Nashville TN USA Vanderbilt Genetics Institute Vanderbilt Epidemiology Center Department of Obstetrics and Gynecology Vanderbilt University Medical Center Tennessee Valley Health Systems VA Nashville TN USA Department of Epidemiology Emory University Rollins School of Public Health Atlanta GA USA Department of Biomedical Informatics Emory University School of Medicine Atlanta GA USA Massachusetts Veterans Epidemiology Research and Information Center (MAVERIC) VA Boston Healthcare System Boston MA USA Division of Aging Department of Medicine Brigham and Women’s Hospital Department of Medicine Harvard Medical School Boston MA USA Atlanta VAMC and Emory Clinical Cardiovascular Research Institute Atlanta GA USA VA Palo Alto Health Care System Division of Cardiovascular Medicine Stanford University School of Medicine Stanford CA USA Nephrology Section Memphis VA Medical Center and University of Tennessee Health Science Center Memphis TN USA Estonian Genome Center University of Tartu Tartu Estonia Program in Medical and Population Genetics Broad Institute of Harvard and MIT Cambridge MA USA Department Clinical Sciences Malmö Lund University Malmö Sweden MRC Human Genetics Un
High blood pressure is a highly heritable and modifiable risk factor for cardiovascular disease. We report the largest genetic association study of blood pressure traits (systolic, diastolic and pulse pressure) to dat... 详细信息
来源: 评论
F-CNN: An FPGA-based framework for training Convolutional Neural Networks
F-CNN: An FPGA-based framework for training Convolutional Ne...
收藏 引用
International Conference on Application Specific systems (ASAP), Architectures and Processors
作者: Wenlai Zhao Haohuan Fu Wayne Luk Teng Yu Shaojun Wang Bo Feng Yuchun Ma Guangwen Yang Ministry of Education Key Laboratory for Earth System Modeling and Center for Earth System Science Tsinghua University China Tsinghua National Laboratory for Information Science and Technology China Department of Computing Imperial college London UK Department of Automatic Test and Control Harbin Institute of Technology China Department of Computer Science and Technology Tsinghua University China
This paper presents a novel reconfigurable framework for training Convolutional Neural Networks (CNNs). The proposed framework is based on reconfiguring a streaming datapath at runtime to cover the training cycle for ... 详细信息
来源: 评论
Optimizing Parallel Kinetic Monte Carlo Simulation by Communication Aggregation and Scheduling
Optimizing Parallel Kinetic Monte Carlo Simulation by Commun...
收藏 引用
2015大数据技术及应用论坛
作者: Baodong Wu Shigang Li Yunquan Zhang State Key Laboratory of Computer System and Architecture Institute of Computing TechnologyChinese Academy of Sciences
Kinetic Monte Carlo(KMC) algorithm has been widely applied for simulation of radiation damage, grain growth and chemical reactions. To simulate at a large temporal and spatial scale, domain decomposition is commonly u... 详细信息
来源: 评论
A co-evolutionary particle swarm optimization with dynamic topology for solving multi-objective optimization problems
Advances in Modelling and Analysis A
收藏 引用
Advances in Modelling and Analysis A 2016年 第1期53卷 145-159页
作者: Wu, Daqing Tang, Lixiang Li, Haiyan Ouyang, LiJun Computer Science and Technology Institute University of South China HangyangHunan China Antai College of Economics and Management Shanghai Jiao Tong University Shanghai200240 China Zigong643000 China Key Laboratory of Guangxi High Schools for Complex System and Computational Intelligence Guangxi University for Nationalities Nanning530006 China Key Laboratory of Intelligent Computing and Signal Processing Ministry of Education Anhui University HefeiAnhui Province230039 China Department of Business Administration Hunan University of Finance and Economics Hunan410205 China
This paper proposes a multi-objective with dynamic topology particle swarm optimization (PSO) algorithm for solving multi-objective problems, named DTPSO. One of the main drawbacks of classical multi-objective particl... 详细信息
来源: 评论
A polynomial algorithm to performance analysis of concurrent systems via petri nets and ordinary differential equations
A polynomial algorithm to performance analysis of concurrent...
收藏 引用
作者: Ding, Zuohua Zhou, Yuan Zhou, Meng Chu Laboratory of Intelligent Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou310018 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai200092 China Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07102-1982 United States
In this paper, a new method is proposed to evaluate the performance of concurrent systems. A concurrent system consisting of multiple processes that communicate via message passing mechanisms is modeled by a Petri net... 详细信息
来源: 评论
The 5th International Conference on Biomedical Engineering and Biotechnology (ICBEB 2016) Abstracts
收藏 引用
BMC MEDICAL IMAGING 2016年 第SUPPL 1期16卷 65-65页
作者: [Anonymous] Department of MRI Shandong Medical Imaging Research Institute Affiliated to Shandong University Jinan Shandong 250021 People’s Republic of China Department of Interventional Radiology Shandong Provincial Hospital Affiliated to Shandong University Jinan Shandong 250021 People’s Republic of China College of Information Science and Technology Engr. Research Center of Digitized Textile & Fashion Tech. for Ministry of Education Donghua University Shanghai 201620 China Intelligent multimedia information processing Lab College of Software Northeastern University Shenyang Liaoning Province 110004 China Institute of Biomedical and Health Engineering Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences Shenzhen 518055 China School of Computer Science and Technology Nanjing Normal University Nanjing China Department of Electrical Engineering The City College of New York CUNY New York USA Jiangsu Key Laboratory of 3D Printing Equipment and Manufacturing Nanjing China School of Electronic Science and Engineering Nanjing University Nanjing Jiangsu 210046 China College of Engineering Nanyang Technological University Singapore 639798 Singapore School of Electronic Information Shanghai Dianji University Shanghai China School of Natural Sciences and Mathematics Shepherd University Shepherdstown WV 25443 USA Davis College of Agriculture Natural Resources and Design West Virginia University Morgantown WV 26505 USA State Key Laboratory of Millimeter Waves Southeast University Nanjing 210096 China Center of Medical Physics and Technology Hefei Institutes of Physical Science Chinese Academy of Sciences Hefei China College of Agricultural and Life Sciences University of Florida Gainesville FL 32611 USA Courant Institute of Mathematical Sciences New York University New York NY 10012 USA Translational Imaging Division & MRI Unit Columbia University and New York State Psychiatric Institute New York NY 10032 USA Guangxi Key Laboratory of Manufacturing System & Adv
来源: 评论
Response Policies to Process Module Failure in Single-Arm Cluster Tools Subject to Wafer Residency Time Constraints
Response Policies to Process Module Failure in Single-Arm Cl...
收藏 引用
作者: Qiao, Yan Pan, Chun-Rong Wu, Nai-Qi Zhou, Mengchu Department of Industrial Engineering School of Electro-Mechanical Engineering Guangdong University of Technology Guangzhou510006 China School of Mechatronics and Electrical Engineering Jiangxi University of Science and Technology Ganzhou341000 China Institute of Systems Engineering Macau University of Science and Technology Taipa China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai201804 China Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07102-1982 United States
In semiconductor manufacturing, wafer residency time constraints make the scheduling problem of cluster tools complicated. A process module (PM) in cluster tools is prone to failure. It is crucial to deal with any suc... 详细信息
来源: 评论