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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

999 篇 会议
69 册 图书
10 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

698 篇 工学
- 569 篇 计算机科学与技术...
- 497 篇 软件工程
- 148 篇 控制科学与工程
- 133 篇 信息与通信工程
- 89 篇 电气工程
- 70 篇 机械工程
- 59 篇 动力工程及工程热...
- 51 篇 生物工程
- 48 篇 交通运输工程
- 44 篇 电子科学与技术（可...
- 37 篇 安全科学与工程
- 27 篇 光学工程
- 25 篇 生物医学工程（可授...
- 23 篇 仪器科学与技术
- 22 篇 化学工程与技术
- 19 篇 材料科学与工程（可...
- 17 篇 建筑学
- 17 篇 土木工程
393 篇 理学
- 299 篇 数学
- 59 篇 生物学
- 54 篇 系统科学
- 48 篇 物理学
- 39 篇 统计学（可授理学、...
- 28 篇 化学
196 篇 管理学
- 149 篇 管理科学与工程(可...
- 77 篇 工商管理
- 70 篇 图书情报与档案管...
40 篇 教育学
- 40 篇 教育学
37 篇 经济学
- 37 篇 应用经济学
23 篇 法学
- 20 篇 社会学
16 篇 医学
13 篇 农学
2 篇 文学
2 篇 军事学

主题

66 篇 software enginee...
65 篇 linear programmi...
53 篇 programming
40 篇 software enginee...
34 篇 artificial intel...
29 篇 optimization
26 篇 dynamic programm...
25 篇 programming tech...
24 篇 costs
22 篇 computational mo...
19 篇 programming lang...
18 篇 programming prof...
18 篇 integer programm...
18 篇 logics and meani...
17 篇 training
16 篇 computer communi...
16 篇 students
14 篇 machine learning
14 篇 engineering educ...
13 篇 computer science

机构

4 篇 department of sy...
4 篇 zhejiang univers...
4 篇 school of comput...
4 篇 state grid sichu...
4 篇 school of inform...
4 篇 school of mechan...
3 篇 school of automa...
3 篇 school of inform...
3 篇 school of comput...
3 篇 cent res inst el...
3 篇 eindhoven univer...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of electr...
3 篇 school of comput...
3 篇 school of inform...
3 篇 polytechnic inst...
3 篇 department of co...
3 篇 school of inform...
3 篇 school of inform...

作者

4 篇 hideki katagiri
4 篇 sanxing cao
4 篇 yin guodong
3 篇 zhang tao
3 篇 laksono pringgo ...
3 篇 chen hao
3 篇 kosuke kato
3 篇 rosyidi cucuk nu...
3 篇 miller j
3 篇 takano hirotaka
3 篇 asano hiroshi
3 篇 liu wei
3 篇 zhang chen
3 篇 shen tong
3 篇 smith m
3 篇 el-kenawy el-say...
3 篇 yang liu
3 篇 martin a
3 篇 abotaleb mostafa
3 篇 mugridge r

语言

1,034 篇 英文
42 篇 其他
6 篇 中文
1 篇 西班牙文

检索条件"任意字段=6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022"

共 1078 条记录，以下是921-930 订阅

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

详细简洁

排序：

A case study on naked objects in agile software development

A case study on naked objects in agile software development

引用

6th international conference on Extreme programming and Agile Processes in Software engineering

作者： Keränen, H Abrahamsson, P VTT Tech Res Ctr Finland FIN-90571 Oulu Finland Univ Oulu Dept Informat Proc Sci FIN-90014 Oulu Finland

ISBN: (纸本)3540262776

Naked Objects and agile software development have been suggested to complement each other. Very few empirical studies to date exist where a product has been developed using the Naked Objects technologies in an agile development environment. this study reports results of a case study where a mobile application was developed using the Naked Objects Framework. Qualitative and quantitative data was collected systematically throughout the project. the empirical results offer support for the argument that the Naked Objects approach is suitable for agile software development. the results also reveal weaknesses in the current Naked Object Framework, namely, that it is not yet mature enough for applications that require intense database operations. the results also show that the development team was able to create an operational user-interface just in five hours, which demonstrates the applicability of the Naked Object Framework in practical settings.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Genetic algorithms for solving linear bilevel programming

Genetic algorithms for solving linear bilevel programming

引用

6th international conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2005

作者： Wang, Guang-Min Wan, Zhong-Ping Wang, Xian-Jia Chen, Ya-Lin Systems Engineering Institute Wuhan University Wuhan 430072 China School of Mathematics and Statistics Wuhan University Wuhan 430072 China

ISBN: (纸本)0769524052

Bilevel programming, a tool for modelling decentralized decisions, consists of the objectives of the upper level and lower level. And numerous methods are proposed for solving this problem. In this paper, we provide a genetic algorithm method for solving the linear bilevel programming. In our algorithm, we adopted some techniques to guarantee the not only the initial chromosomes but also the chromosomes generated by genetic operators are all feasible, which greatly reduces the searching space and avoiding the difficulty to deal with the infeasible points. Furthermore, it also enhances the efficiency of the algorithm that the best offsprings are selected to replace the parents in operator procedures. Some examples are illustrative to show the feasibility and efficiency of the algorithm proposed in this paper. © 2005 IEEE.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Co-evolutionary rule-chaining genetic programming

Co-evolutionary rule-chaining genetic programming

引用

6th international conference on Intelligent Data engineering and Automated Learning - IDEAL 2005

作者： Shum, Wing-Ho Leung, Kwong-Sak Wong, Man-Leung Department of Computer Science and Engineering Chinese University of Hong Kong Shatin Hong Kong Department of Information Systems Lingnan University Tuen Mun Hong Kong

A novel Genetic programming (GP) paradigm called Co-evolutionary Rule-Chaining Genetic programming (CRGP) has been proposed to learn the relationships among attributes represented by a set of classification rules for multi-class problems. It employs backward chaining inference to carry out classification based on the acquired acyclic rule set. Its main advantages are: 1) it can handle more than one class at a time;2) it avoids cyclic result;3) unlike Bayesian Network (BN), the CRGP can handle input attributes with continuous values directly;and 4) with the flexibility of GP, CRGP can learn complex relationship. We have demonstrated its better performance on one synthetic and one real-life medical data sets. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

