检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

982 篇 会议
37 篇 期刊文献
24 册 图书

馆藏范围

1,041 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

702 篇 工学
- 583 篇 计算机科学与技术...
- 365 篇 软件工程
- 146 篇 电气工程
- 57 篇 控制科学与工程
- 30 篇 信息与通信工程
- 27 篇 材料科学与工程（可...
- 19 篇 电子科学与技术（可...
- 16 篇 机械工程
- 11 篇 动力工程及工程热...
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 仪器科学与技术
- 7 篇 石油与天然气工程
- 6 篇 城乡规划学
- 4 篇 核科学与技术
- 4 篇 农业工程
191 篇 理学
- 158 篇 数学
- 19 篇 系统科学
- 17 篇 物理学
- 12 篇 统计学（可授理学、...
- 10 篇 生物学
69 篇 管理学
- 53 篇 管理科学与工程(可...
- 22 篇 工商管理
- 19 篇 图书情报与档案管...
16 篇 教育学
- 16 篇 教育学
11 篇 文学
- 11 篇 新闻传播学
9 篇 法学
- 8 篇 社会学
6 篇 医学
- 4 篇 基础医学(可授医学...
4 篇 农学
- 4 篇 作物学
3 篇 经济学
- 3 篇 应用经济学
1 篇 军事学

主题

96 篇 logic gates
77 篇 programming
63 篇 logic programmin...
40 篇 fuzzy logic
35 篇 application soft...
30 篇 linear programmi...
30 篇 probabilistic lo...
27 篇 programming prof...
27 篇 computer archite...
26 篇 computer science
26 篇 dynamic programm...
23 篇 software enginee...
23 篇 protocols
21 篇 uncertainty
20 篇 object oriented ...
20 篇 java
20 篇 semantics
19 篇 computer circuit...
18 篇 costs
17 篇 software systems

机构

4 篇 univ potsdam pot...
4 篇 vienna univ tech...
4 篇 imdea software i...
4 篇 institute for lo...
3 篇 tu wien austria
3 篇 graduate school ...
3 篇 univ calabria de...
3 篇 carnegie mellon ...
3 篇 univ freiburg fr...
3 篇 univ british col...
3 篇 imperial coll lo...
3 篇 department of in...
2 篇 univ tecn federi...
2 篇 ist austria klos...
2 篇 univ savoie savo...
2 篇 tel aviv univers...
2 篇 zhongguancun lab...
2 篇 univ ferrara dip...
2 篇 south china univ...
2 篇 univ neuchatel i...

作者

8 篇 alviano mario
6 篇 lamma evelina
5 篇 schaub torsten
4 篇 riguzzi fabrizio
3 篇 lin yu
3 篇 vardi moshe y.
3 篇 gebser martin
3 篇 bellodi elena
3 篇 costa vitor sant...
3 篇 shinji sakamoto
3 篇 lakemeyer gerhar...
3 篇 ikeda markus
3 篇 zhou neng-fa
3 篇 xu hongxiang
3 篇 sabuncu orkunt
3 篇 leonard barolli
3 篇 schockaert steve...
3 篇 pichler andreas
3 篇 wang bin
3 篇 de givry simon

语言

1,015 篇 英文
21 篇 其他
8 篇 中文
1 篇 法文

检索条件"任意字段=30th International Conference on Logic Programming"

共 1043 条记录，以下是911-920 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Low power design of embedded NOR type FLASH memory module (EFMM)

Low power design of embedded NOR type FLASH memory module (E...

引用

international conference on ASIC

作者： M. Myung-Ok Lee Seung-Min Lee Young-Min Kim Young-Cheol Kim Department of Information and Communication Dong-shin University Naju Chungcheongnam South Korea

A Novel 40-ns high speed (HS) and 30 mA low power (LP) embedded flash memory modules (EFMM) such as 1 M flash memory cell array, three (4V, 5V, 9V) positive high voltage circuits and -7V negative high voltage circuit plus VHDL-modeled logic sub-systems implemented on 0.25 /spl mu/m CMOS SLP/5LM technology are presented. It is shown that our EFMM which is being used in multi-cube results in 30 mA active read current and 100 /spl mu/A standby current. Mixed mode design for analogs-high voltage charge pump shows stable 9V high for programming and further 1.2V bandgap reference voltage interfacing with the high voltage circuits and for logic designs are developed by optimized IP-standard (set by Synopsys) VHDL modeling. Chip size with 56-pin indicates 5.7 mm/sup 2/.

关键词： Flash memory Voltage CMOS logic circuits logic arrays logic programming Log periodic antennas Flash memory cells CMOS memory circuits CMOS technology Charge pumps

来源：评论

学校读者我要写书评

暂无评论

Large-Scale Neo-Heterogeneous programming and Optimization of SNP Detection on Tianhe-2 1

引用

30th international Supercomputing conference on High Performance Computing (ISC High Performance)

作者： Cui, Yingbo Liao, Xiangke Peng, Shaoliang Lu, Yutong Yang, Canqun Wang, Bingqiang Wu, Chengkun Natl Univ Def Technol Sch Comp Sci Changsha Hunan Peoples R China Natl Supercomp Ctr Shenzhen Shenzhen Peoples R China

ISBN: (数字)9783319201191

ISBN: (纸本)9783319201191;9783319201184

SNP detection is a fundamental procedure in genome analysis. A popular SNP detection tool SOAPsnp can take more than one week to analyze one human genome with a 20-fold coverage. To improve the efficiency, we developed mSNP, a parallel version of SOAPsnp. mSNP utilizes CPU cooperated with Intel (R) Xeon Phi (TM) for large-scale SNP detection. Firstly, we redesigned the key data structure of SOAPsnp, which significantly reduces the overhead of memory operations. Secondly, we devised a coordinated parallel framework, in which CPU collaborates with Xeon Phi for higher hardware utilization. thirdly, we proposed a read-based window division strategy to improve throughput and parallel scale on multiple nodes. To the best of our knowledge, mSNP is the first SNP detection tool empowered by Xeon Phi. We achieved a 45x speedup on a single node of Tianhe-2, without any loss in precision. Moreover, mSNP showed promising scalability on 4,096 nodes on Tianhe-2.

关键词： SNP detection SOAPsnp Parallelized algorithm Xeon Phi Many Integrated Core (MIC) Coprocessor Tianhe-2

来源：评论

学校读者我要写书评

暂无评论

Hardware - Software Co-Design Approach In Customizable Programmable logic Based Neuromorphic System Design

Hardware - Software Co-Design Approach In Customizable Progr...

引用

IEEE international conference on Electronics, Circuits and Systems (ICECS)

作者： Osman Yüksel Burcu Erkmen Electronics & Communications Engineering Dept Yıldız Technical University İstanbul Turkey

Neuromorphic Computing offers energy efficient AI inference for Edge Computing as well as morphologically adaptive and complex machine learning systems inspired by the nature. Hardware-software codesign approach presents the optimum solution for performing neuromorphic computations. Hardware Software Codesign is an embedded systems approach that target sharing computational costs between the software and hardware with using system-on-chip (SoC) that contains general purpose microprocessors, FPGAs, ASIC cores, memory block periperals and interconnection buses in one *** this study, we determine the basic requirements of neuromorphic hardware systems and the problems in the hardware design. We use the hardware-software codesign approach to solve those problems. By comparing the HDL models of spiking neurons with a programmable spiking neuron designed with hardware-software codesign approach in terms of speed, timing and hardware cost, we demonstrate the superiority of the hardware-software co-design approach in neuromorphic computing over pure hardware or pure software solutions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

the MORABIT Approach to Runtime Component Testing

The MORABIT Approach to Runtime Component Testing

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Dima Suliman Barbara Paech Lars Borner Colin Atkinson Daniel Brenner Matthias Merdes Rainer Malaka Institute of Computer Science University of Heidelberg Heidelberg Germany Institute of Computer Science Mannheim University Mannheim Germany EML Research GmbH Heidelberg Germany

Runtime testing is important for improving the quality of software systems. this fact holds true especially for systems which cannot be completely assembled at development time, such as mobile or ad-hoc systems. the concepts of built-in-test (BIT) can be used to cope with runtime testing, but to our knowledge there does not exist an implemented infrastructure for BIT. the MORABIT project realizes such an infrastructure and extends the BIT concepts to allow for a smooth integration of the testing process and the original business functionality execution. In this paper the requirements on the infrastructure and our solution are presented

关键词： Runtime Automatic testing logic testing System testing Built-in self-test Performance evaluation Software testing Computer science Software systems Assembly systems

来源：评论

学校读者我要写书评

暂无评论

IoT-Based Online Access Control System for Vehicles in Truck-Loading Fuels Terminals

IoT-Based Online Access Control System for Vehicles in Truck...

引用

international conference on Microelectronics, ICM

作者： Moatz M. Bahgat Hania H. Farag Bassem Mokhtar Communication and Electronics Department Alexandria University Alexandria Egypt

ISBN: (纸本)9781538681688;9781538681671

Nowadays, the world is moving towards the use of the "Future Internet" concepts. the emergence of the Internet of things (IoT) as a new Future Internet concept has led to a new wave of application potential which could play an important role in our daily life. the performance of existing applications may be improved greatly by applying IoT-enabling technologies efficiently. this paper presents a developed IoT-based access control system for vehicles passing through the entry and exit gates in Truck-Loading Fuels Terminals. the developed system follows a new design approach utilizing one of the most prominent IoT technologies, the Radio Frequency Identification (RFID), with its write capabilities. the novel design approach followed in developing the presented topic aims at offering enhanced system performance with regard to speed, security and allocated resources.

关键词： Access control Radiofrequency identification Servers logic gates Lead Central Processing Unit

来源：评论

学校读者我要写书评

暂无评论

User-driven refinement of imprecise queries

User-driven refinement of imprecise queries

引用

international conference on Data Engineering

作者： Bahar Qarabaqi Mirek Riedewald College of Computer and Information Science Northeastern University Boston USA

ISBN: (纸本)9781479925568

We propose techniques for exploratory search in large databases. the goal is to provide new functionality that aids users in homing in on the right query conditions to find what they are looking for. Query refinement proceeds interactively by repeatedly consulting the user to manage query conditions. this process is characterized by three key challenges: (1) dealing with incomplete and imprecise user input, (2) keeping user effort low, and (3) guaranteeing interactive system response time. We address the first two challenges with a probability-based framework that guides the user to the most important query conditions. To recover from input errors, we introduce the notion of sensitivity and propose efficient algorithms for identifying the most sensitive user input, i.e., those inputs that had the greatest influence on the query results. For the third challenge, we develop techniques that can deliver estimates of the required probabilities within a given hard realtime limit and are able to adapt automatically as the interactive query refinement proceeds.

关键词： Birds Sensitivity Databases Image color analysis Probability distribution Uncertainty Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

Test Case Prioritization Using Relevant Slices

Test Case Prioritization Using Relevant Slices

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Dennis Jeffrey Neelam Gupta Department of Computer Science University of Arizona Tucson Tucson AZ USA

Software testing and retesting occurs continuously during the software development lifecycle to detect errors as early as possible. the sizes of test suites grow as software evolves. Due to resource constraints, it is important to prioritize the execution of test cases so as to increase chances of early detection of faults. Prior techniques for test case prioritization are based on the total number of coverage requirements exercised by the test cases. In this paper, we present a new approach to prioritize test cases based on the coverage requirements present in the relevant slices of the outputs of test cases. We present experimental results comparing the effectiveness of our prioritization approach with that of existing techniques that only account for total requirement coverage, in terms of ability to achieve high rate of fault detection. Our results present interesting insights into the effectiveness of using relevant slices for test case prioritization

关键词： Software testing Fault detection Computer science programming Life testing Computer errors Time factors

来源：评论

学校读者我要写书评

暂无评论

Topes

Topes

引用

international conference on Software Engineering (ICSE)

作者： Christopher Scaffidi Brad Myers Mary Shaw Institute for Software Research School of Computer Science Carnegie Mellon University Pittsburgh PA USA Human-Computer Interaction Institute School of Computer Science Carnegie Mellon University Pittsburgh PA USA

Programmers often omit input validation when inputs can appear in many different formats or when validation criteria cannot be precisely specified. To enable validation in these situations, we present a new technique that puts valid inputs into a consistent format and that identifies "questionable" inputs which might be valid or invalid, so that these values can be double-checked by a person or a program. Our technique relies on the concept of a "tope", which is an application-independent abstraction describing how to recognize and transform values in a category of data. We present our definition of topes and describe a development environment that supports the implementation and use of topes. Experiments with web application and spreadsheet data indicate that using our technique improves the accuracy and reusability of validation code and also improves the effectiveness of subsequent data cleaning such as duplicate identification.

关键词： Software reusability Computer science Web services Application software programming profession Books User interfaces Cleaning Printing Performance analysis

来源：评论

学校读者我要写书评

暂无评论

Automatically Mining Negative Code Examples from Software Developer Q & A Forums

Automatically Mining Negative Code Examples from Software De...

引用

IEEE/ACM international conference on Automated Software Engineering - Workshops (ASE Workshops)

作者： Ryan Serva Zachary R. Senzer Lori Pollock K. Vijay-Shanker University of Delaware Newark DE US Computer and Information Sciences University of Delaware Newark DE

In addition to learning good practices and reusing code from mining code examples, programmers can be supported in their learning and code improvement processes through negative, or poorly written, code examples. While it is challenging to identify negative code examples automatically from within source code, we leverage a key insight that the natural language in questions that include code examples posted on forums can provide adequate clues. In this paper, we describe an automatic sentiment analysis-based technique for mining negative code examples from developer question and answer forums along with a technique to automatically mine negative sentiment indicators commonly used by developers, which are used to drive the sentiment-based technique.

关键词： Data mining Software Sentiment analysis Computer languages programming Education

来源：评论

学校读者我要写书评

暂无评论

Improved Scheme for Adaptive Gateway Discovery in Hybrid MANET

Improved Scheme for Adaptive Gateway Discovery in Hybrid MAN...

引用

international conference on Distributed Computing Systems Workshop

作者： A.J. Yuste A. Triviño F.D. Trujillo E. Casilari DepartmentIngeniería de Telecomunicación E.P.S Linares Universidad de Jaén Spain Department Tecnología Electrónica E.T.S.I.Telecomunicación Universidad de Málaga Spain

this paper presents an adaptive scheme for gateway discovery in MANETs connected to the Internet. Basically, the proposed scheme reduces the flooding processes related to gateway discovery. To do so, the algorithm dynamically adjusts the interval of emission of the gateway advertisement messages to the need for updated routes to the gateway. the tuning is supported by the analysis of the spatial distribution of nodes in the MANET and by the impact that the relative position of nodes has on the route lifetimes. the simulations show that the proposed adaptive mechanism outperforms the conventional schemes: it decreases network saturation while it achieves lower end-to-end delay and it minimizes the routing overhead.

关键词： logic gates Mobile ad hoc networks Internet Routing Heuristic algorithms Mobile communication

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共105页 << < 88 89 90 91 92 93 94 95 96 97 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：