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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

137 篇 会议
7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

76 篇 工学
- 73 篇 计算机科学与技术...
- 70 篇 软件工程
- 7 篇 信息与通信工程
- 3 篇 控制科学与工程
- 2 篇 生物工程
- 1 篇 材料科学与工程（可...
- 1 篇 冶金工程
- 1 篇 电气工程
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 化学工程与技术
- 1 篇 轻工技术与工程
- 1 篇 交通运输工程
- 1 篇 航空宇航科学与技...
- 1 篇 生物医学工程（可授...
- 1 篇 网络空间安全
36 篇 理学
- 29 篇 数学
- 10 篇 系统科学
- 3 篇 生物学
- 3 篇 统计学（可授理学、...
11 篇 教育学
- 11 篇 教育学
- 1 篇 心理学(可授教育学...
8 篇 管理学
- 5 篇 图书情报与档案管...
- 4 篇 管理科学与工程(可...
1 篇 法学
- 1 篇 社会学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

20 篇 java
19 篇 logic programmin...
10 篇 java programming...
5 篇 computer program...
4 篇 teaching
4 篇 parallel program...
4 篇 students
4 篇 software
4 篇 computer program...
3 篇 programming
3 篇 software enginee...
3 篇 education
3 篇 semantics
3 篇 testing
2 篇 uml
2 篇 task-driven
2 篇 data communicati...
2 篇 distributed syst...
2 篇 constraint satis...
2 篇 software metrics

机构

3 篇 nui maynooth co....
2 篇 institute of tec...
2 篇 software school ...
2 篇 lab. for the fou...
2 篇 inria rocquencou...
1 篇 computing scienc...
1 篇 school of contin...
1 篇 inria
1 篇 deis university ...
1 篇 computing scienc...
1 篇 lehrstuhl für in...
1 篇 yaroslav-the-wis...
1 篇 université de ma...
1 篇 the queen's univ...
1 篇 distributed syst...
1 篇 natl. technical ...
1 篇 university of lo...
1 篇 institut de math...
1 篇 inria 655 av. de...
1 篇 ntt communicatio...

作者

3 篇 tom dowling
2 篇 brian nolan
2 篇 mairson harry g.
2 篇 steve counsell
2 篇 tinelli cesare
2 篇 ruet paul
2 篇 harandi mehdi
2 篇 mello p.
2 篇 youssef hassoun
2 篇 roger johnson
2 篇 colombani yves
2 篇 gendreau michel
2 篇 power john
2 篇 milano m.
2 篇 lamma e.
2 篇 pesant gilles
1 篇 laschi roberto
1 篇 van eck richard
1 篇 johansson erik
1 篇 srinivas k.

语言

144 篇 英文

检索条件"任意字段=Proceedings of the 2nd international conference on Principles and practice of programming in Java"

共 144 条记录，以下是121-130 订阅

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

详细简洁

排序：

Trends in java code changes: the key to identification of refactorings? 03

Trends in Java code changes: the key to identification of re...

引用

proceedings of the 2nd international conference on principles and practice of programming in java

作者： Steve Counsell Youssef Hassoun Roger Johnson Keith Mannock Emilia Mendes University of London London University of Auckland New Zealand

ISBN: (纸本)9780954414511

Changes made to object-oriented (OO) systems over time provide an insight into both design robustness and changes in requirements. When expressed at a high level of abstraction, observing trends in changes to code can indicate opportunities for refactoring at the architectural level. In this paper, we empirically investigate the changes made to a set of fifty-two java library classes over a three year period. The research attempts to support the hypothesis that certain types of changes made to java code fall into distinct trends and, furthermore, are likely to be made at a high level of abstraction; in this case to method signatures. Our empirical results show that change trends are identifiable thus informing well-known refactorings, but not as we had envisaged. Control logic constructs were found to be the focus of most changes to the library classes examined.

关键词： java changes refactoring code

来源：评论

学校读者我要写书评

暂无评论

Defeasibility in CLP(Q) through generalized slack variables 2nd

Defeasibility in CLP(Q) through generalized slack variables

引用

2nd international conference on principles and practice of Constraint programming, CP 1996

作者： Holzbaur, Christian Menezes, Francisco Barahona, Pedro Austrian Research Institute for Artificial Intelligence Department of Medical Cybernetics and Artificial Intelligence University of Vienna Freyung 6 ViennaA-1010 Austria Departamento de Informática Universidade Nova de Lisboa Monte da Caparica2825 Portugal

ISBN: (纸本)3540615512

This paper presents a defeasible constraint solver for the domain of linear equations, disequations and inequalities over the body of rational/real numbers. As extra requirements resulting from the incorporation of the solver into an Incremental Hierarchical Constraint Solver (IHCS) scenario we identified: a)the ability to refer to individual constraints by a label, b) the ability to report the (minimal) cause for the unsatisfiability of a set of constraints, and c) the ability to undo the effects of a formerly activated *** develop the new functionalities after starting the presentation with a general architecture for defeasible constraint solving, through a solved form algorithm that utilizes a generalized, incremental variant of the Simplex algorithm, where the domain of a variable can be restricted to an arbitrary interval. We demonstrate how generalized slacks form the basis for the computation of explanations regarding the cause of unsatisfiability and/or entailment in terms of the constraints told, and the possible deactivation of constraints as demanded by the hierarchy handler. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Mini CNC Design to Increase Students' programming and Control CNC Competencies 2

