咨询与建议

限定检索结果

文献类型

  • 110 篇 会议
  • 60 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 96 篇 工学
    • 74 篇 计算机科学与技术...
    • 58 篇 软件工程
    • 22 篇 信息与通信工程
    • 14 篇 电子科学与技术(可...
    • 14 篇 控制科学与工程
    • 11 篇 电气工程
    • 8 篇 生物工程
    • 7 篇 生物医学工程(可授...
    • 6 篇 仪器科学与技术
    • 6 篇 安全科学与工程
    • 5 篇 机械工程
    • 5 篇 光学工程
    • 5 篇 动力工程及工程热...
    • 4 篇 交通运输工程
    • 3 篇 土木工程
    • 3 篇 化学工程与技术
  • 43 篇 理学
    • 22 篇 数学
    • 9 篇 生物学
    • 8 篇 物理学
    • 7 篇 系统科学
    • 6 篇 统计学(可授理学、...
    • 4 篇 化学
  • 24 篇 管理学
    • 16 篇 管理科学与工程(可...
    • 10 篇 图书情报与档案管...
    • 6 篇 工商管理
  • 9 篇 医学
    • 9 篇 临床医学
    • 7 篇 基础医学(可授医学...
    • 4 篇 药学(可授医学、理...
  • 4 篇 法学
    • 4 篇 社会学
  • 3 篇 教育学
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 农学
  • 1 篇 艺术学

主题

  • 13 篇 software enginee...
  • 11 篇 computer science
  • 8 篇 convolutional ne...
  • 6 篇 surveys
  • 6 篇 artificial intel...
  • 5 篇 programming
  • 5 篇 application soft...
  • 5 篇 power engineerin...
  • 5 篇 hardware
  • 5 篇 accuracy
  • 4 篇 internet of thin...
  • 4 篇 gyroscopes
  • 4 篇 feature extracti...
  • 3 篇 reliability
  • 3 篇 support vector m...
  • 3 篇 safety
  • 3 篇 systems engineer...
  • 3 篇 education
  • 3 篇 redundancy
  • 3 篇 software tools

机构

  • 11 篇 department of so...
  • 7 篇 gamf faculty of ...
  • 6 篇 declarative syst...
  • 6 篇 department of ap...
  • 5 篇 institute of ele...
  • 5 篇 school of softwa...
  • 5 篇 state key labora...
  • 4 篇 department of so...
  • 4 篇 department of co...
  • 4 篇 graduate institu...
  • 4 篇 information syst...
  • 3 篇 directorate of i...
  • 3 篇 institute for in...
  • 3 篇 university of il...
  • 3 篇 department of co...
  • 3 篇 department of el...
  • 3 篇 sule lamido univ...
  • 3 篇 sule lamido univ...
  • 3 篇 university of il...
  • 3 篇 department of te...

作者

  • 8 篇 jozsef katona
  • 5 篇 r.j. walters
  • 5 篇 p. henderson
  • 4 篇 katona jozsef
  • 4 篇 crouch stephen
  • 4 篇 walters robert j...
  • 3 篇 adediran yinusa ...
  • 3 篇 abdulkarim abuba...
  • 3 篇 abubakar abdulka...
  • 3 篇 imoize agbotinam...
  • 3 篇 oloyede abdulkar...
  • 3 篇 s. crouch
  • 3 篇 usman aliyu d.
  • 3 篇 garba salisu
  • 3 篇 adewole kayode s...
  • 3 篇 razali rozilawat...
  • 3 篇 sowande olugbeng...
  • 3 篇 li zhengbin
  • 3 篇 olagunju hawau i...
  • 3 篇 abdulwaheed musa

语言

  • 144 篇 英文
  • 27 篇 其他
  • 2 篇 中文
检索条件"机构=Declarative Systems and Software Engineering Electronics and Computer Science"
172 条 记 录,以下是121-130 订阅
Using launch-on-capture for testing BIST designs containing synchronous and asynchronous clock domains
Using launch-on-capture for testing BIST designs containing ...
收藏 引用
作者: Wang, Laung-Terng Wen, Xiaoqing Wu, Shianling Furukawa, Hiroshi Chao, Hao-Jan Sheu, Boryau Guo, Jianghao Jone, Wen-Ben SynTest Technologies Inc. Sunnyvale CA 94086 United States Department of Electrical Engineering Graduate Institute of Electronics Engineering National Taiwan University Taipei 106 Taiwan Department of Creative Informatics Kyushu Institute of Technology Iizuka Fukuoka 820-8502 Japan School of Software Tsinghua University Beijing 100084 China SynTest Technologies Inc. Princeton Junction NJ 08550 United States Department of Creation Informatics Graduate School of Computer Science and Systems Engineering Kyushu Institute of Technology Iizuka Fukuoka 820-8502 Japan With NEC Micro Systems Ltd. Kumamoto 861-2202 Japan SynTest Technologies Inc. Hsinchu 300 Taiwan Sigma Designs Milpitas CA 95035 United States Department of Electrical and Computer Engineering University of Cincinnati Cincinnati OH 45221 United States
This paper presents a new at-speed logic built-in self-test (BIST) architecture supporting two launch-on-capture schemes, namely aligned double-capture and staggered double-capture, for testing multi-frequency synchro... 详细信息
来源: 评论
Cognitive dimensions and grounded theory in learning software modeling
收藏 引用
Procedia - Social and Behavioral sciences 2009年 第1期1卷 1884-1888页
作者: Arcs, Garratt Razali, R. Dependable Systems and Software Engineering School of Electronics and Computer Science University of Southampton United Kingdom
The modeling of computer software is complex and error prone. Modeling methods and languages must be usable which implies easy to learn. Cognitive dimensions and grounded theory were used to analyse the usability and ... 详细信息
来源: 评论
Event-B patterns for specifying fault-tolerance in multi-agent interaction
Event-B patterns for specifying fault-tolerance in multi-age...
收藏 引用
作者: Ball, Elisabeth Butler, Michael Dependable Systems and Software Engineering Electronics and Computer Science University of Southampton United Kingdom
Interaction in a multi-agent system is susceptible to failure. A rigorous development of a multi-agent system must include the treatment of fault-tolerance of agent interactions for the agents to be able to continue t... 详细信息
来源: 评论
A usability profile for graphical formal modelling methods
A usability profile for graphical formal modelling methods
收藏 引用
8th International Conference on New Trends in software Methodologies, Tools and Techniques, SoMeT_09
作者: Razali, Rozilawati Garratt, Paul Faculty of Information Science and Technology 43600 UKM Bangi Universiti Kebangsaan Malaysia Selangor Malaysia School of Electronics and Computer Science Dependable Systems and Software Engineering University of Southampton SO17 1BJ United Kingdom
The notation and environment in conceptual modelling transform developers' initial perception about a system to a concrete model. Any usability constraints that the notation and environment impose on the modeling ... 详细信息
来源: 评论
A usability profile for graphical formal modelling methods
A usability profile for graphical formal modelling methods
收藏 引用
作者: Razali, Rozilawati Garratt, Paul Faculty of Information Science and Technology Universiti Kebangsaan Malaysia 43600 UKM Bangi Selangor Malaysia Dependable Systems and Software Engineering School of Electronics and Computer Science University of Southampton SO17 1BJ United Kingdom
The notation and environment in conceptual modelling transform developers' initial perception about a system to a concrete model. Any usability constraints that the notation and environment impose on the modeling ... 详细信息
来源: 评论
Impact of cluster size on efficient LUT-FPGA architecture for best area and delay trade-off
Impact of cluster size on efficient LUT-FPGA architecture fo...
收藏 引用
作者: Dayo, Khalil Rajput, Abdul Qadeer Khan Chowdhry, Bhawani S. Chowdhry, Narinder Department of Electronic and Biomedical Engineering MUET Jamshoro Sindh Pakistan Department of Computer Systems and Software Engg MUET Jamshoro Sindh Pakistan Postdoctoral Research Fellow School of Electronics and Computer Science University of Southampton United Kingdom
The delay of a circuit implemented in a Lookup table (LUT) based Field-Programmable Gate Arrays (FPGAs) is a combination of routing delays, and logic block delays. However most of an FPGA's area is devoted to prog... 详细信息
来源: 评论
Web services based bio-signal system leveraging support vector machines
Web services based bio-signal system leveraging support vect...
收藏 引用
2009 9th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2009
作者: Hsieh, Sung-Huai Hsieh, Sheau-Ling Shen, Chia-Ping Chen, Wei-Hsin Cheng, Po-Hsun Hsu, Kai-Ping Chen, Chi-Huang Lai, Feipei Information Systems Office National Taiwan University Hospital Taipei Taiwan Department of Computer Science and Information Engineering National Taiwan University Taipei Taiwan Department of Electrical Engineering National Taiwan University Taipei Taiwan Graduate Institute of Biomedical Electronics and Bioinformatics National Taiwan University Taiwan Department of Software Engineering National Kaohsiung Normal University Taiwan
Bio-signal analysis is one of the most important approaches to biomedical engineering. The health information such as ECG, PCG, EMG and EEG are often recorded in digital format to be analyzed. In this paper, a bio-sig... 详细信息
来源: 评论
Compact modelling of Through-Silicon Vias (TSVs) in three-dimensional (3-D) integrated circuits
Compact modelling of Through-Silicon Vias (TSVs) in three-di...
收藏 引用
IEEE International Conference on 3D System Integration, 3DIC
作者: Roshan Weerasekera Matt Grange Dinesh Pamunuwa Hannu Tenhunen Li-Rong Zheng Department of Electronics Computer and Software Systems KTH School of Information and Communication Technologies Kista Sweden Centre of Microsystems Engineering Faculty of Science & Technology Lancaster University Lancaster UK
Modeling parasitic parameters of Through-Silicon-Via (TSV) structures is essential in exploring electrical characteristics such as delay and signal integrity (SI) of circuits and interconnections in three-dimensional ... 详细信息
来源: 评论
Newborn screening system based on adaptive feature selection and support vector machines
Newborn screening system based on adaptive feature selection...
收藏 引用
2009 9th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2009
作者: Hsieh, Sung-Huai Chien, Yin-Hsiu Shen, Chia-Ping Chen, Wei-Hsin Chen, Po-Hao Hsieh, Sheau-Ling Cheng, Po-Hsun Lai, Feipei Information Systems Office National Taiwan University Hospital Taipei Taiwan Department of Computer Science and Information Engineering National Taiwan University Taiwan Department of Electrical Engineering National Taiwan University Taipei Taiwan Network and Computer Centre National Chiao Tung University Hsin Chu Taiwan Graduate Institute of Biomedical Electronics and Bioinformatics National Taiwan University Taiwan Department of Software Engineering National Kaohsiung Normal University Taiwan Department of Medical Genetics National Taiwan University Hospital Taiwan
The clinical symptoms of metabolic disorders during neonatal period are often not apparent, if not treated early irreversible damages such as mental retardation may occur, even death. Therefore, practicing newborn scr... 详细信息
来源: 评论
On the Influence of Thread Allocation for Irregular Codes in NUMA systems
On the Influence of Thread Allocation for Irregular Codes in...
收藏 引用
IEEE International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT)
作者: Juan A. Lorenzo Francisco F. Rivera Peter Tuma Juan C. Pichel Computer Architecture Group Electronics and Computer Science Department University of Santiago de Compostela Spain Distributed Systems Research Group Department of Software Engineering Charles University Prague Czech Republic Galicia Supercomputing Centre Santiago de Compostela Spain
This work presents a study undertaken to characterise the FINISTERRAE supercomputer, one of the biggest NUMA systems in Europe. The main objective was to determine the performance effect of bus contention and cache co... 详细信息
来源: 评论