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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

934 篇 会议
23 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

609 篇 工学
- 550 篇 软件工程
- 414 篇 计算机科学与技术...
- 133 篇 电气工程
- 15 篇 控制科学与工程
- 14 篇 生物工程
- 12 篇 信息与通信工程
- 4 篇 材料科学与工程（可...
- 3 篇 交通运输工程
- 3 篇 安全科学与工程
- 2 篇 机械工程
- 2 篇 化学工程与技术
- 2 篇 生物医学工程（可授...
- 1 篇 建筑学
- 1 篇 环境科学与工程（可...
38 篇 理学
- 17 篇 数学
- 13 篇 生物学
- 6 篇 化学
- 5 篇 物理学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
29 篇 管理学
- 19 篇 图书情报与档案管...
- 16 篇 管理科学与工程(可...
- 5 篇 工商管理
3 篇 经济学
- 3 篇 应用经济学
3 篇 教育学
- 3 篇 教育学
2 篇 医学
- 2 篇 临床医学
1 篇 法学
- 1 篇 社会学
1 篇 农学
- 1 篇 作物学

主题

111 篇 software
107 篇 java
102 篇 static analysis
78 篇 source coding
74 篇 open source soft...
57 篇 software systems
54 篇 codes
51 篇 visualization
44 篇 measurement
43 篇 tools
42 篇 task analysis
42 篇 algorithm design...
38 篇 data mining
37 篇 cloning
36 篇 testing
35 篇 libraries
35 篇 software enginee...
35 篇 semantics
34 篇 computer bugs
33 篇 programming

机构

11 篇 vrije univ bruss...
8 篇 delft university...
8 篇 univ szeged dept...
7 篇 delft univ techn...
7 篇 delft university...
7 篇 kent state univ ...
6 篇 queens univ sch ...
6 篇 fraunhofer iem p...
6 篇 univ bern softwa...
5 篇 department of so...
5 篇 software analysi...
5 篇 ucl england
5 篇 eindhoven univer...
5 篇 paderborn univ p...
5 篇 eindhoven univ t...
5 篇 univ akron dept ...
4 篇 department of so...
4 篇 vrije univ bruss...
4 篇 univ saskatchewa...
4 篇 univ bern softwa...

作者

17 篇 de roover coen
10 篇 roy chanchal k.
10 篇 stievenart quent...
10 篇 coen de roover
9 篇 poshyvanyk denys
8 篇 ferenc rudolf
7 篇 inoue katsuro
7 篇 ahmed e. hassan
7 篇 van deursen arie
6 篇 moonen leon
6 篇 bodden eric
6 篇 gyimothy tibor
6 篇 harman mark
6 篇 collard michael ...
6 篇 gall harald c.
6 篇 bram adams
6 篇 zaidman andy
6 篇 quentin stiévena...
6 篇 adams bram
5 篇 serebrenik alexa...

语言

952 篇 英文
6 篇 其他

检索条件"任意字段=IEEE Working Conference on Source Code Analysis and Manipulation"

共 958 条记录，以下是41-50 订阅

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

详细简洁

排序：

CheckPointer A C Memory Access Validator

CheckPointer A C Memory Access Validator

引用

11th ieee International working conference on source code analysis and manipulation/ieee International conference on Software Maintenance/ieee International Symposium on Web Systems Evolution/VISSOFT/MESOCA

作者： Mehlich, Michael Semant Designs Inc Austin TX USA

ISBN: (纸本)9780769543475

CheckPointer is a memory access validator for checking spatial and temporal pointer usage errors in multi-threaded applications by tracking meta data and validating pointer dereferences at run-time. The tool uses source-to-source transformations implemented with DMS to instrument the source code of the application to be validated with meta data checks. Libraries available only in binary form are handled by using function wrappers that check meta data immediately before calling a library function and update meta data as necessary immediately after the library function returns.

关键词： CheckPointer memmy safety memmy debugger out-of-bounds error pointer error memmy access error instrumentation source-to-source transformations DMS

来源：评论

学校读者我要写书评

暂无评论

Learning from 6,000 Projects: Mining Models in the Large

Learning from 6,000 Projects: Mining Models in the Large

引用

10th ieee working conference on source code analysis and manipulation (SCAM)

作者： Zeller, Andreas Saarland Univ Comp Sci Saarbrucken Germany

ISBN: (纸本)9780769541785

Models-abstract and simple descriptions of some artifact-are the backbone of all software engineering activities. While writing models is hard, existing code can serve as a source for abstract descriptions of how software behaves. To infer correct usage, code analysis needs usage examples, though;the more, the better. We have built a lightweight parser that efficiently extracts API usage models from source code-models that can then be used to detect anomalies. Applied on the 200 million lines of code of the Gentoo Linux distribution, we would extract more than 15 million API constraints, encoding and abstracting the "wisdom of Linux code".

关键词： API usage model extraction Linux Linux code abstract descriptions application program interfaces code analysis data mining language independent parsing lightweight parsing mining models mining specifications program compilers software engineering software engineering activities source code

来源：评论

学校读者我要写书评

暂无评论

引用

16th ieee International working conference on source code analysis and manipulation (SCAM)

作者： Ragkhitwetsagul, Chaiyong Krinke, Jens Clark, David UCL Dept Comp Sci CREST London WC1E 6BT England

ISBN: (纸本)9781509038497

source code analysis to detect code cloning, code plagiarism, and code reuse suffers from the problem of pervasive code modifications, i.e. transformations that may have a global effect. We compare 30 similarity detection techniques and tools against pervasive code modifications. We evaluate the tools using two experimental scenarios for Java source code. These are (1) pervasive modifications created with tools for source code and bytecode obfuscation and (2) source code normalisation through compilation and decompilation using different decompilers. Our experimental results show that highly specialised source code similarity detection techniques and tools can perform better than more general, textual similarity measures. Our study strongly validates the use of compilation/decompilation as a normalisation technique. Its use reduced false classifications to zero for six of the tools. This broad, thorough study is the largest in existence and potentially an invaluable guide for future users of similarity detection in source code.

关键词： code cloning code normalisation code plagiarism code reuse Decompilation source code similarity

来源：评论

学校读者我要写书评

暂无评论

Optimizing Away JavaScript Obfuscation 20

Optimizing Away JavaScript Obfuscation

引用

20th ieee International working conference on source code analysis and manipulation (SCAM)

作者： Herrera, Adrian Def Sci & Technol Grp Canberra ACT Australia

ISBN: (纸本)9781728192482

JavaScript is a popular attack vector for releasing malicious payloads on unsuspecting Internet users. Authors of this malicious JavaScript often employ numerous obfuscation techniques in order to prevent the automatic detection by antivirus and hinder manual analysis by professional malware analysts. Consequently, this paper presents SAFE- DEOBS, a JavaScript deobfuscation tool that we have built. The aim of SAFE- DEOBS is to automatically deobfuscate JavaScript malware such that an analyst can more rapidly determine the malicious script's intent. This is achieved through a number of static analyses, inspired by techniques from compiler theory. We demonstrate the utility of SAFE-DEOBS through a case study on real-world JavaScript malware, and show that it is a useful addition to a malware analyst's toolset.

关键词： javascript malware obfuscation static analysis

来源：评论

学校读者我要写书评

暂无评论

Lightweight Transformation and Fact Extraction with the srcML Toolkit

Lightweight Transformation and Fact Extraction with the srcM...

引用

作者： Collard, Michael L. Decker, Michael J. Maletic, Jonathan I. Univ Akron Dept Comp Sci Akron OH 44325 USA Kent State Univ Dept Comp Sci Kent OH 44242 USA

ISBN: (纸本)9780769543475

The srcML toolkit for lightweight transformation and fact-extraction of source code is described. srcML is an XML format for C/C++/Java source code. The open source toolkit that includes the source-to-srcML and srcML-to-source translators for round-trip reverse engineering is freely available. The direct use of XPath and XSLT is supported, an archive format for large projects is included, and a rich set of input and output formats through a command-line interface is available. Applying transformations and formulating queries using srcML is very convenient. Application use-cases of transformations and fact-extraction are shown and demonstrated to be practical and scalable.

关键词： component source Transformation Fact Extraction srcML

来源：评论

学校读者我要写书评

暂无评论

A source-level Energy Optimization Framework for Mobile Applications 16

A Source-level Energy Optimization Framework for Mobile Appl...

引用

16th ieee International working conference on source code analysis and manipulation (SCAM)

作者： Li, Xueliang Gallagher, John P. Roskilde Univ Roskilde Denmark IMDEA Software Inst Madrid Spain

ISBN: (纸本)9781509038497

Energy efficiency can have a significant influence on user experience of mobile devices such as smartphones and tablets. Although energy is consumed by hardware, software optimization plays an important role in saving energy, and thus software developers have to participate in the optimization process. The source code is the interface between the developer and hardware resources. In this paper, we propose an energy-optimization framework guided by a source code energy model that allows developers to be aware of energy usage induced by the code and to apply very targeted source-level refactoring strategies. The framework also lays a foundation for the code optimization by automatic tools. To the best of our knowledge, our work is the first that achieves this for a high-level language such as Java. In a case study, the experimental evaluation shows that our approach is able to save from 6.4% to 50.2% of the CPU energy consumption in various application scenarios.

关键词： Energy Saving and Optimization Mobile Application source code Refactoring and Optimization

来源：评论

学校读者我要写书评

暂无评论

Deriving Modernity Signatures for PHP Systems with Static analysis 22

Deriving Modernity Signatures for PHP Systems with Static An...

引用

ieee 22nd International working conference on source code analysis and manipulation (SCAM)

作者： van den Brink, Wouter Gerhold, Marcus Zaytsev, Vadim Univ Twente Tech Comp Sci Enschede Netherlands Univ Twente Formal Methods & Tools Enschede Netherlands

ISBN: (纸本)9781665496094

The PHP language has undergone many changes in its syntax and grammar, with respect to both features the language has to offer as well as the distribution of language features used by programmers in their projects. We present a novel method of using grammar usage statistics to calculate a modernity signature for a PHP system, so that we can determine its age. The system will aid developers in choosing whether or not to execute or use a PHP system, without having to perform an extensive inspection.

关键词： legacy software PHP static analysis

来源：评论

学校读者我要写书评

暂无评论

sourceMeter SonarQube plug-in 14

SourceMeter SonarQube plug-in

引用

14th ieee International working conference on source code analysis and manipulation (SCAM)

作者： Ferenc, Rudolf Lango, Laszlo Siket, Istvan Gyimothy, Tibor Bakota, Tibor Univ Szeged Dept Software Engn H-6720 Szeged Hungary FrontEndART Software Ltd H-6722 Szeged Hungary

ISBN: (纸本)9780769553047

The sourceMeter SonarQube plug-in is an extension of SonarQube, an open-source platform for managing code quality made by Sonarsource S.A, Switzerland. The plug-in extends the built-in Java code analysis engine of SonarQube with FrontEndART's high-end Java code analysis engine. Most of SonarQubes original analysis results are replaced (including the detected source code duplications), while the range of available analyses is extended with a number of additional metrics and issue detectors. Additionally, the plug-in offers new GUI features on the SonarQube dashboard and drill-down views, making the SonarQube user experience more comfortable and the work with the tool more productive.

关键词： sourceMeter SonarQube plug-in software quality metrics clone detection coding issues

来源：评论

学校读者我要写书评

暂无评论

Backporting Java 5 code

Backporting Java 5 Code

引用

9th ieee International working conference on source code analysis and manipulation (SCAM 2009)

作者： Gutzmann, Tobias Steijger, Tamara Vaxjo Univ Sch Math & Syst Engn S-35195 Vaxjo Sweden

ISBN: (纸本)9780769537931

Java 5 has introduced a number 4 new syntactical language features that make development faster, easier, and safer. However, at the same time, it has also introduced downward incompatibilities: code written for Java 5 cannot be used on pre-Java 5 platforms. This tool demonstration presents a number of source-to-source transformations that backport source code written for the Java 5 platform to legacy platforms. Developers who are, for different reasons, still bound to legacy platforms can benefit with help of this tool front the new language,features, and they can use third-party components written for more recent platforms. Compared to twisting tools, ours is the first that can backport all new syntactical Java 5 language features while the user maintains full control of the source code.

关键词： codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

On The Quality of Identifiers in Test code 19

On The Quality of Identifiers in Test Code

引用

19th ieee International working conference on source code analysis and manipulation (SCAM)

作者： Lin, Bin Nagy, Csaba Marcus, Andrian Bavota, Gabriele Lanza, Michele Univ Svizzera Italiana USI Software Inst Lugano Switzerland Univ Texas Dallas Richardson TX 75083 USA

ISBN: (纸本)9781728149370

Meaningful, expressive identifiers in source code can enhance the readability and reduce comprehension efforts. Over the past years, researchers have devoted considerable effort to understanding and improving the naming quality of identifiers in source code. However, little attention has been given to test code, an important resource during program comprehension activities. To better grasp identifier quality in test code, we conducted a survey involving manually written and automatically generated test cases from ten open source software projects. The survey results indicate that test cases contain low quality identifiers, including the manually written ones, and that the quality of identifiers is lower in test code than in production code. We also investigated the use of three state-of-the-art rename refactoring recommenders for improving test code identifiers. The analysis highlights their limitations when applied to test code and supports mapping out a research agenda for future work in the area.

关键词： Test code quality Empirical study

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共96页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：