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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,211 篇 会议
480 篇 期刊文献
5 篇 学位论文
2 册 图书
2 篇 科技报告

馆藏范围

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

日期分布

学科分类号

2,643 篇 工学
- 2,409 篇 计算机科学与技术...
- 2,213 篇 软件工程
- 211 篇 电气工程
- 207 篇 信息与通信工程
- 126 篇 控制科学与工程
- 60 篇 电子科学与技术（可...
- 42 篇 机械工程
- 37 篇 生物工程
- 25 篇 安全科学与工程
- 23 篇 建筑学
- 22 篇 仪器科学与技术
- 21 篇 土木工程
- 21 篇 生物医学工程（可授...
- 19 篇 航空宇航科学与技...
- 18 篇 材料科学与工程（可...
- 18 篇 环境科学与工程（可...
- 17 篇 动力工程及工程热...
- 17 篇 化学工程与技术
491 篇 理学
- 366 篇 数学
- 42 篇 统计学（可授理学、...
- 40 篇 生物学
- 40 篇 系统科学
- 38 篇 物理学
- 17 篇 化学
414 篇 管理学
- 221 篇 图书情报与档案管...
- 218 篇 管理科学与工程(可...
- 128 篇 工商管理
121 篇 教育学
- 121 篇 教育学
30 篇 法学
- 21 篇 社会学
24 篇 经济学
- 23 篇 应用经济学
24 篇 医学
8 篇 农学
5 篇 文学
2 篇 军事学
2 篇 艺术学

主题

2,700 篇 java programming...
255 篇 java
44 篇 computer softwar...
33 篇 software
21 篇 codes
20 篇 libraries
18 篇 computer personn...
16 篇 software systems
16 篇 software enginee...
16 篇 semantics
16 篇 graphical user i...
16 篇 language
15 篇 source code
14 篇 analysis program...
14 篇 open source soft...
13 篇 runtime
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,532 篇 英文
131 篇 其他
14 篇 中文
10 篇 日文
8 篇 德文
3 篇 俄文
2 篇 法文
1 篇 西班牙文
1 篇 葡萄牙文
1 篇 斯洛伐克文
1 篇 塞尔维亚文
1 篇 乌克兰文

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

共 2700 条记录，以下是361-370 订阅

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

详细简洁

排序：

Exploiting method-level parallelism in single-threaded java programs

Exploiting method-level parallelism in single-threaded Java ...

引用

International Conference on Parallel Architectures and Compilation Techniques

作者： Chen, MK Olukotun, K Stanford Univ Comp Syst Lab Stanford CA 94305 USA

ISBN: (纸本)0818685913

Method speculation of object-oriented programs attempts to exploit method-level parallelism (MLP) by executing sequential method invocations in parallel, while still maintaining correct sequential ordering of data dependencies and memory accesses. In this paper;we show why the java virtual machine is an effective environment for exploiting method-level parallelism and demonstrate how method speculation can potentially speed rep single-threaded, general purpose java programs. Results from our study show that significant speedups can be achieved on data-parallel applications with minimal programmer and compiler effort. On control flow dependent programs, moderate speedups have been achieved, suggesting more significant performance improvements an these types of programs may come from more careful analysis or re-coding of the application. For both classes of applications, we discover performance debugging drastically improves speedups by eliminating or minimizing dependencies that limit the effectiveness of method speculation.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

On the Effectiveness of Emergent Task Allocation of Virtual Programmer Teams

On the Effectiveness of Emergent Task Allocation of Virtual ...

引用

IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (WI-IAT)

作者： Jarczyk, Oskar Gruszka, Blazej Bukowski, Leszek Wierzbicki, Adam Polish Japanese Inst Informat Technol Dept Social Informat PL-02008 Warsaw Poland

ISBN: (纸本)9781479941438

Virtual teams of programmers are a popular form of collaboration both in Open Source, and commercial software projects. In OSS (Open Source Software) projects, programmers make their own decision which project to join, and, therefore, the process of task allocation among the project members is emergent. In this paper, we attempt to simulate such a process based on available data from GitHub. The simulation is used to test a hypothesis regarding the efficiency of emergent task allocation. In general, we find performance of coordinated methods to be better than emergent algorithms, which leads us to conclusion that controlling team membership through invitations and work assignment is a promising direction.

关键词： project management software management team working OSS projects commercial software projects emergent task allocation open source software projects team membership virtual programmer teams Collaboration Electronic mail Heuristic algorithms java Resource management Social network services Software management of resources Social network services software management task allocation electronic mail Team working Heuristic algorithms Computer personnel open source software Project management java java programming language computer software Virtual groups

来源：评论

学校读者我要写书评

暂无评论

iContract -: The java™ design by Contract™ tool 26

iContract -: The Java™ design by Contract™ tool

引用

Conference on Technology of Object-Oriented languages (TOOLS 26)

作者： Kramer, R Cambridge Technol Partners Cambridge MA 02139 USA

ISBN: (纸本)0818684828

Until today, the explicit specification of "software contracts" by means of class invariants and method pre- and post-conditions was only available to Eiffel developers. iContract is the first tool that provides the same thorough support for java. iContract is a freely available source-code pre-,processor that instruments source-code with checks for class invariants as well as,pre- and post-conditions that may be associated with methods in classes and interfaces. Special comment tags (@pre, @post, @invariant) are interpreted by iContract and converted into assertion check code that is inserted into the source-code. iContract supports universal and existential quantifiers in contract expressions. Contracts are propagated via all 4 java type extension mechanisms (class extension, innerclasses, intel lace implementation and interface extension). Due to the non-mandatory nature of the comment tags, source code that contains design by contract annotations remains fully compatible with java and can thus be processed with standard java compilers, enabling a risk;free adoption of the technique in your organisation.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

A versatile support for binding native code to java 8th

引用

8th International Conference on High Performance Computing and Networking

作者： Bubak, M Kurzyniec, D Luszczek, P AGH Univ Sci & Technol Inst Comp Sci PL-30059 Krakow Poland CYFRONET Acad Comp Ctr PL-30950 Krakow Poland Univ Tennessee Dept Comp Sci Knoxville TN 37996 USA

ISBN: (纸本)3540675531

As java is being considered an appropriate environment for high performance computing, we describe advanced techniques of highly expressive and efficient combining of java with existing code in other languages. We present their example use in developing of java wrappers for the lip - a runtime support library which enables easy and portable parallelization of irregular and out-of-core problems. Sample performance comparison results of out-of-core computations in java and C are also presented.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Spi2java: Automatic cryptographic protocol java code generation from spi calculus

Spi2Java: Automatic cryptographic protocol Java code generat...

引用

18th International Conference on Advanced Information Networking and Applications

作者： Pozza, D Sisto, R Durante, L Politecn Torino Dip Automat & Informat I-10129 Turin Italy

ISBN: (纸本)0769520510

The aim of this work is to describe a tool (Spi2java) that automatically generates java code implementing cryptographic protocols described in the formal specification language spi calculus. Spi2java is part of a set of tools for spi calculus, also including a pre-processor a parser and a security analyzer The latter can formally analyze protocols and detect protocol flaws. When a protocol has been analyzed and an adequate confidence about its correctness has been reached, Spi2java can generate a corresponding correct java implementation of the protocol, thus dramatically reducing the risk of introducing security flaws in the coding phase.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Reasoning about java programs with aliasing and frame conditions

Reasoning about Java programs with aliasing and frame condit...

引用

18th International Conference on Theorem Proving in Higher Order Logics

作者： Marché, C Paulin-Mohring, C Univ Paris 11 LRI PCRI INRIA Futurs F-91405 Orsay France CNRS UMR 8623 F-91405 Orsay France

ISBN: (纸本)3540283722

Several tools exist for reasoning about java programs annotated with JML specifications. A main issue is to deal with possible aliasing between objects and to handle correctly the frame conditions limiting the part of memory that a method is allowed to modify. Tools designed for automatic use (like ESC/java) are not complete and even not necessarily correct. On the other side, tools which offer a full modeling of the program require a heavy user interaction for discharging proof obligations. In this paper, we present the modeling of java programs used in the KRAKATOA tool, which generates proof obligations expressed in a logic language suitable for both automatic and interactive reasoning. Using the SIMPLIFY automatic theorem prover, we are able to establish automatically more properties than static analysis tools, with a method which is guaranteed to be sound, assuming only the correctness of our logical interpretation of programs and specifications.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Experience Report: Verifying MPI java Programs using Software Model Checking 28

Experience Report: Verifying MPI Java Programs using Softwar...

引用

28th IEEE International Symposium on Software Reliability Engineering

作者： Ayub, Muhammad Sohaib Rehman, Waqas Ur Siddiqui, Junaid Haroon LUMS Sch Sci & Engn Dept Comp Sci Lahore Pakistan Univ Saskatchewan Dept Comp Sci Saskatoon SK Canada

ISBN: (纸本)9781538609415

Parallel and distributed computing have enabled development of much more scalable software. However, developing concurrent software requires the programmer to be aware of non-determinism, data races, and deadlocks. MPI (message passing interface) is a popular standard for writing message-oriented distributed applications. Some messages in MPI systems can be processed by one of the many machines and in many possible orders. This non-determinism can affect the result of an MPI application. The alternate results may or may not be correct. To verify MPI applications, we need to check all these possible orderings and use an application specific oracle to decide if these orderings give correct output. MPJ Express is an open source java implementation of the MPI standard. Model checking of MPI java programs is a challenging task due to their parallel nature. We developed a java based model of MPJ Express, where processes are modeled as threads, and which can run unmodified MPI java programs on a single system. This model enabled us to adapt the java PathFinder explicit state software model checker (JPF) using a custom listener to verify our model running real MPI java programs. The evaluation of our approach shows that model checking reveals incorrect system behavior that results in very intricate message orderings.

关键词： java Model checking Adaptation models Message systems Software Standards Message passing message passing Model checking java java programming language Computer based information systems mannose phosphate isomerase remote procedure calls computer software Adaptation models Parallel programming computer programs

来源：评论

学校读者我要写书评

暂无评论

ACUA: API Change and Usage Auditor 14

ACUA: API Change and Usage Auditor

引用

14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)