E-TDD - Embedded test driven development a tool for hardware-software co-design projects

E-TDD - Embedded test driven development a tool for hardware...

引用

6th international conference on Extreme programming and Agile Processes in Software engineering

作者： Smith, M Kwan, A Martin, A Miller, J Univ Calgary Dept Elect & Comp Engn Calgary AB T2N 1N4 Canada Univ Edmonton Dept Elect & Comp Engn Edmonton AB T6G 2V4 Canada

ISBN: (纸本)3540262776

Test driven development (TDD) is one of the key Agile practices. A version of CppUnitLite was modified to meet the memory and speed constraints present on self-contained, high performance, digital signal processing (DSP) systems. the specific characteristics of DSP systems required that the concept of refactoring be extended to include concepts such as "refactoring for speed". We provide an experience report describing the instructor-related advantages of introducing an embedded test driven development tool E-TDD into third and fourth year undergraduate Computer engineering Hardware-Software Codesign Laboratories. the TDD formal permitted customer (instructor) hardware and software tests to be specified as "targets" so that the requirements for the components and full project were known "up-front". Details of CppUnitLit extensions necessary to permit tests specific for a small hardware-software codesign project, and lessons learnt when using the current E-TDD tool, are given. the next stage is to explore the use of the tool in an industrial context of a video project using the hybrid communication-media (HCM) dual core Analog Devices ADSP-BF561 Blackfin processor.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Efficient verification of halting properties for MPI programs with wildcard receives 05

引用

6th international conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005

作者： Siegel, Stephen F. Laboratory for Advanced Software Engineering Research Department of Computer Science University of Massachusetts Amherst MA 01003 United States

ISBN: (纸本)9783540242970

We are concerned with the verification of certain properties, such as freedom from deadlock, for parallel programs that are written using the Message Passing Interface (MPI). It is known that for MPI programs containing no "wildcard receives" (and restricted to a certain subset of MPI) freedom from deadlock can be established by considering only synchronous executions. We generalize this by presenting a model checking algorithm that deals with wildcard receives by moving back and forth between a synchronous and a buffering mode as the search of the state space progresses. this approach is similar to that taken by partial order reduction (POR) methods, but can dramatically reduce the number of states explored even when the standard POR techniques do not apply. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

A query pattern analysis for the support system construction in computer education

A query pattern analysis for the support system construction...

引用

IthET 2005: 6th international conference on Information Technology Based Higher Education and Training, 2005

作者： Takeda, Kazue Morishita, Junya Kang, Min Department of Literature Kobe Women's University Graduate School of Cultural Studies and Human Science Kobe University

ISBN: (纸本)0780391411

Most built-in help systems provided by makers of applications are insufficient to answer students' queries in the class room situations. Support systems which reflect on the real queries in class are desirable. To construct such a support system, we developed a prototype system with a web application in combination with the regular human interactive support. Moreover, we stored all queries and responses using the system, and analyzed the queries. According to the analysis, we found that the queries could be divided into three types: queries about concept, how-to queries about computer use, and simple queries concerning current status of the computer environment. We also revealed automatic responses to how-to and simple queries were effective. On the other hand, queries about concept acquisition such as programming varied in contents and required human support. To implement automatic responses to this type of queries we need to further investigate their contents. © 2005 IEEE.

关键词： engineering education

来源：评论

学校读者我要写书评

暂无评论

Software development and experimentation in an academic environment: the Gaudi experience 1