Mini CNC Design to Increase Students' Programming and Contro...

引用

2nd international conference on Electrical, Electronics, Informatics, and Vocational Education, ICE-ELINVO 2019

作者： Prianto, E. Maryadi, T.H.T. Sunomo Malik, C.A.J. Purnomo, M.W. Caecaria, O.M. Electrical Engineering Education Department Universitas Negeri Yogyakarta Yogyakarta Indonesia

Practical tools used in learning must support and adapt to the needs of the Industrial Revolution 4.0 era with the characteristics of working automatically, 3D printing, internet-based work of things (IoT) and Data of Things. One practice tool that works with these principles is a CNC machine. Mini CNC design that has been made has been equipped with modern computing technology. Mini CNC learning media aims to make students not only skilled in terms of operating the machine, but students can develop their skills in the design and programming of a CNC machine. This research was conducted based on the ADDIE model, namely Analysis, Design, Development, Implementation and Evaluation. The results of the design and manufacture of IoT-based Mini CNC 3D printers for learning media consist of designing hardware and software. Linearity test results showed there was no significant difference between the setting value and the measured value of the results of the work process of the tool and being able to do the cutting process from wood, fiber or aluminum, so that the Mini CNC was suitable for use as a learning media. © Published under licence by IOP Publishing Ltd.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Curriculum Programme of Career-oriented java Specialty Guided by principles of Software Engineering

Curriculum Programme of Career-oriented Java Specialty Guide...

引用

2010 2nd international conference on Education Technology and Computer(第二届IEEE教育技术与计算机国际会议 ICETC 2010)

作者： ZhiXue Liang Bin Yu Shui Wang Software School Nanyang Institute of Technology Nanyang China

ISBN: (纸本)9781424463671;9781424463688;9781424463701

It has always been a challenge to justify a professional java curriculum setting because of the diversity of this technology. Guided by the principles of software engineering, a philosophicallevel solution is proposed. It suggests that JDBC course be excluded, and JSP course and SQL programming contents be simplified;in the mean time strengthen the learning of popular application framework and related software engineering theories. Compared to the pre-reformed curriculum system, the proposed programme covers more technological contents yet requires less class hour. Results on experimental class show that the proposed curriculum programme can lower the technical threshold while increase the practical ability of the students and the overall teaching effectiveness.

关键词： java teaching computer education discipline construction curriculum programme education reform

来源：评论

学校读者我要写书评

暂无评论

JEstelle novel approach to the distributed java systems specification and development 03

JEstelle novel approach to the distributed Java systems spec...

引用

proceedings of the 2nd international conference on principles and practice of programming in java

作者： Marcin Czenko Jean-Luc Raffy Warsaw University of Technology Nowowiejska 15/19 00-665 Warsaw Poland GET/INT CNRS Samovar 9 rue Charles Fourier 91011 Evry CEDEX France

ISBN: (纸本)9780954414511

The design of distributed java applications is a very complicated task. Regardless of java's ease of use and portability, a method that provides a means of testing and validating complex systems in a satisfactory manner is still lacking. In addition system portability is often decreased due to strong dependencies between subsystem implementation and the way they communicate. In this article we would like to introduce JEstelle -- the union of java and the Estelle Formal Description Technique. JEstelle provides a solution that can significantly simplify the distributed java applications development. JEstelle introduces some level of formalism to the communication part of a distributed java application, thus allowing for its validation and improving readability of the system design. JEstelle does not introduce serious java API restrictions and naturally supports automatic implementation code generation. Development of JEstelle support tools is simplified due to a combination of specific features of java technology and the use of existing Estelle development tools. JEstelle is easy to use and practically does not require the designer to be familiar with Formal Description Techniques at all, and with Estelle in particular.

关键词： Estelle distributed systems software engineering formal description techniques java

来源：评论

学校读者我要写书评

暂无评论

Discussion on the Mixed Teaching Mode of “Object-Oriented programming” Course Based on Superstar Platform

Discussion on the Mixed Teaching Mode of “Object-Oriented P...

引用

Information Science and Education (ICISE-IE), international conference on

作者： Ru Zhang Xianfang Tang Lei Ma Juan Wang Xi'an Mingde Institute of Technology Xi'an

ISBN: (纸本)9781665438308

This paper analyzes and thinks the advantages and disadvantages of traditional teaching methods of java course. The thinking and practical application of the hybrid teaching mode based on the superstar platform are conducted. This paper takes the practice application and analysis from three main aspects incluing pre-class preview, after class consolidation expansion and hybrid assessment mechanism. After a semester of practice, students ’learning interest and learning effect are improved significantly. Superstar teaching platform has the incomparable advantages in traditional teaching methods in promoting teaching practice innovation reform and improve students’ innovation ability.