作者： Wu, Wei Adams, Bram Gueheneuc, Yann-Gael Antoniol, Giuliano Ecole Polytech DGIGL Montreal PQ H3C 3A7 Canada

ISBN: (纸本)9780769553047

Modern software uses frameworks through their Application programming Interfaces (APIs). Framework APIs may change while frameworks evolve. Client programs have to upgrade to new releases of frameworks if security vulnerabilities are discovered in the used releases. Patching security vulnerabilities can be delayed by non-security-related API changes when the frameworks used by client programs are not up to date. Keeping frameworks updated can reduce the reaction time to patch security leaks. Client program upgrades are not cost-free, developers need to understand the API usages in client programs and API changes between framework releases before conduct upgrading tasks. In this paper, we propose a tool ACUA to generate reports containing detailed API change and usage information by analyzing the binary code of both frameworks and clients programs written in java. Developers can use the API change and usage reports generated by ACUA to estimate the work load and decide when to starting upgrading client programs based on the estimation.

关键词： java application program interfaces safety-critical software source code (software) ACUA API Change-and-Usage Auditor application programming interfaces binary code analysis client program upgrade framework release nonsecurity-related API changes reaction time reduction security leakage patching security vulnerabilities software usage framework work load estimation Abstracts Analytical models Contracts Data models Detection algorithms Security Software API change and usage Software maintenance framework API evolution Application programming interfaces java java programming language Frameworks safety-critical software Detection algorithms Software maintenance data models API contract AXIAL POWER INDICATOR American Petroleum Institute Security hole ANALYSIS MODELS customers

