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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

452 篇 会议
232 册 图书
205 篇 期刊文献
22 篇 学位论文
3 件 标准

馆藏范围

914 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

621 篇 工学
- 404 篇 计算机科学与技术...
- 280 篇 软件工程
- 181 篇 电气工程
- 40 篇 生物工程
- 39 篇 信息与通信工程
- 36 篇 机械工程
- 32 篇 控制科学与工程
- 14 篇 电子科学与技术（可...
- 8 篇 仪器科学与技术
- 8 篇 材料科学与工程（可...
- 6 篇 网络空间安全
- 5 篇 交通运输工程
- 3 篇 航空宇航科学与技...
74 篇 理学
- 42 篇 生物学
- 9 篇 系统科学
- 7 篇 地球物理学
- 6 篇 数学
- 5 篇 物理学
- 4 篇 化学
- 4 篇 科学技术史(分学科...
41 篇 农学
- 40 篇 作物学
38 篇 管理学
- 35 篇 管理科学与工程(可...
- 3 篇 工商管理
18 篇 教育学
- 16 篇 教育学
7 篇 法学
- 4 篇 社会学
- 2 篇 政治学
7 篇 医学
- 4 篇 临床医学
4 篇 文学
- 3 篇 新闻传播学
4 篇 历史学
- 3 篇 考古学
2 篇 经济学
- 2 篇 应用经济学
2 篇 军事学
1 篇 哲学
1 篇 艺术学

主题

914 篇 source code
146 篇 program
135 篇 software
89 篇 disk
83 篇 data
70 篇 code
62 篇 hard disk
61 篇 computer softwar...
58 篇 file
49 篇 ibm
45 篇 turbo pascal
44 篇 power supply
42 篇 codes
42 篇 operating system
39 篇 programming
35 篇 turbo
34 篇 source
34 篇 disk drive
34 篇 magazine
33 篇 deep learning

机构

8 篇 inria
8 篇 brno university ...
5 篇 univ trento tren...
4 篇 hebei univ sch c...
4 篇 charles universi...
4 篇 inria rmod team ...
4 篇 univ paris
3 篇 osaka univ grad ...
3 篇 innopolis univ i...
3 篇 budapest univ te...
3 篇 duke nus med sch...
3 篇 delft univ techn...
3 篇 free univ tbilis...
3 篇 heidelberg univ ...
3 篇 univ zurich dept...
2 篇 univ waterloo wa...
2 篇 mit lincoln lab ...
2 篇 yangzhou univ sc...
2 篇 univ texas san a...
2 篇 hong kong polyte...

作者

11 篇 zacchiroli stefa...
7 篇 sharif bonita
6 篇 li zhen
6 篇 inoue katsuro
5 篇 peterson cole s.
5 篇 gupta atul
5 篇 ducasse stephane
5 篇 haiduc sonia
5 篇 rai sawan
4 篇 yu willie
4 篇 huebner paul
4 篇 lanza michele
4 篇 paech barbara
4 篇 belwal ramesh ch...
4 篇 ali nasir
4 篇 gueheneuc yann-g...
4 篇 marchetto alessa...
4 篇 anquetil nicolas
4 篇 pietri antoine
4 篇 kakushadze zura

语言

895 篇 英文
11 篇 中文
6 篇 其他
1 篇 德文
1 篇 塞尔维亚文

检索条件"主题词=source code"

共 914 条记录，以下是91-100 订阅

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

详细简洁

排序：

Automatic source code Analysis of Branch Mispredictions

Automatic Source Code Analysis of Branch Mispredictions

引用

IEEE International Symposium on Workload Characterization (IISWC)

作者： Ozturk, Celal Karsli, Ibrahim Burak Sendag, Resit Univ Rhode Isl Dept Elect Comp & Biomed Engn Kingston RI 02881 USA

ISBN: (纸本)9781479964536

After over two decades of extensive research on branch prediction, branch mispredictions are still an important performance/power bottleneck for today's aggressive processors. In our prior work, to further understand the causes for mispredictions, we presented a source-code based classification of branch mispredictions extending the prior work on predictor-specific classification. Since source-code analysis by hand is very time-consuming and not possible in some cases, in this paper, we develop methods in order to automatically identify the data structures for each branch instruction, which allows detailed source-code analysis at run-time. We show that our run-time method can successfully provide source-code analysis and classify more than 99% of the branch mispredictions.

关键词： Arrays Benchmark testing Correlation Radiation detectors Registers Taxonomy Benchmark testing Radiation detectors Registers branches Particle detectors source code Runtime arrays AUTOMATIC

来源：评论

学校读者我要写书评

暂无评论

A Token Oriented Measurement Method of source code Similarity 3

A Token Oriented Measurement Method of Source Code Similarit...

引用

3rd Asian Pacific Conference on Mechanical Components and Control Engineering (ICMCCE)

作者： Zhu, Hongmei Zhang, Liang Sun, Wei Sun, Yongxiang Shandong Agr Univ Dept Comp Tai An 271000 Shandong Peoples R China

ISBN: (纸本)9783038353126

In order to help teachers to identify plagiarism in student assignment submissions among students' source code quickly and accurately, this paper discusses a measurement method of source code similarity. In the proposed algorithm, firstly, both of token oriented edit distance (TD) and token oriented length of longest common subsequence (TLCSLen) is calculated;secondly, considering the TD and TLCSLen, a similarity calculation formula is given to measure similarity of source code;Thirdly, a dynamic and variable similarity threshold is set to determine whether there is plagiarism between source codes, which ensure a relatively reasonable judgment of plagiarism. This method has been applied to the university's programming course work online submission system and online examination system. Practical application results show that this method can identify similar source code timely, effectively and accurately.

关键词： source code similarity token oriented edit distance token oriented longest common subsequence

来源：评论

学校读者我要写书评

暂无评论

A Language-Agnostic Model for Semantic source code Labeling 1

A Language-Agnostic Model for Semantic Source Code Labeling

引用

1st International Workshop on Machine Learning and Software Engineering in Symbiosis (MASES)

作者： Gelman, Ben Hoyle, Bryan Moore, Jessica Saxe, Joshua Slater, David Two Six Labs LLC Arlington VA 22203 USA Sophos Fairfax VA USA Two Six Labs LLC Tacoma WA USA

ISBN: (纸本)9781450359726

code search and comprehension have become more difficult in recent years due to the rapid expansion of available source code. Current tools lack a way to label arbitrary code at scale while maintaining up-to-date representations of new programming languages, libraries, and functionalities. Comprehensive labeling of source code enables users to search for documents of interest and obtain a high-level understanding of their contents. We use Stack Overflow code snippets and their tags to train a language-agnostic, deep convolutional neural network to automatically predict semantic labels for source code documents. On Stack Overflow code snippets, we demonstrate a mean area under ROC of 0.957 over a long-tailed list of 4,508 tags. We also manually validate the model outputs on a diverse set of unlabeled source code documents retrieved from Github, and obtain a top-1 accuracy of 86.6%. This strongly indicates that the model successfully transfers its knowledge from Stack Overflow snippets to arbitrary source code documents.

关键词： deep learning source code natural language processing multilabel classification semantic labeling crowdsourcing

来源：评论

学校读者我要写书评

暂无评论

Variable-length Lossy source code Using a Constrained-Random-Number Generator

Variable-length Lossy Source Code Using a Constrained-Random...

引用

IEEE Information Theory Workshop (ITW)

作者： Muramatsu, Jun NTT Corp NTT Commun Sci Labs Tokyo Japan

ISBN: (纸本)9781479959990

A variable-length lossy source code is introduced with a rate-distortion pair close to the rate-distortion function. The proof of the theorem is based on the balanced-coloring property of an ensemble of functions. Since an ensemble of systematic sparse matrices has this property, we can construct a practical code for a memoryless source by using the sum-product algorithm.

关键词： Encoding Generators Probability distribution Rate-distortion Sparse matrices Sum product algorithm Systematics Rate distortion Sparse matrix dynamos Probability distribution variable length source code Sum-product algorithm number generator

来源：评论

学校读者我要写书评

暂无评论

CognitIDE: An IDE Plugin for Mapping Physiological Measurements to source code 32

CognitIDE: An IDE Plugin for Mapping Physiological Measureme...

引用

32nd ACM International Conference on the Foundations of Software Engineering (FSE)

作者： Stolp, Fabian Stellmacher, Malte Arnrich, Bert Hasso Plattner Inst Potsdam Germany Univ Potsdam Potsdam Germany

ISBN: (纸本)9798400706585

We present CognitIDE, a tool for collecting physiological measurements, mapping them to source code, and visualizing them directly within IntelliJ-based Integrated Development Environments (IDE)s. CognitIDE facilitates the setup and conduction of empirical studies evaluating the relationships between software artifacts and physiological parameters. Corresponding measurements enable researchers to evaluate, for example, the cognitive load software developers are experiencing. Our tool lets study participants use IDEs in a natural way while eye gaze, further body sensor data, and interactions with the IDE are collected. Furthermore, CognitIDE enables highlighting code positions according to the physiological values collected while corresponding positions were looked at. This facilitates the identification of poorly maintainable code and provides a direct way for study participants to reflect on whether the measurements mirror their perception. Moreover, the plugin has additional features for facilitating studies, such as interrupting participants and letting them answer predefined questions. Our tool supports recording measurements with the wide variety of devices supported by the Lab Streaming Layer. Video: https://***/9yLV5AdTiJw

关键词： physiological measurements source code integrated development environment multimodality cognition

来源：评论

学校读者我要写书评

暂无评论

codeScoping: A source code Based Tool to Software Product Lines Scoping

CodeScoping: A Source Code Based Tool to Software Product Li...

引用

38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) / 15th EUROMICRO Digital Systems Design (DSD)

作者： Lins de Medeiros, Thiago Fernandes Lemos Meira, Silvio Romero Almeida, Eduardo Santana Univ Fed Pernambuco RiSE UFPE Recife PE Brazil Univ Fed Bahia Reuse Software Eng Salvador BA Brazil

ISBN: (纸本)9780769547909

Software Product Lines Engineering focuses on identifying and managing the commonalities and variabilities of a set of software products where core assets can be developed and (re)used to derive individual product variants with reduced costs. In this context, software product line scoping is the process responsible for identifying and delimiting products, features, sub-domains and existing assets of the product line where there are economical benefits to invest in reuse. Typically, product line engineers elicit scoping information from the available documentation of existing products and based on knowledge from domain experts. This is an effort-intensive task because much time is invested in workshops and interviews with the domain and system experts. Thus, in order to reduce costs and time in the scoping process, this paper proposes an approach to support the scoping process based on the existing products source code.

关键词： Software Product Lines Scoping Tool codeScoping source code Scope Analysis

来源：评论

学校读者我要写书评

暂无评论

An Approach for Knowledge Extraction from source code (KNESC) of Typed Programming Languages 6th

An Approach for Knowledge Extraction from Source Code (KNESC...

引用

World Conference on Information Systems and Technologies (WorldCIST)

作者： Jiomekong, Azanzi Camara, Gaoussou Univ Yaounde I Fac Sci UMMISCO Yaounde Cameroon Univ Alioune Diop Bambey EIR IMTICE Bambey Senegal

ISBN: (纸本)9783319777023;9783319777030

Knowledge extraction is the discovery of knowledge from structured and/or unstructured sources. This knowledge can be used to build or enrich a domain ontology. source code is rarely used. But implementation platforms evolve faster than business logic and these evolutions are usually integrated directly into source code without updating the conceptual model. In this paper, we present a generic approach for knowledge extraction from source code of typed programming languages using Hidden Markov Models. This approach consist of the definition of the HMMso that it can be used to extract any type of knowledge from the source code. The method is experimented on EPICAM and GeoServer developed in Java and on MapServer developed in C/C++. Structural evaluation shows that source code contains a structure that permit to build a domain ontology and functional evaluation shows that source code contains more knowledge than those contained in both databases and meta-models.

关键词： Knowledge extraction Ontology learning Hidden Markov Models source code JAVA C C plus

来源：评论

学校读者我要写书评

暂无评论

Locating Energy Hotspots in source code 17

Locating Energy Hotspots in Source Code

引用

IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)

作者： Pereira, Rui INESC TEC HASLab Porto Portugal Univ Minho Braga Portugal

We as a society have built our exceptional development pace on top of a widespread use of energy resources. Unfortunately, over the past number of years we have begun to understand this problem of growing energy deman... 详细信息

ISBN: (纸本)9781538615898

关键词： Software Energy consumption Context Energy measurement Tools Conferences Software engineering Energy measurement Software engineering energy consumption computer software source code Fault location Half Life Energy efficiency Energy sources Developers

来源：评论

学校读者我要写书评

暂无评论

SSTCSC: A Semantic Structure of Test Cases and source code

SSTCSC: A Semantic Structure of Test Cases and Source Code

引用

11th International Conference on Frontiers of Information Technology (FIT)

作者： Bashir, Muhammad Bilal Malik, Tazzaina Afzal, Tanvir Mohammad Ali Jinnah Univ Ctr Software Dependabil Islamabad Pakistan Mohammad Ali Jinnah Univ Web Knowledge Discovery Dept Islamabad Pakistan

ISBN: (纸本)9781479922932

If the World Wide Web is taken as a mountain of information containing data regarding every aspect of life, then Semantic Web is its extended version, that structures the information and makes it machine process able. Semantic Web has many advantages which have proved it as an innovative approach to structure the data for multipurpose domains. Its characteristics of annotation enable the extraction of precise information which is required by the user. Software testing is the process which evaluates a systems behavior to ensure whether it meets user's requirement or not. In software engineering, specifically in the software testing domain, semantic structuring the relevant artifacts is new. Researchers provided XML based representations for many languages and approaches but their context is different when we try to apply it on the software testing domain. In this paper, we focus on the shortcomings of the software testing domain when its concerned activities are required to represent semantically. We present a novel approach, Semantic Structure of Test Cases and source code (SSTCSC) which relates the RDF based test cases satisfying white box testing coverage criterion statement coverage, with the RDF based target java class(s). After the execution of semantically presented information (test cases against program) is then passes through two phases further i.e. code Categorization and code Visualization which shows the final output of the classified code segments visually. Whole process of the presented approach is supported by the tool which performs the related steps with ease automatically.

关键词： source code Test Cases Semantic Web Resource Discription Frameowrk (RDF)

来源：评论

学校读者我要写书评

暂无评论

Developing Translation Rules of Java-JML source code to Event-B

Developing Translation Rules of Java-JML Source Code to Even...

引用

International Conference on Data and Software Engineering ICODSE

作者： Hadiputra, Faisal Ibrahim Asnar, Yudistira D. W. Hendradjaya, Bayu Inst Teknol Bandung Sch Elect Engn & Informat Bandung Indonesia

ISBN: (纸本)9781479979967

This paper proposes translation rules of Java-JML source code to Event-B. Java Modeling Language (JML), a specification language for Java, provides an ease to make a code-level specification regarding to its similarity with Java syntax. However, the verification tools which support JML still have a lot of limitations. On the other hand, in formal method, Event-B has been frequently used to specify software and hardware systems. Also, its verification tools are widely available and supplements one another. These facts give the opportunity to combine the ease provided by JML and the maturity of Event-B in formal method. In this case, translating Java-JML source code to Event-B could be the way. Thus, systematic translation rules are needed. Through this work, the rules are successfully formulated. Besides, the soundness of the rules are also guaranteed according to its correct-by-construction approach. Then, the rules are also evaluated yielding that unique properties which are required by the Event-B model-assertion, convergence, and enabledness-are properly checked. By using these rules, limitation of verification tools for JML can be supplemented.

关键词： Java JML Event-B Formal Method RODIN Verification source code Design by Contract

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共92页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：