关键词： Technological innovation java Information science Education

来源：评论

学校读者我要写书评

暂无评论

Efficient java thread serialization 03

Efficient Java thread serialization

引用

proceedings of the 2nd international conference on principles and practice of programming in java

作者： Sara Bouchenak Daniel Hagimont Noël De Palma Swiss Federal Institute of Technology IC/ IIF / LABOS / INN315 CH-1015 Lausanne Switzerland INRIA 655 av. de l'Europe Montbonnot 38334 St-Ismier Cedex France INPG 655 av. de l'Europe Montbonnot 38334 St-Ismier Cedex France

ISBN: (纸本)9780954414511

The java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, java does not provide any mechanism for the transmission/storage of computation (i.e., thread serialization). Several projects have recently addressed the issue of java thread serialization, e.g., Sumatra, Wasp, javaGo, Brakes, Merpati. But none of them has been able to avoid the overhead incurred by thread serialization on thread performance. We propose a java thread serialization mechanism that does not impose any performance overhead on serialized threads. In this paper, we describe our implementation of thread serialization in Sun Microsystems' JVM, and present the techniques that allowed us to cancel the performance overhead, namely type inference and dynamic de-optimization.

关键词： threads persistence K2checkpoint/restart mobility type inference dynamic de-optimization performance JVM

来源：评论

学校读者我要写书评

暂无评论

Towards an open finite domain constraint solver 2nd

Towards an open finite domain constraint solver

引用

2nd international conference on principles and practice of Constraint programming, CP 1996

作者： Carlsson, Mats Carlson, Björn Ottosson, Greger Computing Science Dept Uppsala University PO Box 311 UPPSALAS-751 05 Sweden SICS PO Box 1263 KISTAS-164 28 Sweden Xerox PARC 3333 Coyote Hill Road Palo AltoCA94304-9960 Sweden

ISBN: (纸本)3540615512

We describe the design and implementation of a finite domain constraint solver embedded in SICStus Prolog system using an extended unification mechanism via attributed variables as a generic constraint interface. The solver is based on indexicals, i.e. reactive functional rules performing incremental constraint solving or entailment checking. Propagation is done using the arc-consistency algorithm AC-3, adapted for non-binary constraints. At the heart of the algorithm is an evaluator for indexicals. The solver provides the usual predefined search strategies (fixed order, fail-first principle, branch and bound for minimization or maximization). Access predicates for the relevant variable attributes (domain value, bounds and size etc.) are also provided, making customized search strategies easily programmable. A design goal has been to keep the solver open-ended and extendible as well as to keep a substantial part written in Prolog, partly contradicting conventional wisdom in implementing constraint solvers. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

A test-driven approach for developing software languages

A test-driven approach for developing software languages

引用

international conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Omar Badreddin Andrew Forward Timothy C. Lethbridge School of Electrical Engineering and Computer Science (EECS) University of Ottawa Ottawa Canada

ISBN: (纸本)9781479941643

Test-Driven Development (TDD) is the practice of attempting to use the software you intend to write, before you write it. The premise is straightforward, but the specifics of applying it in different domains can be complex. In this paper, we provide aTDD approach for language development. The essence is to apply TDD at each of four levels of language processing, hence we call our approach Multi-Level TDD, or MLTDD. MLTDD can be applied to programming languages, preprocessors, domain specific languages, and transformation engines. MLTDD was used to build Umple, a model-oriented programming language available for java, Ruby, and PHP. We present two case studies where this approach was implemented to develop two other domain specific languages.

关键词： Testing Syntactics Semantics java Generators Unified modeling language Software

来源：评论

学校读者我要写书评

暂无评论

An instance of adaptive constraint propagation 2nd

An instance of adaptive constraint propagation

引用

2nd international conference on principles and practice of Constraint programming, CP 1996

作者： Sakkout, Hani El Wallace, Mark G. Richards, E. Barry IC-Parc Imperial College LondonSW7 2AZ United Kingdom

ISBN: (纸本)3540615512

Constraint propagation algorithms vary in the strength of propagation they apply. This paper investigates a simple configuration for adaptive propagation-the process of varying the strength of propagation to reflect the dynamics of search. We focus on two propagation methods, Arc Consistency (AC) and Forward Checking (FC). AC-based algorithms apply a stronger form of propagation than FC-based algorithms;they invest greater computational effort to detect inconsistent values earlier. The relative payoff of maintaining AC during search as against FC may vary for different constraints and for different intermediate search states. We present a scheme for Adaptive Arc Propagation (AAP) that allows the flexible combination of the two methods. Meta-level reasoning and heuristics are used to dynamically distribute propagation effort between the two. One instance of AAP, Anti-Functional Reduction (AFR), is described in detail here. AFR achieves precisely the same propagation as a pure AC algorithm while significantly improving its average performance. The strategy is to gradually reduce the scope of AC propagation during backtrack search to exclude those arcs that may be subsequently handled as effectively by FC. Experimental results confirm the power of AFR and the validity of adaptive propagation in general. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：