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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,178 篇 会议
329 篇 期刊文献
7 册 图书
5 篇 学位论文

馆藏范围

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

日期分布

学科分类号

641 篇 工学
- 460 篇 计算机科学与技术...
- 311 篇 软件工程
- 221 篇 电气工程
- 78 篇 控制科学与工程
- 63 篇 信息与通信工程
- 49 篇 机械工程
- 31 篇 电子科学与技术（可...
- 20 篇 仪器科学与技术
- 16 篇 材料科学与工程（可...
- 7 篇 生物医学工程（可授...
- 6 篇 力学（可授工学、理...
- 6 篇 动力工程及工程热...
- 6 篇 化学工程与技术
- 5 篇 建筑学
- 5 篇 生物工程
- 4 篇 土木工程
- 4 篇 航空宇航科学与技...
- 4 篇 核科学与技术
106 篇 理学
- 69 篇 数学
- 14 篇 物理学
- 11 篇 系统科学
- 11 篇 统计学（可授理学、...
- 10 篇 生物学
- 7 篇 科学技术史(分学科...
55 篇 管理学
- 40 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
- 8 篇 工商管理
9 篇 医学
- 6 篇 临床医学
6 篇 教育学
- 6 篇 教育学
4 篇 文学
- 4 篇 新闻传播学
2 篇 哲学
2 篇 经济学
2 篇 法学
1 篇 历史学

主题

1,519 篇 automatic progra...
155 篇 programming prof...
144 篇 application soft...
143 篇 automatic contro...
136 篇 computer science
109 篇 robot programmin...
106 篇 robotics and aut...
104 篇 genetic programm...
90 篇 automatic testin...
88 篇 control systems
86 篇 hardware
84 篇 computer languag...
82 篇 humans
80 篇 software enginee...
76 篇 costs
73 篇 automation
72 篇 testing
70 篇 software systems
65 篇 functional progr...
63 篇 system testing

机构

8 篇 the robotics ins...
5 篇 school of comput...
4 篇 fujitsu laborato...
4 篇 national univers...
4 篇 graduate school ...
3 篇 department of co...
3 篇 sandia national ...
3 篇 college of infor...
3 篇 school of machin...
3 篇 swoop cambridge ...
3 篇 ostfold univ col...
3 篇 sri internationa...
3 篇 school of comput...
3 篇 hamilton coll cl...
3 篇 lockheed palo al...
3 篇 research institu...
3 篇 ibm research lab...
3 篇 sivas cumhuriyet...
3 篇 production model...
3 篇 department of el...

作者

11 篇 k. ikeuchi
7 篇 olsson roland
6 篇 h. mizutani
6 篇 arslan sibel
5 篇 akira hara
5 篇 arpaia pasquale
5 篇 c. ramos
5 篇 t. suehiro
5 篇 t. matsudaira
5 篇 j. rocha
5 篇 tetsuyuki takaha...
4 篇 katagiri takahir...
4 篇 helmuth thomas
4 篇 t. thomasma
4 篇 ikeuchi k
4 篇 pantridge edward
4 篇 jun-ichi kushida
4 篇 c.e. moron
4 篇 spector lee
4 篇 t.l. marzetta

语言

1,458 篇 英文
56 篇 其他
3 篇 中文
2 篇 日文
1 篇 法文

检索条件"主题词=Automatic Programming"

共 1519 条记录，以下是821-830 订阅

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

详细简洁

排序：

Adaptive test program generation: Planning for the unplanned 7

Adaptive test program generation: Planning for the unplanned

引用

7th Annual IEEE International Workshop on High-Level Design Validation and Test

作者： Adir, A Emek, R Marcus, E IBM Corp Res Lab Haifa Israel

ISBN: (纸本)0780376552

Simulation of automatically-generated test programs is the primary means for verifying complex hardware designs and random test program generators therefore play a major role in the verification process of micro-processors. The input for a test program generator is typically an abstract specification-a template-of the tests to be generated. Due to randomness, generators often encounter situations that were not anticipated when the test specification was written. In this paper, we introduce the concept of adaptive test program generation, which is designed to handle these unforeseen situations. We propose a technique that defines unexpected events together with their alternative program specifications. When an event is detected, its corresponding alternative specification is injected into the test program.

关键词： automatic programming automatic testing Event detection Feedback Filling Hardware Laboratories Process design Test pattern generators

来源：评论

学校读者我要写书评

暂无评论

Scoped memory 5

Scoped memory

引用

5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002)

作者： Bollella, G Reinholtz, K Sun Microsyst Inc Labs Palo Alto CA 94303 USA

