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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是901-910 订阅

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

详细简洁

排序：

Inductively coupled plasma etching with supplementary electron beam injection

Inductively coupled plasma etching with supplementary electr...

引用

IEEE international conference on Plasma Science (ICOPS)

作者： K. Hoshinuya R. Ravi Zengqi Yu C. Richardson G.J. Collins Dept. of Electr. & Comput. Eng. Colorado State Univ. Fort Collins CO USA Department of Electrical and Computer Engineering Colorado State University Fort Collins CO USA LSI Logic Corp. Fort Collins CO

Summary form only given, as follows. Plasma etching is widely used in patterning semiconductor and the other materials the etching is stimulated by a flux of ions but charging effects occur. A cold cathode generated e... 详细信息

关键词： Optical coupling Plasma applications Etching Particle beams Particle beam injection Plasma sheaths Electron beams Electrodes

来源：评论

学校读者我要写书评

暂无评论

Tutorial T4: Evolved Supply Set Based UPF Methodology

Tutorial T4: Evolved Supply Set Based UPF Methodology

引用

international conference on VLSI Design

作者： Aman Jain Seagate Technology India

ISBN: (纸本)9781509057412

Summary form only given. the Unified Power Format (UPF) defines the power intent & specifications of low power designs and it provides designers with efficient methodology for low power design flow. It is supported by most of the EDA tools in the implementation flow. At the same time the UPF itself is getting evolved in terms of becoming more efficient to address gaps & challenges faced in the implementation. In this tutorial we want to share our experience of using supply set based UPF in low power design flow. this tutorial would emphasize how supply set based UPF provides superior solution and adds tremendous value. It addressed many of the challenges which we faced in SOC execution using supply net based UPF for complex low power designs. We would also share our experience of migrating from supply net based UPF to supply set based UPF and some of key challenges faced in low power SOC implementation and how the evolved supply set based UPF methodology addresses these issues.

关键词： Tutorials Biographies Large scale integration Estimation System-on-chip logic gates Training

来源：评论

学校读者我要写书评

暂无评论

Espresso-signature: a new exact minimizer for logic functions 93

Espresso-signature: a new exact minimizer for logic function...

引用

Proceedings of the 30th international Design Automation conference

作者： Patrick McGeer Jagesh Sanghavi Robert Brayton Alberto Sangiovanni Vincentelli

来源：评论

学校读者我要写书评

暂无评论

Design of Efficient Quantum-Dot Cellular Automata (QCA) MAC Unit

Design of Efficient Quantum-Dot Cellular Automata (QCA) MAC ...

引用

international conference on Microelectronics, ICM

作者： Ismail Gassoumi Lamjed Touil Bouraoui Ouni Laboratory of Electronics and Microelectronic University of Monastir Tunisia

ISBN: (纸本)9781538681688;9781538681671

QCA technology has considerable advantages in comparison with Complementary Metal Oxide Semiconductor (CMOS) technology, such as extremely low power dissipation, high operating frequency, and a small size and can operate at one Terahertz. the Multiply -Accumulator (MAC) unit is considered as one of the essential operation in Digital Signal Processing (DSP). In the real-time DSP systems, several applications like speech processing, video coding and digital filtering etc, require MAC operations. However, the power dissipation and area are the most significant aspects in these systems. In this paper, low power MAC Unit based on QCA technology is designed. QCADesigner ver 2.0.3 is used to validate the accuracy of the proposed circuit. the power dissipation is estimated using QCAPro tool. the total power consumed by this unit is 4.03 mW. It is found that proposed design is better than other designs based on classical technology. As the works in the field of QCA logic signal processing has started to progress, the suggested contribution will give rise to a new thread of research in the field of real time signal processing.

关键词： Adders Power demand logic gates Microelectronics CMOS technology Real-time systems Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Reflective, Model-Based Data Access with the Type-Safe Entity Container

Reflective, Model-Based Data Access with the Type-Safe Entit...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Gernot Schmoelzer Christian Kreiner Zsolt Kovacs Michael thonhauser Institute for Technical Informatics Graz University of Technology Graz Austria Salomon Automation GmbH Friesach Austria

Data centric applications can benefit heavily from model-based data access abstraction. this fosters understanding, maintainability, as well as independence from persistency mechanisms. Utilizing metadata from the domain data model allows to write generic, reusable software modules. However, for a business logic application part, direct, type-safe manipulation of persistent object attributes is more typical. thus, both are important programmatic use cases and coexist in data centric applications. In this paper, we describe the concept of a dynamic and model-based object cache, the entity container (EC), and discuss the needs, design and implementation of a type-safe access layer upon the EC, called TSEC. therefore, providing both access mechanisms to an EC in parallel, dynamic data and metadata access as well as static type-safe access, allows to develop flexible and reusable software modules at different abstraction levels, even independent of particular domain models

关键词： Containers Application software Data models Software reusability Runtime Java Relational databases Informatics Automation logic

来源：评论

学校读者我要写书评

暂无评论

A QoS-Aware Admission Control System for WLAN Using Fuzzy logic

A QoS-Aware Admission Control System for WLAN Using Fuzzy Lo...

引用

international conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Takaaki Inaba Shinji Sakamoto Tetsuya Oda Makoto Ikeda Leonard Barolli Graduate School of Engineering Fukuoka Institute of Technology (FIT) Fukuoka Japan Department of Information and Communication Engineering Fukuoka Institute of Technology (FIT) Fukuoka Japan

ISBN: (纸本)9781509024629

