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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,216 篇 会议
480 篇 期刊文献
5 篇 学位论文
2 册 图书
2 篇 科技报告

馆藏范围

2,705 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,648 篇 工学
- 2,419 篇 计算机科学与技术...
- 2,217 篇 软件工程
- 213 篇 电气工程
- 208 篇 信息与通信工程
- 127 篇 控制科学与工程
- 61 篇 电子科学与技术（可...
- 42 篇 机械工程
- 37 篇 生物工程
- 25 篇 安全科学与工程
- 22 篇 仪器科学与技术
- 22 篇 建筑学
- 21 篇 生物医学工程（可授...
- 20 篇 土木工程
- 19 篇 航空宇航科学与技...
- 18 篇 材料科学与工程（可...
- 18 篇 环境科学与工程（可...
- 17 篇 动力工程及工程热...
- 17 篇 化学工程与技术
489 篇 理学
- 365 篇 数学
- 42 篇 统计学（可授理学、...
- 40 篇 生物学
- 40 篇 系统科学
- 38 篇 物理学
- 17 篇 化学
416 篇 管理学
- 222 篇 图书情报与档案管...
- 219 篇 管理科学与工程(可...
- 128 篇 工商管理
122 篇 教育学
- 122 篇 教育学
30 篇 法学
- 21 篇 社会学
24 篇 经济学
- 23 篇 应用经济学
24 篇 医学
8 篇 农学
5 篇 文学
2 篇 军事学
2 篇 艺术学

主题

2,705 篇 java programming...
256 篇 java
45 篇 computer softwar...
33 篇 software
22 篇 codes
21 篇 libraries
19 篇 computer personn...
18 篇 language
16 篇 software systems
16 篇 software enginee...
16 篇 semantics
16 篇 graphical user i...
15 篇 source code
14 篇 runtime
14 篇 analysis program...
14 篇 open source soft...
13 篇 extensible marku...
13 篇 testing
13 篇 computer program...
12 篇 computer program...

机构

6 篇 unisys corporati...
6 篇 kth royal instit...
5 篇 graduate school ...
5 篇 ibm corp thomas ...
5 篇 ibm t.j. watson ...
4 篇 ibm ottawa
4 篇 dipartimento di ...
4 篇 singapore manage...
4 篇 inria sophia ant...
4 篇 department of co...
4 篇 univ york dept c...
4 篇 carnegie mellon ...
3 篇 univ york york y...
3 篇 université de mo...
3 篇 cwi
3 篇 school of comput...
3 篇 utrecht universi...
3 篇 iit dept comp sc...
3 篇 department of ma...
3 篇 indiana univ dep...

作者

16 篇 bettini lorenzo
15 篇 inoue katsuro
14 篇 binder walter
11 篇 leavens gary t.
9 篇 schoeberl martin
9 篇 ernst michael d.
8 篇 ishio takashi
8 篇 monperrus martin
8 篇 carpenter bryan
8 篇 wellings andy
7 篇 visser willem
7 篇 baudry benoit
7 篇 fox geoffrey
7 篇 damiani ferrucci...
7 篇 poll erik
7 篇 poetzsch-heffter...
7 篇 bal henri e.
7 篇 vitek jan
6 篇 kielmann thilo
6 篇 milanova ana

语言

2,503 篇 英文
165 篇 其他
14 篇 中文
10 篇 日文
8 篇 德文
3 篇 俄文
2 篇 法文
1 篇 西班牙文
1 篇 葡萄牙文
1 篇 斯洛伐克文
1 篇 塞尔维亚文
1 篇 乌克兰文

检索条件"主题词=JAVA programming language"

共 2705 条记录，以下是391-400 订阅

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

详细简洁

排序：

Revisiting Visitors for Modular Extension of Executable DSMLs 17

Revisiting Visitors for Modular Extension of Executable DSML...

引用

ACM/IEEE 20th International Conference on Model Driven Engineering languages and Systems (MODELS)

作者： Leduc, Manuel Degueule, Thomas Combemale, Benoit van der Storm, Tijs Barais, Olivier Univ Rennes 1 Rennes France CWI Amsterdam Netherlands Univ Groningen Groningen Netherlands

ISBN: (纸本)9781538634929

Executable Domain-Specific Modeling languages (xDSMLs) are typically defined by metamodels that specify their abstract syntax, and model interpreters or compilers that define their execution semantics. To face the proliferation of xDSMLs in many domains, it is important to provide language engineering facilities for opportunistic reuse, extension, and customization of existing xDSMLs to ease the definition of new ones. Current approaches to language reuse either require to anticipate reuse, make use of advanced features that are not widely available in programming languages, or are not directly applicable to metamodel-based xDSMLs. In this paper, we propose a new language implementation pattern, named REVISITOR, that enables independent extensibility of the syntax and semantics of metamodel-based xDSMLs with incremental compilation and without anticipation. We seamlessly implement our approach alongside the compilation chain of the Eclipse Modeling Framework, thereby demonstrating that it is directly and broadly applicable in various modeling environments. We show how it can be employed to incrementally extend both the syntax and semantics of the fUML language without requiring anticipation or re-compilation of existing code, and with acceptable performance penalty compared to classical handmade visitors.

关键词： Syntactics Semantics Object oriented modeling java Context modeling Algebra Runtime Semantics Object oriented modeling Context modeling Runtime syntax Algebra java java programming language semiotics reuse anticipation Metamodels Reuse

来源：评论

学校读者我要写书评

暂无评论

Realization and Evaluation of java Wrapper that calls the End-to-End Communication Library 10

Realization and Evaluation of Java Wrapper that calls the En...

引用

10th International Conference on Mobile Computing and Ubiquitous Network (ICMU)

作者： Shimizu, Kazuki Suzuki, Hidekazu Naito, Katsuhiro Watanabe, Akira Meijo Univ Grad Sch Sci & Technol Nagoya Aichi 4688502 Japan Aichi Inst Technol Fac Informat Sci Nagoya Aichi 4700392 Japan

ISBN: (纸本)9784907626310

With the spread of mobile communication nodes such as smartphones and wireless communication technologies, the demand for the use of networks has been increasing. In the case of IPv4 networks, exhaustion of global IP addresses has been a serious problem. As a short-term solution for this problem, the use of NAT is quite common. However, there exists a problem which associated with NAT as well. Namely, we cannot make communication from the global network side to the private network side behind NAT. As a long-term solution for the IPv4 address exhaustion problem, it is necessary to migrate from IPv4 to IPv6 network environment. However, there is no compatibility between these networks, and thus, IPv6 is not widely spread at all. Because of the above-said problem, the mixed environment of IPv4 and IPv6 networks seems to last for a long period of time. Accordingly, \"connectivity\" is required so that communication can be maintained regardless of the connected network environment. Furthermore, the communication node cannot continue its communication when it moves to another network, owing to the change of its IP Address. Therefore, \"mobility\" is required so that the node can continue communication even if the network is switched to another network.

关键词： java Sockets IP networks Standards Time measurement Libraries Production facilities Power outlets Socket time measurement IPv4 java java programming language Internet Protocol networks N-acetyltalosaminuronic acid Libraries Communication Research IPv6 Manufacturing Facilities Network end-to-end IP address

来源：评论

学校读者我要写书评

暂无评论

Capabilities for java: Secure Access to Resources 1

引用

15th Asian Symposium on programming languages and Systems (APLAS)

作者： Hayes, Ian J. Wu, Xi Meinicke, Larissa A. Univ Queensland Sch ITEE Brisbane Qld 4072 Australia

ISBN: (数字)9783319712376

ISBN: (纸本)9783319712376

This paper explores adding capabilities to java with the objective of tightening security management for access to resources both within the java Class Library and java applications. Code can only access resources if it is given explicit capabilities, allowing replacement of the use of doPrivileged blocks. Capabilities provide restricted access to their implementing object - like an interface - but when a capability is created, it has a more restrictive dynamic type than its implementing object, and hence access to the full facilities of the implementing object (e.g. via down casting) are precluded. We used the Annotation Processing Tool to track the declaration and use of capabilities.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Interface-based Semi-automated Testing of Software Components

Interface-based Semi-automated Testing of Software Component...

引用

Federated Conference on Computer Science and Information Systems (FedCSIS)

作者： Potuzak, Tomas Lipka, Richard Brada, Premek Univ West Bohemia Fac Appl Sci Dept Comp Sci Univ 8 Plzen 30614 Czech Republic Univ West Bohemia Fac Appl Sci European Ctr Excellence New Technol Informat Soc Univ 8 Plzen 30614 Czech Republic

ISBN: (纸本)9788394625375

The component-based software development enables to construct applications from reusable components providing particular functionalities and simplifies application evolution. To ensure the correct functioning of a given component-based application and its preservation across evolution steps, it is necessary to test not only the functional properties of the individual components but also the correctness of their mutual interactions and cooperation. This is complicated by the fact that third-party components often come without source code and/or documentation of functional and interaction properties. In this paper, we describe an approach for performing rigorous semi-automated testing of software components with unavailable source code. Utilizing an automated analysis of the component interfaces, scenarios invoking methods with generated parameter values are created. When they are performed on a stable application version and their runtime effects (component interactions) are recorded, the resulting scenarios with recorded effects can be used for accurate regression testing of newly installed versions of selected components. Our experiences with a prototype implementation show that the approach has acceptable demands on manual work and computational resources.

关键词： Testing Software java Natural languages Runtime Electronic mail natural languages Runtime electronic mail computer software java java programming language computer programs object oriented programming Source code Reusable components regression testing

来源：评论

学校读者我要写书评

暂无评论

Reflection Analysis for java: Uncovering More Reflective Targets Precisely 28

Reflection Analysis for Java: Uncovering More Reflective Tar...

引用

28th IEEE International Symposium on Software Reliability Engineering

作者： Liu, Jie Li, Yue Tan, Tian Xue, Jingling UNSW Sch Comp Sci & Engn Sydney NSW Australia Wuhan Univ Comp Sch State Key Lab Software Engn Wuhan Hubei Peoples R China

ISBN: (纸本)9781538609415

Reflection, which is widely used in practice and abused by many security exploits, poses a significant obstacle to program analysis. Reflective calls can be analyzed statically or dynamically. Static analysis is more sound but also more imprecise (by introducing many false reflective targets and thus affecting its scalability). Dynamic analysis can be precise but often miss many true reflective targets due to low code coverage. We introduce MIRROR, the first automatic reflection analysis for java that increases significantly the code coverage of dynamic analysis while keeping false reflective targets low. In its static analysis, a novel reflection-oriented slicing technique is applied to identify a small number of small path-based slices for a reflective call so that different reflective targets are likely exercised along these different paths. This preserves the soundness of pure static reflection analysis as much as possible, improves its scalability, and reduces substantially its false positive rate. In its dynamic analysis, these slices are executed with automatically generated test cases to report the reflective targets accessed. This significantly improves the code coverage of pure dynamic analysis. We evaluate MIRROR against a state-of-the-art dynamic reflection analysis tool, TAMIFLEX, by using 10 large real-world java applications. MIRROR detects 12.5% - 933.3% more reflective targets efficiently (in 362.8 seconds on average) without producing any false positives. These new targets enable 5 - 174949 call-graph edges to be reachable in the application code.

关键词： Mirrors java Security Scalability Computer bugs Performance analysis Mirrors java java programming language Scalability Reflection Targets Dynamic analysis Security False-positives

来源：评论

学校读者我要写书评

暂无评论

Towards Addressing the Patch Overfitting Problem 17

Towards Addressing the Patch Overfitting Problem

引用

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

作者： Xin, Qi Brown Univ Dept Comp Sci Providence RI 02912 USA

ISBN: (纸本)9781538615898

Current automatic program repair techniques often produce overfitting patches. Such a patch passes the test suite but does not actually repair the bug. In this paper, we propose two techniques to address the patch overfitting problem. First, we propose an automatic repair technique that performs syntactic code search to leverage bug-related code from a code database to produce patches that are likely to be correct. Due to the weak and incomplete program specification encoded in the test suite, a patch is still possible to be overfitting. We next propose a patch testing technique which generates test inputs uncovering the semantic differences between a patch and its original faulty program, tests if the patch is overfitting, and if so, generates test cases. Such overfitting-indicative test cases could be added to the test suite to make it stronger.

关键词： Maintenance engineering Computer bugs Semantics Testing Syntactics java Databases Maintenance engineering Semantics Database java java programming language CASING INSPECTION program specification semiotics Codes Wound Healing

来源：评论

学校读者我要写书评

暂无评论

Assisting Non-Specialist Developers to Build Energy-Efficient Software 17

Assisting Non-Specialist Developers to Build Energy-Efficien...

引用

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

作者： Fernandes, Benito Pinto, Gustavo Castor, Fernando Univ Fed Pernambuco Recife PE Brazil Fed Inst Para Belem Para Brazil

ISBN: (纸本)9781538615898

In this paper we introduce CECOTOOL, a tool that analyzes the energy behavior of alternative collection implementations and provides potentially useful recommendations about good implementation options. We applied it to two real-world software systems from the DaCapo suite [1], Xalan and Tomcat. With no prior knowledge of the application domains, we were able to reduce the energy consumption up to 4.37%.

关键词： Energy consumption Tools Benchmark testing Software systems Data structures java Software systems Benchmark testing energy consumption Data structures java java programming language tomcat Energy efficiency Developers Prior Learning

来源：评论

学校读者我要写书评

暂无评论

Backward range simulation of java bytecodes and reduction of its processing time 17

Backward range simulation of Java bytecodes and reduction of...

引用

8th International Conference on Computer Modeling and Simulation, ICCMS 2017

作者： Hiranaka, Yukio Inafune, Tetsuya Miura, Shinichi Taketa, Toshihiro Yamagata University 4-3-16 Jonan Yonezawa Yamagata Japan

ISBN: (纸本)9781450348164

In this paper we introduce a backward simulation of machine code program and report results of reduction methods of its processing time. It may be efficient to analyze a program by tracing back from the final result for detecting all the bugs caused by some codes in the program. We describe the backward simulator of java bytecode program and methods of processing time reduction such as range division, stepwise resolution improvement, setting of search path, and exponential range division. Results of two short programs and effects of reduction methods are shown. © 2017 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

The abstract state machines method for modular design and analysis of programming languages

The abstract state machines method for modular design and an...

引用

作者： Börger, Egon Università di Pisa Dipartimento di Informatica PisaI-56125 Italy

We survey the use of Abstract State Machines in the area of programming languages, namely to define behavioural properties of programs at source, intermediate and machine levels in a way that is amenable to mathematical and experimental analysis by practitioners, like correctness and completeness of compilers, *** illustrate how theorems about such properties can be integrated into a modular development of programming languages and programs, using as example a java/JVM compilation correctness theorem about defining, interpreting, compiling and executing java/JVM code. We show how programming features (read: programming constructs) modularize not only the source programs, but also the program property statements and their proofs. © The Author, 2014.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

An application of composite nano-patterns to compiler selected profiling techniques 17

An application of composite nano-patterns to compiler select...

引用

6th International Conference on Software and Computer Applications, ICSCA 2017

作者： Dos Santos Mignon, Alexandre De Azevedo Da Rocha, Ricardo Luis Escola Politécnica USP Av. Prof. Luciano Gualberto tv 3 São Paulo SP158 Brazil

ISBN: (纸本)9781450348577

Machine learning techniques have been used in compilers to automatically determine which optimizations are best for each method of a program developed in java language to reduce the execution time of the program. Profile data of java methods such as their characteristics and their execution time are used to train the machine learning tools. We can get the execution time of the method by instrumentation your code. However, instrumentation of code interferes with the execution time of the method and also of the program. To minimize the problem, we can instrument only methods that can benefit, in a practical way, of the optimizations applied by the compiler. This paper presents a framework for the instrumentation of the method codes of a java program, to measure the execution time of each method. It has a nano-pattern-based method characterization mechanism that automatically identifies methods that can be excluded from the process of code instrumentation. We performed experiments to verify the efficiency of the mechanism of automatic selection of methods that should not be instrumentalized. There was a gain in the total execution time of the program when compared to the same program with its all instrumented methods. © 2017 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共271页 << < 36 37 38 39 40 41 42 43 44 45 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：