ISBN: (纸本)0769515584

Scoped memory is perhaps the most novel contribution of the Real-Time Specification for Java (RTSJ) to the Java programming language. In this paper we show that scoped memory can be used to reduce the processor overhead of any possible garbage collection algorithm and to avoid all latency introduced by any garbage collection algorithm. These semantics make it easier to write correct real-time programs.

关键词： automatic logic units automatic programming Costs Delay Error correction Java Laboratories Memory management programming profession Safety

来源：评论

学校读者我要写书评

暂无评论

Experimental results of pattern-based automatic program generator

Experimental results of pattern-based automatic program gene...

引用

Symposium on Applications and the Internet (SAINT 2002)

作者： Yoshida, M Sakamoto, M Oki Software Co. Ltd. Japan

ISBN: (纸本)0769514472

In this paper, we describe the pattern-based automatic program generator. The new approach that mitigates restrictions between general package approach and application-oriented approach in software development is described. It provides efficient solutions for developing application-oriented systems. Experimental results show that our approach results in significant improvement as compared to the traditional software development.

关键词： Application software Application specific processors automatic programming automatic testing Costs Logic Packaging programming profession Software packages Software systems

来源：评论

学校读者我要写书评

暂无评论

A note on elimination of simplest recursions

A note on elimination of simplest recursions

引用

Asian Symposium on Partial Evaluation and Semantics - Based Program Manipulation

作者： Nemytykh, Andrei P. State Key Lab of Software Eng. Wuhan University Wuhan Hubei 430072 China Program Systems Institute RAS Pereslavl-Zalessky Yaroslavl region 152140 Russia

automatic program transformation, such as specialization, often introduces intermediate recursions that compute partial functions on parameters that are directly defined by simple recursive definitions. Replacing these recursive definitions by one-step definitions not only simplifies the residual program, but also allows more useful information to be propagated to remaining parts of the program, for continuing specialization. We give an easily recognized characterization of a class of recursive definitions, called syntactical monomials, that can be transformed to one-step definitions. We show our transformation is meaningful for specialization of interpreters and self-application of specializers.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

automatic generation of a Boyer-Moore type pattern matcher by generalized partial computation

Automatic generation of a Boyer-Moore type pattern matcher b...

引用

2002 IEEE International Conference on Systems, Man and Cybernetics

作者： Futamura, Yoshihiko Konishi, Zenjiro Glück, Robert School of Science and Engineering Waseda University 3-4-1 Ohkubo Shinjuku Tokyo 169-8555 Japan Inst. for Software Prod. Technology Waseda University 3-4-1 Ohkubo Shinjuku Tokyo 169-8555 Japan Inst. for Software Prod. Technology Waseda University PRESTO 3-4-1 Ohkubo Shinjuku Tokyo 169-8555 Japan

The purpose of this paper is to show that we can generate efficient string matching algorithms automatically by Generalized Partial Computation (GPC). GPC is a program transformation method utilizing partial information about input data and auxiliary functions as well as the logical structure of a source program. GPC uses both a classical partial evaluator and an inference engine such as a theorem prover to optimize programs. Here, we show that a Boyer-Moore type pattern matcher without the bad-character heuristic can be generated from a naive non-linear backward matcher by GPC. This sort of problem has already been discussed in a literature using off-line partial evaluator. However, to the best of our knowledge, this is the first paper to prove that every generated matcher runs in the same way as the BM. Here we will show with a proof that the problem can be solved starting from a simple and naive pattern matcher as a source program. We also show with a proof that a KMP type linear string matcher can be generated from a naive non-linear forward matcher by GPC.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Towards automatic mediation between heterogeneous software components

Towards automatic mediation between heterogeneous software c...

引用

SC 2002, Workshop on Software Composition Affiliated with ETAPS 2002 (Satellite Event of ETAPS 2002)

作者： Löhr, Klaus-Peter Insitut für Informatik Freie Universität Berlin 14195 Berlin Germany

An approach to software composition from heterogeneous components is presented. The focus is on heterogeneity of interaction styles. The interface of a component is described in an abstract manner, hiding the component's actual interaction style. This allows for automatic generation of code that mediates between incompatible styles, thus obviating the need for manual construction of wrappers. ©2002 Published by Elsevier Science B.V.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Creating portable and automatically scalable parallel software using the PARSA/spl trade/ programming methodology

Creating portable and automatically scalable parallel softwa...

引用

IEEE International Conference on Algorithms and Architectures for Parallel Processing (ICAP)