引用

6th international conference on Product Focused Software Process Improvement, PROFES 2005

作者： Back, Ralph-Johan Milovanov, Luka Porres, Ivan Turku Centre for Computer Science Åbo Akademi University Department of Computer Science Lemminkäisenkatu 14 A FIN-20520 Turku Finland

ISBN: (数字)9783540316404

ISBN: (纸本)9783540262008

In this article, we describe an approach to empirical software engineering based on a combined software factory and software laboratory. the software factory develops software required by an external customer while the software laboratory monitors and improves the processes and methods used in the factory. We have used this approach during a period of four years to define and evaluate a software process that combines practices from Extreme programming with architectural design and documentation practices in order to find a balance between agility, maintainability and reliability. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

A framework for linking projects and project management methods 1

引用

6th international conference on Product Focused Software Process Improvement

作者： Dale, T Churcher, N Irwin, W Univ Canterbury Software Engn & Visualisat Grp Comp Sci & Software Engn Dept Canterbury New Zealand

ISBN: (数字)9783540316404

ISBN: (纸本)3540262008

Software development processes such as the Waterfall process and Extreme programming are project management methods (PMMs) which are well known and widely used. However, conventional project management (PM) lacks the process concepts expressed in PMMs, and the connection between PMMs and PM is not much explored in the literature. We present data models for PM and PMM, in a framework that can articulate the PM-to-PMM relationship, illustrating with simple examples. A java/XML implementation of this framework can create and then revise a "PMM-aware" project, conforming to a specified PMM. In terms of the framework, we describe a simple project data visualization and associated method that can be used to synthesize a PMM for a project instance that was initially created without reference to any PMM.

关键词： project management software engineering project management methods project processes data modelling XML visualization

来源：评论

学校读者我要写书评

暂无评论

Teaching ad-hoc networks using a simple agent framework

Teaching ad-hoc networks using a simple agent framework

引用

IthET 2005: 6th international conference on Information Technology Based Higher Education and Training, 2005

作者： Pantic, Maja Zwitserloot, Reinier Grootjans, Robbert-Jan Delft University of Technology Electrical Engineering Mathematics and Computer Science Mekelweg 4 2628 CD Delft Netherlands

ISBN: (纸本)0780391411

this paper describes a method of teaching Agent Technology and Ad-hoc Networks using a novel, simple agent framework developed specifically for the purposes of teaching introductory artificial Intelligence (AI) to undergraduate students. the agent framework in question is Java-implemented and it embodies the concepts of concurrency, multi-agency, persistency, and mobility. the introductory AI coursework in question is a set of assignments that requires the students to use intelligent agents to route SMS messages through an ad-hoc network. While many AI courses teach basic AI concepts such as heuristic search, rule-based reasoning, and neural networks, by means of programming assignments, we were not able to find any AI course introducing students to relatively new AI concepts such as distribution, mobility and ad-hoc networks by similar means. the coursework presented in this paper represents a synthesis of the traditional objectivist approach and a real-world oriented, constructivist approach to introducing students to these "hot topics". © 2005 IEEE.

关键词： Wireless telecommunication systems

来源：评论

学校读者我要写书评

暂无评论

Agile methods for embedded systems

Agile methods for embedded systems

引用

6th international conference on Extreme programming and Agile Processes in Software engineering

作者： Wilking, D Univ Aachen Rhein Westfal TH Aachen Chair Comp Sci 11 D-5100 Aachen Germany

ISBN: (纸本)3540262776

the main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded systems development or not (cf. [2]). Regarding the special context of embedded system, there are some aspects to be mentioned as stated in [3]. these include the function oriented development which lead to early testing of the system, the use of target-processor simulation and the problem of hardware software codesign. the first problem being addressed is the evaluation of well known sub-techniques like refactoring, TDD, fast development cycles, short design horizon, or similar methods in the context of embedded systems. A complementary approach consists of the elaboration of underlying root causes which make agile methods appear as a sound alternative to classic techniques. For example assumptions like source code degrading over time, non-costumer oriented development, overly complex systems, and wrong development focus could be checked. A possible subdivision of the causes can be done by distinguishing effects that are generated by agile methods and effects that typically exist in embedded system engineering. this can be regarded as an alternative upside down procedure which will more likely yield a justification for agile methods in embedded system development. Finding a causation with an appropriate prioritization appears more challenging and thus will be used only to verify techniques which have a strong effect. the first step toward an assessment of agile methods has been started by executing a study during a lab course which is guided by the ideas described in [1]. Here, the students are divided into a planning group and an agile group, each developing a pre-crash system based on ultrasonic sensors. the two data collection mechanisms are a biweekly survey and a time recording log. the underlying aim is to show the influence of the planning horizon on embedded system development. this a

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共108页 << < 89 90 91 92 93 94 95 96 97 98 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：