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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,220 篇 会议
40 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

724 篇 工学
- 634 篇 软件工程
- 477 篇 计算机科学与技术...
- 137 篇 电气工程
- 22 篇 控制科学与工程
- 13 篇 信息与通信工程
- 12 篇 生物工程
- 9 篇 电子科学与技术（可...
- 8 篇 仪器科学与技术
- 5 篇 机械工程
- 4 篇 材料科学与工程（可...
- 3 篇 交通运输工程
- 3 篇 安全科学与工程
- 2 篇 动力工程及工程热...
- 2 篇 建筑学
- 2 篇 核科学与技术
- 2 篇 生物医学工程（可授...
63 篇 理学
- 31 篇 数学
- 13 篇 生物学
- 12 篇 物理学
- 8 篇 系统科学
- 7 篇 统计学（可授理学、...
- 4 篇 化学
47 篇 管理学
- 33 篇 管理科学与工程(可...
- 16 篇 图书情报与档案管...
- 7 篇 工商管理
10 篇 医学
- 10 篇 临床医学
- 2 篇 特种医学
6 篇 法学
- 5 篇 社会学
4 篇 经济学
- 4 篇 应用经济学
4 篇 教育学
- 4 篇 教育学
1 篇 艺术学

主题

152 篇 java
127 篇 software
124 篇 static analysis
87 篇 software systems
80 篇 open source soft...
78 篇 source coding
69 篇 visualization
67 篇 codes
67 篇 software mainten...
64 篇 conferences
63 篇 algorithm design...
59 篇 tools
58 篇 computer science
58 篇 software enginee...
52 篇 performance anal...
50 篇 task analysis
50 篇 data mining
50 篇 testing
48 篇 information anal...
47 篇 measurement

机构

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

作者

16 篇 de roover coen
14 篇 roy chanchal k.
10 篇 stievenart quent...
10 篇 coen de roover
10 篇 binkley david
9 篇 jonathan i. male...
8 篇 ferenc rudolf
8 篇 michael l. colla...
7 篇 moonen leon
7 篇 mark harman
7 篇 krinke jens
6 篇 di penta m
6 篇 chanchal k. roy
6 篇 david binkley
6 篇 antoniol g
6 篇 árpád beszédes
6 篇 bodden eric
6 篇 denys poshyvanyk
6 篇 gyimothy tibor
6 篇 robles gregorio

语言

1,255 篇 英文
6 篇 其他

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

共 1261 条记录，以下是81-90 订阅

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

详细简洁

排序：

Detection of redundant code using R²D² 3

Detection of redundant code using R<SUP>2</SUP>D<SUP>2</SUP>

引用

3rd ieee international workshop on source code analysis and manipulation

作者： Leitao, AM Univ Tecn Lisboa INESC ID P-1000029 Lisbon Portugal

ISBN: (纸本)0769520057

We present the (RD2)-D-2 redundancy detector. (RD2)-D-2 identifies redundant code fragments in large software systems written in Lisp. For each pair of code fragments, (RD2)-D-2 uses a combination of techniques ranging from syntax-based analysis to semantics-based analysis, that detects positive and negative evidences regarding the redundancy of the analyzed code fragments. These evidences are combined according to a well-defined model and sufficiently redundant fragments are reported to the user. (RD2)-D-2 explores several techniques and heuristics to operate within reasonable time and space bounds and is designed to be extensible.

关键词： Cloning Computer languages Detectors Force measurement Productivity Programming profession Software measurement Software systems Time measurement Writing

来源：评论

学校读者我要写书评

暂无评论

What you See is what you Asked for: An Effort-based Transformation of code analysis Tasks into Interactive Visualization Scenarios

What you See is what you Asked for: An Effort-based Transfor...

引用

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

作者： Sfayhi, Ahmed Sahraoui, Houari Univ Montreal DIRO Montreal PQ Canada

ISBN: (纸本)9780769543475

We propose an approach that derives interactive-visualization scenarios from descriptions of code analysis tasks. The scenario derivation is treated as an optimization process. In this context, we evaluate different possibilities of using a given visualization tool to perform the analysis task, and select the scenario that requires the least effort from the analyst. Our approach was applied successfully to various analysis tasks such as design defect detection and feature location.

关键词： software visualization source code analysis genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Combining source transformation and operator overloading techniques to compute derivatives for MATLAB programs 2

Combining source transformation and operator overloading tec...

引用

2nd ieee international workshop on source code analysis and manipulation

作者： Bischof, CH Bücker, HM Lang, B Rasch, A Vehreschild, A Univ Aachen Inst Comp Sci D-50256 Aachen Germany

ISBN: (纸本)0769517935

Derivatives of mathematical functions play a key role in various areas of numerical and technical computing. Many of these computations are done in MATLAB, a popular environment for technical computing providing engineers and scientists with capabilities for mathematical computing, analysis, visualization, and algorithmic development. For functions written in the MATLAB language, a novel software tool is proposed to automatically transform a given MATLAB program into another MATLAB program capable of computing not only the original function but also user-specified derivatives of that function. That is, a program transformation known as automatic differentiation is performed to change the semantics of the program in a fashion based on the chain rule of differential calculus. The crucial ingredient of the tool is a combination of source-to-source transformation and operator overloading. The overall design of the tool is described and numerical experiments are reported demonstrating the efficiency of the resulting code for a sample problem.

关键词： source transformation operator overloading automatic differentiation derivatives MATLAB high-level language

来源：评论

学校读者我要写书评

暂无评论

Using data flow analysis to infer type information in Java bytecode 1

Using data flow analysis to infer type information in Java b...

引用

1st ieee international workshop on source code analysis and manipulation

作者： Maggi, P Sisto, R Politecn Torino Dipartimento Automat & Informat I-10129 Turin Italy

ISBN: (纸本)0769513875

This paper shows how data flow analysis can be used to infer type information related to Java bytecode, and evaluates this approach. All the elements needed to specify, the data flow,problem to be software conveniently defined, according to the theory on data flow frameworks, along with algorithms to build them automatically from the Java bytecode. To evaluate the approach, we consider the specific problem of statically determining the set of methods potentially invoked by each method call instruction, which is useful for several purposes, such as building accurate call graphs. Experimental results are presented showing that data flow analysis can improve the accuracy of the results with respect to other simpler techniques at acceptable costs.

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

Using automated source code analysis for software evolution 1

Using automated source code analysis for software evolution

引用

1st ieee international workshop on source code analysis and manipulation

作者： Burd, L Rank, S Univ Durham Dept Comp Sci Durham DH1 3HP England

ISBN: (纸本)0769513875

Software maintenance is one of the most expensive and time-consuming phases in the soft-ware life-cycle. The size and complexity of commercial applications probably present the greatest difficulty that maintainers face when making changes to their applications. As a result of the corresponding loss of understanding, business knowledge encapsulated within the system becomes fragmented, and any changes made as a result of new business initiatives become difficult to implement and hence may mean a loss of business Opportunities. This paper outlines an approach to regaining understanding of software which has been used in the Release project at Durham University. This approach involves determining the calling structure of a pro-rain in terms of a call-graph, and from this call-graph extracting a dominance tree. various problems which have been encountered during the construction of tools to perforin this task are described.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

Software Engineering by source Transformation - Experience with TXL (Most Influential Paper, SCAM 2001) 19

Software Engineering by Source Transformation - Experience w...

引用

19th ieee international Working Conference on source code analysis and manipulation (SCAM)

作者： Cordy, James R. Dean, Thomas R. Malton, Andrew Schneider, Kevin A. Queens Univ Kingston ON Canada Blackberry Waterloo ON Canada Univ Saskatchewan Saskatoon SK Canada

ISBN: (纸本)9781728149370

关键词： MIP TXL

来源：评论

学校读者我要写书评

暂无评论

Automatically Adding Missing Libraries to Java Projects to Foster Better Results from Static analysis 17

Automatically Adding Missing Libraries to Java Projects to F...

引用

ieee 17th international Working Conference on source code analysis and manipulation (SCAM)

作者： Atzenhofer, Thomas Ploesch, Reinhold Johannes Kepler Univ Linz Dept Business Informat Software Engn Linz Austria

ISBN: (纸本)9781538632383

The measurement of software quality, including the preparation and management of the necessary resources and libraries, is a major challenge in continuous software quality measurement and assessment. When applying code analysis tools to a large number of projects, the preparation of the source code and its dependencies, focusing on the completeness of these elements, is the basis for correct analysis results. In order to make this preparation process efficient and effective, there is a need to automate this process. Therefore, we built a tool infrastructure, which automates this preparation and analysis process. As part of the code preparation process, we developed the tool LibLoader, which automatically resolves missing dependencies in open source Java projects. This enables the analysis of complete projects in due time and with more accurate results from static code analysis tools.

关键词： code quality dependency resolution code analysis

来源：评论

学校读者我要写书评

暂无评论

Equational Reasoning on x86 Assembly code

Equational Reasoning on x86 Assembly Code

引用

作者： Coogan, Kevin Debray, Saumya Univ Arizona Dept Comp Sci Tucson AZ 85721 USA

ISBN: (纸本)9780769543475

analysis of software is essential to addressing problems of correctness, efficiency, and security. Existing source code analysis tools are very useful for such purposes, but there are many instances where high-level source code is not available for software that needs to be analyzed. A need exists for tools that can analyze assembly code, whether from disassembled binaries or from handwritten sources. This paper describes an equational reasoning system for assembly code for the ubiquitous Intel x86 architecture, focusing on various problems that arise in low-level equational reasoning, such as register-name aliasing, memory indirection, condition-code flags, etc. Our system has successfully been applied to the problem of simplifying execution traces from obfuscated malware executables.

关键词： equational reasoning x86 assembly static and dynamic analysis

来源：评论

学校读者我要写书评

暂无评论

A source-to-source compiler for generating dependable software 1

A source-to-source compiler for generating dependable softwa...

引用

1st ieee international workshop on source code analysis and manipulation

作者： Rebaudengo, M Reorda, MS Violante, M Torchiano, M Politecn Torino Dipartimento Automat & Informat I-10129 Turin Italy

ISBN: (纸本)0769513875

Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In particular, safety-critical computer-based applications are hitting market area where cost is a major issue, and thus solutions are required which conjugate fault tolerance with low costs. In this paper, a source-to-source compiler supporting a Software-Implemented Hardware Fault Tolerance approach is proposed, based on a set of source code transformation rules. The proposed approach hardens a program against transient memory errors by introducing software redundancy: every computation is performed twice and results are compared, and control-flow invariants are checked explicitly. By exploiting the tool's capabilities, several benchmark applications have been hardened against transient errors. Fault Injection campaigns have been performed to evaluate the fault detection capability of the hardened applications. In addition we analyzed the proposed approach in terms of space and time overheads.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Executable source code and non-executable source code: analysis and relationships

Executable source code and non-executable source code: Analy...

引用

Proceedings - Fourth ieee international workshop on source code analysis and manipulation

作者： Robles, Gregorio Gonzalez-Barahona, Jesus M. Spain

ISBN: (纸本)0769521444

The concept of source code, understood as the source components used to obtain a binary, ready to execute version of a program, comprises currently more than source code written in a programming language. Specially when we move apart from systems-programming and enter the realm of end-user applications, we find source files with documentation, interface specifications, internationalization and localization modules, multimedia files, etc. All of them are source code in the sense that the developer works directly with them, and the application is built automatically using them as input. This paper discusses the relationship between 'classical' source code (usually written in a programming language) and these other files by analyzing a publicly-available software versioning repository. Aspects that have been studied include the nature of the software repository, the different mixtures of source code found in several software projects stored in it, the specialization of developers to the different tasks, etc.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共127页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：