作者： V. Murthi D. Levine J. Marquis B. Shirazi Department of Computer Science & Engineering University of Texas Arlington USA Prism Parallel Technologies Inc. USA

We present a programming methodology that reduces parallel programming complexity, while creating portable and automatically scalable parallel software. To support this methodology two separate tools have been developed - the PARSA software development environment, and an accompanying thread manager. The development environment addresses programming issues via an object-based graphical programming methodology that transforms a project automatically into a portable and scalable source code. The generated source code makes calls to the user-level thread manager, which manages the run time execution of the parallel software. Two sample applications that contain various forms of parallelism have been developed and are compiled on three different systems with diverse native threading mechanisms to demonstrate portability. Finally, the automatic scalability is demonstrated with the run time performance of the applications on multiprocessor systems.

关键词： automatic programming Parallel programming Yarn programming profession Application software Electrical capacitance tomography Costs Computer science Vents Reactive power

来源：评论

学校读者我要写书评

暂无评论

Proposal of an automated record integration system for a programming exercise class

Proposal of an automated record integration system for a pro...

引用

International Conference on Computers in Education

作者： N. Matsuda H. Taki Faculty of Systems Engineering Wakayama University Wakayama Japan

To reuse an electronic educational material, a teacher has to understand its availability and methodology. This paper proposed the technique of integrating electronic class text, such as HTML/XML, into automated records of activities in a class. Our hypothesis is that an activity has influence on both the automated records and the class text. We designed structured record expression and event rules. The system integrates a class text into the records by forward deductive inference.

关键词： Proposals automatic programming HTML XML Motion pictures programming profession Costs Systems engineering and theory Cities and towns Availability

来源：评论

学校读者我要写书评

暂无评论

An agent based programming language learning support system

An agent based programming language learning support system

引用

International Conference on Computers in Education

作者： H. Mungunsukh Zixue Cheng Graduate Department of Computer Systems University of Aizu Fukushima Japan

In this paper, we describe an agent based a programming language learning support system for novice programmers in a distance-learning environment. The intention of this research work is to construct a learning support system, which enables learners to efficiently study a programming language. Generally, agent systems for a pedagogical purpose have a special role of adapting learners' needs, arranging collaboration among learners and making the system to be easy to author, etc. The present agent system follows such matters, however, this system mainly deals with programming principles and concepts to be taught based on the result of automatic diagnoses of students' psychological factors during learning. Usually self-study is one of the inextricable problems for novice students who are generally unmotivated to learn it, or even too complex a language is a big obstacle for students who are motivated to learn programming languages. The agent system, reported in this paper attempts to understand students' behavior by observing their typing events, behaviors on different purpose of web browser of lessons, tasks and examples, error types made by students and debugging events on a programming editor, then support students with relevant information. The system has a special programming language environment to provide students with lessons, tasks, and examples of tasks in a web integrated environment.

关键词： Computer languages programming profession Collaborative work Psychology Debugging Hardware Logic programming Computer aided instruction Cities and towns automatic programming

来源：评论

学校读者我要写书评

暂无评论

A programming model and system support for disconnected-aware applications on resource-constrained devices

A programming model and system support for disconnected-awar...

引用

International Conference on Software Engineering (ICSE)

作者： Y. Weinsberg I. Ben-Shaul Department of Electrical Engineering Technion-Israel Institute of Technology Haifa Israel

The emergence of networked lightweight portable computing devices can potentially enable accessibility to a vast array of remote applications and data. In order to cope with shortage of local resources such as memory, CPU and bandwidth, such applications are typically designed as a thin-client thick-server applications. However, another highly desirable yet conflicting requirement is to support disconnected operation, due to the low quality and high cost of online connectivity. We present a novel programming model and a runtime infrastructure that addresses these requirements by automatically reconfiguring the application to operate in disconnected mode of operation, when voluntary disconnection is requested, and automatically resorting to normal distributed operation, upon reconnection. The programming model enables developers to design disconnected aware applications by providing a set of component reference annotations with special disconnection and reconnection semantics. Using these annotations, designers can identify critical components, priorities, dependencies, local component alternatives with reduced functionality, and state merging policies. The runtime infrastructures carries out dis- and re-connection semantics using component mobility and dynamic application layout. The disconnected operation framework, FarGo-DA, is an extension of FarGo, a mobile component framework for distributed applications.

关键词： Cities and towns Optical arrays Costs Runtime Merging Permission Web server Electronic mail automatic programming Network servers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 79 80 81 82 83 84 85 86 87 88 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：