来源：评论

学校读者我要写书评

暂无评论

Handling huge data sets in J2EE/EJB 2.1 with a page-by-page iterator pattern variant for CMP

Handling huge data sets in J2EE/EJB 2.1 with a page-by-page ...

引用

International Conference on Software Engineering Research and Practice

作者： Gitzel, R Korthaus, A Mazloumi, N Univ Mannheim Mannheim Germany

ISBN: (纸本)1932415211

The ME platform with its server component technology Enterprise javaBeans (EJB) has become widely adopted today Services provided by ME component containers, such as container-managed persistence (CMP), facilitate the development of distributed transactional applications and increase portability of EJB components. Thanks to its intensive web support through Servlets and JSPs, the ME standard easily allows web application designers to bring data stored in EJB entity beans to the Internet as HTML pages. A major problem, however, is the fact that often there are too many instances of an entity bean to be presented on a single HTML page. In our paper, we will compare different solutions to this problem. As a starting point, we will measure the performance of a naive CMP-based approach and compare it with a bean-managed persistence (BMP) approach structured in a similar way. Since the use of CMP provides many benefits, but the naive approach shows only poor performance, we finally present a variant of Sun's page-by-page iterator pattern, which, as opposed to the original, does not rely on JDBC but rather uses the new EJBQL features introduced in the new EJB 2.1 final draft in order to provide a feasible solution within the framework of CMP. In our conclusion we also identify some possible improvements to the ME standard based on our findings.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Evaluation of java Web services toolkit for grid computing

Evaluation of Java Web services toolkit for grid computing

引用

International Conference on Parallel and Distributed Processing Techniques and Applications

作者： Migliardi, M Podesta, R Univ Genoa DIST I-16145 Genoa Italy

ISBN: (纸本)1932415262

The different java Web Services toolkit and the evaluation of their performance to analyze their suitability to grid computing was discussed. The actual de-facto web services standard framework, such as AXIS that was provided by Apache software foundation and two frameworks that aim at providing web services-like communication methods oriented to high performance computing were provided by the University of Indiana and the WSDL grid binding. The web services were oriented to transactions involving little amount of data where SOAP was the standard communication protocol used. It was found that the grid-oriented frameworks have better performances than AXIS.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共270页 << < 33 34 35 36 37 38 39 40 41 42 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：