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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

500 篇 资讯
286 篇 期刊文献
235 篇 会议
67 册 图书
29 篇 学位论文

馆藏范围

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

日期分布

学科分类号

460 篇 工学
- 359 篇 计算机科学与技术...
- 191 篇 软件工程
- 118 篇 电气工程
- 52 篇 信息与通信工程
- 43 篇 控制科学与工程
- 13 篇 电子科学与技术（可...
- 11 篇 机械工程
- 8 篇 石油与天然气工程
- 6 篇 材料科学与工程（可...
- 5 篇 仪器科学与技术
- 4 篇 建筑学
- 4 篇 化学工程与技术
- 4 篇 网络空间安全
- 3 篇 力学（可授工学、理...
- 3 篇 动力工程及工程热...
- 3 篇 土木工程
- 3 篇 核科学与技术
- 3 篇 环境科学与工程（可...
59 篇 理学
- 22 篇 数学
- 17 篇 生物学
- 9 篇 物理学
- 5 篇 科学技术史(分学科...
- 4 篇 地球物理学
- 4 篇 系统科学
43 篇 教育学
- 40 篇 教育学
- 4 篇 心理学(可授教育学...
30 篇 管理学
- 24 篇 管理科学与工程(可...
- 5 篇 图书情报与档案管...
7 篇 农学
7 篇 医学
- 4 篇 基础医学(可授医学...
4 篇 法学
- 4 篇 社会学
3 篇 哲学
3 篇 经济学
3 篇 文学
2 篇 历史学

主题

1,117 篇 programming lang...
182 篇 python
180 篇 statistical calc...
168 篇 data analysis
78 篇 homo sapiens
72 篇 cell and tissue ...
68 篇 microarray
66 篇 machine learning
60 篇 pcr
58 篇 rna-seq
58 篇 genomics
55 篇 matlab
49 篇 image analysis
47 篇 mass spectrometr...
46 篇 programming
43 篇 principal compon...
40 篇 compiler
40 篇 proteomics
39 篇 genome visualiza...
39 篇 mus musculus

机构

7 篇 charles universi...
6 篇 united states na...
3 篇 univ kebangsaan ...
2 篇 army engn univ p...
2 篇 hebei univ engn ...
2 篇 natl taipei univ...
2 篇 gannon univ dept...
2 篇 nanjing univ sta...
2 篇 college of compu...
2 篇 swiss fed inst t...
2 篇 texas a&m univer...
2 篇 data processing ...
2 篇 verivue
2 篇 univ new mexico ...
2 篇 aalto university
2 篇 politehn univ ti...
2 篇 institut für inf...
2 篇 univ glasgow gla...
2 篇 univ utah salt l...
2 篇 guru nanak dev u...

作者

5 篇 rune matthiesen
4 篇 sharanya manohar...
4 篇 oviya ramalakshm...
4 篇 phillips andrew
3 篇 tshukudu ethel
3 篇 cedric gondro
3 篇 vijaykumar yoges...
3 篇 batmaz firat
3 篇 ana sofia carval...
3 篇 francesca grison...
3 篇 wu di
3 篇 junghyun namkung
3 篇 j. b. brown
3 篇 xu baowen
3 篇 chen lin
3 篇 roeland m. merks
3 篇 laercio r. porto...
3 篇 seung hwan lee
3 篇 christoph bock
3 篇 javier martínez-...

语言

1,076 篇 英文
34 篇 其他
5 篇 中文
1 篇 日文
1 篇 葡萄牙文

检索条件"主题词=Programming Language"

共 1117 条记录，以下是651-660 订阅

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

详细简洁

排序：

Computer-Aided Design Software for Buffer Management in Routers 1st

引用

1st Conference on Creativity in Intelligent Technologies and Data Science (CIT and DS)

作者： Barabanova, Elizaveta Beresnev, Ilya Kvyatkovskaya, Irina Maltseva, Natalia Astrakhan State Tech Univ Astrakhan Russia

ISBN: (纸本)9783319237664;9783319237657

Uneven growth rates of data links will inevitably leads to a "narrow" places in the info-communications network and thus to congestion, especially when connecting network access layer to the transport network. Traditional protocols queue management and congestion can't cope with the traffic management of high density and non-linear load, which can lead to congestion that causes a decrease in the effective data rate and degrades quality parameters, such as the percentage of packet loss, delay, and delay variation. Most often in data networks is using a passive mechanism of droping the packets when the queue is become full. When sending TCP traffic, this mechanism leads to the appearance the phenomenon of global synchronization. In order to early prevention of queue overflow, have been developed mechanisms for early detection congestion. This article describes the principles of building a simulation model for active queue management algorithms. The algorithms and program listings performing discrete-event simulation. These algorithms are used to perform simulation using high-level languages. Increasing complexity of modern telecommunication technologies creates a problem in the application of analytical techniques to evaluate the performance of designed systems and networks, and causes extensive use of simulation. In this paper in order to control congestion the nodes packet-switched networks using active queue management algorithms. The relevant service system, which simulates the work of a network node, each incoming packet can be dropped with a certain probability, even if the buffer is not yet fully filled. Probability of dropping depends on the length of the queue at the time of income the package. The paper presents the principles of simulation of discrete-event simulation algorithms of active queue management. The algorithms which perform simulation algorithms for highlevel languages are considered.

关键词： discrete event simulation modeling overflow control queue management active queue management red agred buffer buffer size traffic policy programming language java router memory memory policy packet scheduling

来源：评论

学校读者我要写书评

暂无评论

Semantics-based Memory Leak Detection for C Programs 12

Semantics-based Memory Leak Detection for C Programs

引用

12th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)

作者： Liu, Zhiqiang Xu, Bo Liang, Dong Liu, Chang Jiang, Zejun Du, Chenglie Northwestern Polytechnicial Univ Sch Software & Microelect Xian Peoples R China Northwest Polytechnicial Univ Sch Comp Xian Peoples R China

ISBN: (纸本)9781467376822

Memory leak detection for C programs is a significant while difficult research field. Based on executable formal semantics of C programming language, a new method is proposed in this paper for memory leak detection. By extending and modifying state Configuration and rules of memory manipulation and pointer manipulation in semantics, this method can employ the powerful expression and executive capacity of rewriting logic to describe both behaviors of memory operation such as malloc, free, pointer and unit of scope, and memory leak pattern of C programs in executable semantics. Because the modified state Configuration and rules are executable, the memory leak flaws can be matched and detected automatically by execution. Three typical memory leak flaws, namely unreleased allocated-memory, pointer reassigning and inconsistency between allocated space and released space, are tested with some code segments containing them to verify the method. The results and testing time show that the semantics-based method can detect memory leak flaws in C programs effectively.

关键词： programming language Semantic Formalization Memory Leak

来源：评论

学校读者我要写书评

暂无评论

Towards Out-of-the-Box programming of Wireless Sensor-Actuator Networks 18

Towards Out-of-the-Box Programming of Wireless Sensor-Actuat...

引用

IEEE 18th International Conference on Computational Science and Engineering (CSE)

作者： Ferro, Gil Silva, Roberto Lopes, Luis Univ Porto CRACS INESC TEC Rua Campo Alegre 823 P-4100 Oporto Portugal

ISBN: (纸本)9781467382977

We address the problem of providing users, namely non specialists, with out-of-the-box, programmable, Wireless Sensor-Actuator Networks (WSN). The idea is that users get a package containing a gateway and an undetermined number of nodes, pre-configured to work as a self-organized wireless mesh. Each node comes with two pre-installed components: a small operating system and a virtual machine. The user can then use a simple, domain-specific, programming language to implement periodic tasks that are compiled into byte-code, and can be sent to the nodes for execution. At the nodes, the operating system manages a task table and schedules non-preemptive tasks for execution using the virtual machine. No subtle hardware or software configuration is required from the user as these details are abstracted away by the virtual machine. We developed a full specification for a data-layer that follows the aforementioned guidelines and implemented a complete prototype, integrated in our own Publish/Subscribe middleware called SONAR. In this paper we report the first results of using the prototype as compared to using the low level programming tools provided with the hardware. We measure a small increase in both resource consumption and processing overhead suggesting that this data-layer can be used effectively in WSN, even in cases where nodes have very limited hardware resources.

关键词： programming language Virtual Machine Wireless Sensor Network

来源：评论

学校读者我要写书评

暂无评论

Go Model and Object Oriented programming 1

引用

19th Brazilian Symposium on Programing languages (SBLP)

作者： Liu, Haiyang Qiu, Zongyan Peking Univ Sch Math LMAM Beijing 100871 Peoples R China Peking Univ Sch Math Dept Informat Beijing 100871 Peoples R China

ISBN: (数字)9783319240121

ISBN: (纸本)9783319240121;9783319240114

Go is a contemporary language aiming to support OO programming where the core OO feature, inheritance, is intentionally excluded. Go uses the concepts of embedding and interface to provide its object model. To understand the design of Go and its consequences, we develop a simple Go-like model language, mini-Go, which abstracts Go's interface-based OO features. The formal defined type system and semantics are given. In addition, we propose an even simpler language mu Go where the feature of pointers is further removed. We demonstrate that mu Go is as expressive in OO as the original language with pointers, which provides a uniform model for Go-like OO programming. We investigate the OO model of the Go-like languages using mu Go in detail, point out that the absence of open recursion brings difficulties in OO design, and then propose a novel design pattern to mimic the open recursion feature to overcome the difficulties.

关键词： programming language Object Oriented Go

来源：评论

学校读者我要写书评

暂无评论

Static Memory Management for Efficient Mobile Sensing Applications 13

Static Memory Management for Efficient Mobile Sensing Applic...

引用

Proceedings of the International Conference on Embedded Software (EMSOFT)

作者： Lai, Farley Schmidt, Daniel Chipara, Octav Univ Iowa Dept Comp Sci Iowa City IA 52242 USA

ISBN: (纸本)9781467380799

Memory management is a crucial aspect of mobile sensing applications that must process high-rate data streams in an energy-efficient manner. Our work is done in the context of synchronous data-flow models in which applications are implemented as a graph of components that exchange data at fixed and known rates over FIFO channels. In this paper, we show that it is feasible to leverage the restricted semantics of synchronous data-flow models to optimize memory management. Our memory optimization approach includes two components: (1) We use abstract interpretation to analyze the complete memory behavior of a mobile sensing application and identify data sharing opportunities across components according to the live ranges of exchanged samples. Experiments indicate that the static analysis is precise for a majority of considered stream applications whose control logic does not depend on input data. (2) We propose novel heuristics for memory allocation that leverage the graph structure of applications to optimize data exchanges between application components to achieve not only significantly lower memory footprints but also increased stream processing throughput. We incorporate code generation techniques that transform a stream program into efficient C code. The memory optimizations are implemented as a new compiler for the StreamIt programming language. Experiments show that our memory optimizations reduce memory footprint by as much as 96% while matching or improving the performance of the StreamIt compiler with cache optimizations enabled. These results suggest that highly efficient stream processing engines may be built using synchronous data-flow languages.

关键词： data flow analysis graph theory program compilers programming languages smart phones storage management FIFO channels StreamIt compiler abstract interpretation application components cache optimizations code generation techniques data sharing opportunities graph structure high-rate data streams memory allocation memory optimization approach mobile sensing applications programming language smartphones static memory management stream processing engines stream processing throughput synchronous data-flow models Algorithm design and analysis Junctions Layout Memory management Optimization Radiation detectors Schedules Store management Smartphone Computer programming languages Memory allocation compilers analysis programme Algorithm design and analysis data flow analysis Radiation detectors layouts Junction Device Component Graph theory

来源：评论

学校读者我要写书评

暂无评论

ObliVM: A programming Framework for Secure Computation 36

ObliVM: A Programming Framework for Secure Computation

引用

IEEE Symposium on Security and Privacy SP

作者： Liu, Chang Wang, Xiao Shaun Nayak, Kartik Huang, Yan Shi, Elaine Univ Maryland College Pk MD 20742 USA Indiana Univ Bloomington IN 47405 USA

ISBN: (纸本)9781467369497

We design and develop ObliVM, a programming framework for secure computation. ObliVM offers a domain-specific language designed for compilation of programs into efficient oblivious representations suitable for secure computation. ObliVM offers a powerful, expressive programming language and user-friendly oblivious programming abstractions. We develop various showcase applications such as data mining, streaming algorithms, graph algorithms, genomic data analysis, and data structures, and demonstrate the scalability of ObliVM to bigger data sizes. We also show how ObliVM significantly reduces development effort while retaining competitive performance for a wide range of applications in comparison with hand-crafted solutions. We are in the process of open-sourcing ObliVM and our rich libraries to the community (***), offering a reusable framework to implement and distribute new cryptographic algorithms.

关键词： Compiler Oblivious Algorithms Oblivious RAM programming language Secure Computation Type System

来源：评论

学校读者我要写书评

暂无评论

A Comparative Study on the Energy Consumption of PHP Single and Double Quotes

A Comparative Study on the Energy Consumption of PHP Single ...

引用

IEEE International Conference on Data Science and Data Intensive Systems

作者： Olaoluwa, Peter Olawale Kor, Ah-Lian Pattinson, Colin Leeds Beckett Univ Sch Comp Creat Technol & Engn Leeds W Yorkshire England

ISBN: (纸本)9781509002146

This paper is an enhanced version of the paper presented at the SEEDS Conference (Olaoluwa, et. al, 2015). The increasing rate of carbon dioxide and other greenhouse gas emission resulting from the use of IT and other human activities to the atmosphere has become a major source of concern. It is imperative for the IT sector to ensure that its products are effective and energy efficient accompanied by mitigated negative impact on the environment. Reducing energy consumption of IT products is a key to contributing towards a greener environment. Another alternative is to produce energy efficient codes for software applications. In programming or scripting languages, an end result can be achieved in more than one way. For example, in PHP, a print command can be executed using a single quote and can also be achieved using a double quote. They have similar functions with similar quality of the intended outcomes. The aim of this research is conduct an investigation on the energy consumption of selected PHP scripts that perform similar functions: print single and double quote;echo single and double quote, etc. The Joulemeter energy measuring tool is used to measure the amount of energy consumed when run the various PHP scripts.

关键词： energy consumption efficiency software application rules green code programming language joulemeter

来源：评论

学校读者我要写书评

暂无评论

The technological prospect of e-gov of Republic of Kazakhstan 54

The technological prospect of e-gov of Republic of Kazakhsta...

引用

2015 54th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE)

作者： Satybaldiyeva, Ryskhan Zh Moldagulova, Aiman N. Nuralin, Yeldar Duisenbayev, Nurbol Saktaganova, Aiym Mailybek, Maira Yelibay, Aidana Int Informat Technol Univ Alma Ata Kazakhstan Natl Informat Technol Joint Stock Co Astana Kazakhstan

ISBN: (纸本)9784907764487

The paper aims to develop a methodology - the selection criteria and evaluation of modern technology - to create the technology radar for e-government of the Republic of Kazakhstan. Technology radar is a good way to evaluate the technologies and approaches used in the development of information systems. The paper presents an analysis of existing technology radars. The monitoring of thematic media, industry directories, almanacs and scientific digests, tabloids is provided. The monitoring of database of patents, industry portals, forums, blogs, people and technology is considered. On the basis of the monitoring the methodology for constructing radar is developed. Surveys of experts in the field of information technology were conducted in order to test the developed methodology.

关键词： Technology Radar Evaluation Criteria programming language Tools Platform Forecast Modeling Electronic Government

来源：评论

学校读者我要写书评

暂无评论

Semi-Human Microcontroller

Semi-Human Microcontroller

引用

IEEE Southeast Conference (IEEE SoutheastCon)

作者： Abdallah, M. SUNY POLY Coll Engn New York NY USA

ISBN: (纸本)9781467373005

In this paper, a multi-programming language E-teacher system is proposed, implemented and verified. The E-teacher system can be used in schools for educational purposes and/or in the market. This system acts as a human/teacher. The proposed system analyzes a student's program (program under investigation) line by line and report back to the student what each line does. After the system determines what the chosen line does, it will report what the line simply means. Two advanced capabilities are added to the system. First, the E-teacher can interpret a block of instructions (i.e. it reports not only line by line function but also the function of certain code blocks). Second, the E-teacher will be able to determine the goal of the whole program (The second capability is still in the design phase). Simply, each student can buy his/her own board loaded with the E-teacher system with the capability to input his/her program under investigation. The board will report back via an LCD connected to the board. A student should input his/her program by simply write the program under investigation and save it in SD card attached to the board and choose the programming language via a user-friendly interface.

关键词： Microprocessor programming language Artificial Intelligent

来源：评论

学校读者我要写书评

暂无评论

Efficient Parallelization of Path Planning Workload on Single-chip Shared-memory Multicores

Efficient Parallelization of Path Planning Workload on Singl...

引用

IEEE High Performance Extreme Computing Conference (HPEC)

作者： Ahmad, Masab Lakshminarasimhan, Kartik Khan, Omer Univ Connecticut Storrs CT 06269 USA

ISBN: (纸本)9781467392860

Path planning problems greatly arise in many applications where the objective is to find the shortest path from a given source to destination. In this paper, we explore the comparison of programming languages in the context of parallel workload analysis. We characterize parallel versions of path planning algorithms, such as the Dijkstra's Algorithm, across C/C++ and Python languages. programming language comparisons are done to analyze fine grain scalability and efficiency using a single-socket shared memory multicore processor. Architectural studies, such as understanding cache effects, are also undertaken to analyze bottlenecks for each parallelization strategy. Our results show that a right parallelization strategy for path planning yields scalability on a commercial multicore processor. However, several shortcomings exist in the parallel Python language that must be accounted for by HPC researchers.

关键词： graph theory parallel algorithms programming languages shared memory systems HPC graph workload parallelization high performance computing parallel Python language parallel algorithm path planning programming language single-chip shared-memory multicore Convergence Instruction sets Parallel processing Path planning Roads Scalability Signal processing algorithms

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共112页 << < 62 63 64 65 66 67 68 69 70 71 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：