With the popularization of mobile devices such as smart phones, many device communicate over Wireless Local Area Networks (WLANs). the IEEE 802.11e standard is an important extension of the IEEE 802.11 standard focusing on QoS that works with any PHY implementation. the IEEE 802.11e standard introduces EDCF and HCCA. Both these schemes are useful for QoS provisioning to support delay-sensitive voice and video applications. EDCF uses the contention window to differentiate between high priority and low priority services. However, it does not consider the priority of users. In this paper, in order to deal with this problem, we propose and implement a Fuzzy-based Admission Control System (FACS). We carried out some simulations to evaluate the performance of the proposed system. the simulation results show that our proposed system has good a performance.

关键词： Admission control Fuzzy logic Pragmatics IEEE 802.11e Standard Process control

来源：评论

学校读者我要写书评

暂无评论

Resource-misuse attack detection in delay-tolerant networks

Resource-misuse attack detection in delay-tolerant networks

引用

IEEE international conference on Performance, Computing and Communications (IPCCC)

作者： Vivek Natarajan Yi Yang Sencun Zhu Department of Computer Science and Engineering Pennsylvania State University USA Department of Electrical Engineering and Computer Science Catholic University of America USA

In a Delay-Tolerant Network (DTN), data originating from a source node may be delivered to the destination node, despite the non-existence of end-to-end connectivity between them at all times. In an adversarial environment such as a battlefield, DTN nodes could be compromised to launch Denial-of-Service (DoS) attacks by generating excess data, to cause an overflow of the limited resources of the legitimate nodes, hence decreasing the network throughput. A node may also display selfish behavior by generating more data than allowed, to increase its throughput and to decrease the latency of its data packets. In this paper, we term such a DoS attack and selfish data generation behavior, a resource-misuse attack. We study two types of resource-misuse attacks, breadth attacks and depth attacks. Accordingly, we propose different schemes to detect these attacks. Trace-driven simulations using both a synthetic and a real-world trace show that our detection schemes have low average detection latency and additionally, probabilistic detection of the depth attack has low false positive and false negative rates.

关键词： logic gates Routing Probabilistic logic Upper bound Redundancy Digital signatures

来源：评论

学校读者我要写书评

暂无评论

Answering conceptual queries with Ferret

Answering conceptual queries with Ferret

引用

international conference on Software Engineering (ICSE)

作者： Brian de Alwis Gail Murphy Department of Computer Science University of British Columbia Vancouver BC Canada

Programmers seek to answer questions as they investigate the functioning of a software system, such as "which execution path is being taken in this case?" Programmers attempt to answer these questions, which we call conceptual queries, using a variety of tools. Each type of tool typically highlights one kind of information about the system, such as static structural information or control-flow information. Unfortunately for the programmer, the tools seldom directly answer the programmer's conceptual queries. Instead, the programmer must piece together results from different tools to determine an answer to the initial query. At best, this process is time consuming and at worst, this process can lead to data overload and disorientation. In this paper, we present a model that supports the integration of different sources of information about a program. this model enables the results of concrete queries in separate tools to be brought together to directly answer many of a programmer's conceptual queries. In addition to presenting this model, we present a tool that implements the model, demonstrate the range of conceptual queries supported by this tool, and present the results of use of the conceptual queries in a small field study.

关键词： programming profession Concrete Software systems Information resources Computer science Software engineering Permission Control systems programming environments Software algorithms

来源：评论

学校读者我要写书评

暂无评论

Python to Kubernetes: A programming and Resource Management Framework for Compute-and Data-intensive Applications

Python to Kubernetes: A Programming and Resource Management ...

引用

international conference on Parallel and Distributed Systems (ICPADS)

作者： Andrey Nagiyev Enes Bajrovic Siegfried Benkner Faculty of Computer Science University of Vienna Vienna Austria

ISBN: (数字)9798331515966

ISBN: (纸本)9798331515973

In this paper, we introduce the Python to Kubernetes (PTK) framework, a high-level Python-based programming framework for deploying Python applications on top of Kubernetes clusters. PTK supports a task-based programming approach with extensions for specifying resource requirements and performance constraints. A major goal of PTK is to provide users with high-level control for deploying compute- and data-intensive applications on different types and configurations of heterogeneous clusters, while ensuring performance and/or cost constraints.

关键词： Costs Annotations Prototypes programming Containers Resource management Python

来源：评论

学校读者我要写书评

暂无评论

Data-Driven Workflows for Microservices: Genericity in Jolie

Data-Driven Workflows for Microservices: Genericity in Jolie

引用

international conference on Advanced Information Networking and Applications (AINA)

作者： Larisa Safina Manuel Mazzara Fabrizio Montesi Victor Rivera Innopolis University Russia University of Southern Denmark

ISBN: (纸本)9781509018598

Microservices is an architectural style inspired by service-oriented computing that has recently started gainingpopularity. Jolie is a programming language based on the microservices paradigm: the main building block of Jolie systems are services, in contrast to, e.g., functions or objects. the primitives offered by the Jolie language elicit many of the recurring patterns found in microservices, like load balancers and structured processes. However, Jolie still lacks some useful constructs for dealing with message types and data manipulation that are present in service-oriented computing. In this paper, we focus on the possibility of expressing choices at the level of data types, a feature well represented in standards for Web Services, e.g., WSDL. We extend Jolie to support such type choices, and enable Jolie processes to act on data generically (without knowing which type it has in the choice). We show the impact of our implementation on some of the typical scenarios found in microservice systems. this shows how computation can move from a process-driven to a data-driven approach, and leads to the preliminary identification of recurring communication patterns that can be shaped as design patterns.

关键词： programming Computer languages Computer architecture Servers Protocols Syntactics Calculus

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：