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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

23 篇 会议
4 册 图书
4 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

19 篇 工学
- 18 篇 计算机科学与技术...
- 17 篇 软件工程
- 5 篇 控制科学与工程
- 2 篇 信息与通信工程
- 1 篇 电气工程
- 1 篇 航空宇航科学与技...
9 篇 理学
- 5 篇 数学
- 3 篇 化学
- 1 篇 物理学
- 1 篇 系统科学
- 1 篇 统计学（可授理学、...
4 篇 管理学
- 4 篇 管理科学与工程(可...
- 1 篇 工商管理
- 1 篇 图书情报与档案管...

主题

3 篇 software enginee...
3 篇 programming lang...
2 篇 computer science
2 篇 productivity
2 篇 application soft...
2 篇 autonomous agent...
2 篇 mathematical log...
2 篇 genetic algorith...
2 篇 programming tech...
2 篇 logics and meani...
1 篇 object oriented ...
1 篇 programming prof...
1 篇 k framework
1 篇 routing
1 篇 interoperability
1 篇 software package...
1 篇 formal operation...
1 篇 software enginee...
1 篇 decision support...
1 篇 programming

机构

2 篇 department of so...
2 篇 óbudai egyetem b...
2 篇 budapest univers...
1 篇 oracle labs us u...
1 篇 east china norma...
1 篇 tampere universi...
1 篇 shanghai key lab...
1 篇 tampere univ tec...
1 篇 tampere univ tec...
1 篇 east china norma...
1 篇 university of no...
1 篇 oracle labs at u...
1 篇 department of so...
1 篇 university of no...
1 篇 institut für inf...
1 篇 department of so...
1 篇 graduate school ...
1 篇 university of hi...
1 篇 óbudai egyetem/a...
1 篇 department of co...

作者

3 篇 vanhatupa juha-m...
2 篇 zhang min
2 篇 gyimothy tibor
2 篇 schrettner lajos
2 篇 klaus schmid
2 篇 hadaytullah
2 篇 koskimies kai
2 篇 vathsavayi sriha...
1 篇 al-shaer ehab
1 篇 istván orosz
1 篇 markoski b.
1 篇 humer christian
1 篇 nestra härmel
1 篇 ulbrich mattias
1 篇 m. wrighton
1 篇 túri balázs
1 篇 david schmidt
1 篇 pataki norbert
1 篇 gyimo ´thy tibor
1 篇 heinimaki teemu ...

语言

30 篇 英文
1 篇 中文

检索条件"任意字段=12th Symposium on Programming Languages and Software Tools, SPLST 2011"

共 31 条记录，以下是1-10 订阅

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

详细简洁

排序：

12th symposium on programming languages and software tools, splst'11 Proceedings

12th Symposium on Programming Languages and Software Tools, ...

引用

12th symposium on programming languages and software tools, splst 2011

ISBN: (纸本)9789949231782

the proceedings contain 25 papers. the special focus in this conference is on software tool and its development. the topics include: purely functional global variables;compiler support for profiling C++ template metaprograms;database-driven tool support for DisCo executable specifications;a multi-layer diagrammatic (Meta) modelling environment;the INTEGRA tool integration framework;a model for language-independent mobile agents;layered artificial intelligence framework for autonomous agents;interleaving human and search-based software architecture design;class and object model conformance using OWL2 reasoners;bounded saturation based CTL model checking;automated code synthesis for run-time verification of distributed embedded systems;a declarative approach to solving challenging search problems;personalized side-quest generation for computer role-playing games;adjusting effort estimation using micro-productivity profiles;quantitative system reliability approach for optimizing IT security costs in an AI environment;component reuse in ensemble-based medical image processing applications;extended choice relation framework for workflow testing and towards more reliable C++ template metaprograms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Contract-LIB: A Proposal for a Common Interchange Format for software System Specification 12th

Contract-LIB: A Proposal for a Common Interchange Format for...

引用

12th International symposium on Leveraging Applications of Formal Methods, Verification and Validation

作者： Ernst, Gidon Pfeifer, Wolfram Ulbrich, Mattias Ludwig Maximilians Univ Munchen Munich Germany Karlsruhe Inst Technol Karlsruhe Germany

ISBN: (纸本)9783031753794;9783031753800

Interoperability between deductive program verification tools is a well-recognized long-standing challenge. In this paper we propose a solution for a well-delineated aspect of this challenge, namely the exchange of abstract contracts for possibly stateful interfaces that represent modularity boundaries. Interoperability across tools, specification paradigms, and programming languages is achieved by focusing on abstract implementation-independent behavioral models. the approach, called Contract-LIB in reminiscence of the widely-successful SMT-LIB format, aims to standardize the language over which such contracts are formulated and provides clear guidance on its integration with established methods to connect high-level specifications with code-level data structures. We demonstrate the ideas with examples, define syntax and semantics, and discuss the rationale behind key design decisions.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Interleaving human and search-based software architecture design

Interleaving human and search-based software architecture de...

引用

12th symposium on programming languages and software tools, splst 2011

作者： Vathsavayi, Sriharsha Hadaytullah Koskimies, Kai Tampere University of Technology Finland

ISBN: (纸本)9789949231782

An approach for semi-automated design of software architecture is proposed. the approach makes use of a search-based architecture synthesis technique exploiting genetic algorithms. An interactive process of software architecture design is proposed, where the automatic search-based generation of architectural fragments interleaves with the decisions of a human architect. To support such a process, tool mechanisms are proposed and implemented. the approach is studied using a sample system, whose architecture is designed following the interactive process model.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Simpl: A toolkit for rapid DSL implementation

Simpl: A toolkit for rapid DSL implementation

引用

12th symposium on programming languages and software tools, splst 2011

作者： Freudenthal, Margus Pugal, David Cybernetica AS Tartu Estonia University of Tartu Tartu Estonia

ISBN: (纸本)9789949231782

this paper describes the Simpl toolkit for implementing domain-specific languages (DSLs). Simpl aims to be a comprehensive toolkit that covers most of the aspects of developing a DSL. DSL implementations created with Simpl can be embedded into a larger system because no assumptions about architecture of the system are made. Simpl is based on existing tools and adds to them a grammar description language, automatic generation of abstract syntax tree classes, convenient API for creating language IDEs, and integration layer to tie together the base components. Two tests were performed to evaluate the Simpl toolkit. Firstly, a fairly complex DSL, namely Waebric, was implemented and code metrics were compared to implementations based on other DSL tools. Simpl implementation contained the fewest lines of code and the code complexity was lower compared to the other tools. Secondly, subjects implemented a DSL using Simpl and using the ANTLR parser generator. the results showed that implementing the task with Simpl took less time than with ANTLR.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

Answer set programming: A declarative approach to solving challenging search problems

Answer set programming: A declarative approach to solving ch...

引用

12th symposium on programming languages and software tools, splst 2011

作者： Niemelä, Ilkka Aalto University Department of Information and Computer Science P.0.Box 15400 FI-00076 AALTO Finland

ISBN: (纸本)9789949231782

Answer set programming (ASP) is a declarative programming paradigm that has its roots in the stable model (answer set) semantics of logic programs and implementations of this semantics developed in the late 90's. the basic idea of ASP is similar to, for example, SAT-based planning or constraint satisfaction problems but in ASP the goal is to provide a more powerful knowledge representation language for effective problem encoding. A number of successful ASP systems have already been developed and applied in areas such as planning, decision support for the flight controllers of space shuttles, web-based product configuration, configuration of a Linux distribution, computer aided verification, VLSI routing, network management, security protocol analysis, network inhibition analysis, and diagnosis. the talk explains the theoretical underpinnings of ASP, introduces the ASP programming paradigm, outlines computational techniques used in current ASP solvers, and discusses some interesting applications of the approach.

关键词： Space shuttles

来源：评论

学校读者我要写书评

暂无评论

Purely functional global variables

Purely functional global variables

引用

12th symposium on programming languages and software tools, splst 2011

作者： Nestra, Härmel Institute of Computer Science University of Tartu Estonia

ISBN: (纸本)9789949231782

this paper studies an approach to implementing global mutable variables within a purely functional setting. Global variables seem to be one of the nastiest pieces of the imperative world, being hard to emulate functionally even in the presence of monadic input-output. the source of difficulty lies in the monadic memory allocation operation. the standard way to get around of using global variables in practice is packing the global data into parameters that are passed (either explicitly or implicitly) to every function that needs them. Our aim is to show that functional programming enables, with reasonable effort, implementing global mutable variables in the true meaning of this concept. this makes handling global data easier in programs. the core idea of our approach is to make memory allocation implicit. We implement our ideas in Haskell. Mutable variables are first-class values belonging to special types that are parametrized by the type of values that the variables hold. Basically, the approach follows the way variables and their values are handled in semantics of imperative programming languages. Nevertheless, the approach would not be practically reasonable without type families, scoped type variables and other recent developments of GHC.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

Does the Shannon bound really apply to data structures?

Does the Shannon bound really apply to data structures?

引用

12th symposium on programming languages and software tools, splst 2011

作者： Valmari, Antti Tampere University of Technology Department of Software Systems PO Box 553 FI-33101 Tampere Finland

ISBN: (纸本)9789949231782

Shannon's information-theoretic lower bound has been developed for uniquely decodable systems of bit strings, while ordinary data structures often consist of many separate blocks of memory. One might expect that adapting the bound to data structures is trivial, but we demonstrate that this is not the case. Our counter-example represents the status of a distributed system via two bits. Each bit is sometimes used for another purpose and is then outside the data structure, but only when the intended value is determined by the other bit. Kraft's inequality, which is at the heart of informationtheoretic lower bound proofs, does not hold for this system. then we formalise the concept of data structure with the notion of "representation scheme" that is general enough to model the example system. We re-establish the information-theoretic lower bound by proving that Kraft's inequality applies to a subset of representation schemes that contains the memory-optimal schemes.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

Personalized side-quest generation for computer role-playing games

Personalized side-quest generation for computer role-playing...

引用

12th symposium on programming languages and software tools, splst 2011

作者： Vanhatupa, Juha-Matti Department of Software Systems Tampere University of Technology Tampere Finland

ISBN: (纸本)9789949231782

Modern computer role-playing games contain numerous quests, individual puzzles to be solved by the player character. Usually quests are predefined by the application developer, and a lot of application development time is spent in programming those. Predefined quests are however errorprone and difficult to maintain. In addition, predefined quests appear in the same form in every playtime and no matter what kind of player character the player is playing. In this paper, we present a generative approach to produce personalized side-quests for computer role-playing games. Using this approach, it is possible to replace the predefined quests and ease the work of the application developer, or simply use generated quests in addition to hard-coded ones, therefore further increasing the number quests in the game. the quest generation is based on attributes of the player character, which ensures those are suitable for the game. To evaluate our approach, we have implanted quest generator program and used it with an existing environment the CAGE game engine. We present example cases, where generated quests are used in a western computer role-playing game prototype.

关键词： Computer games

来源：评论

学校读者我要写书评

暂无评论

Layered artificial intelligence framework for autonomous agents

Layered artificial intelligence framework for autonomous age...

引用

12th symposium on programming languages and software tools, splst 2011

作者： Heinimäki, Teemu J. Vanhatupa, Juha-Matti Department of Software Systems Tampere University of Technology P.O. Box 553 FI-33101 Tampere Finland

ISBN: (纸本)9789949231782

In computer games, the current trend is to create large virtual worlds with numerous non-player characters. Usually their artificial intelligence is implemented by scripting, which can be a burden for application developers. this paper suggests an approach, in which hard-coded scripting is replaced by autonomous agents with personal characteristics. Using this approach the amount of scripting needed is reduced and the resulting agents can be made to behave in natural manner. Also, applying e.g. the goal-oriented agent paradigm is easy. the definitions needed are written using a script language;therefore the agent configurations can be tested rapidly. We have also implemented a specific tool for simplifying the actual code-writing task. For evaluating our approach, we have extended an existing environment and created a framework. We present two example scenarios specialized from it.

关键词： Autonomous agents

来源：评论

学校读者我要写书评

暂无评论

Adjusting effort estimation using micro-productivity profiles

Adjusting effort estimation using micro-productivity profile...

引用

12th symposium on programming languages and software tools, splst 2011

作者： Tóth, Gabriella Végh, Ádám Zoltán Beszédes, Árpád Schrettner, Lajos Gergely, Tamás Gyimo ´thy, Tibor Department of Software Engineering University of Szeged Hungary

ISBN: (纸本)9789949231782

We investigate a phenomenon we call micro-productivity decrease, which is expected to be found in most development or maintenance projects and has a specific profile that depends on the project, the development model and the team. Micro-productivity decrease refers to the observation that the cumulative effort to implement a series of changes is larger than the effort that would be needed if we made the same modification in only one step. the reason for the difference is that the same sections of code are usually modified more than once in the series of (sometimes imperfect) atomic changes. Hence, we suggest that effort estimation methods based on atomic change estimations should incorporate these profiles when being applied to larger modification tasks. We verify the concept on industrial development projects with our metrics-based machine learning models extended with statistical data. We show the calculated micro-productivity profile for these projects could be used for effort estimation of larger tasks with more accuracy than a naive atomic change oriented estimation.

关键词： Productivity

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共4页 << < 1 2 3 4 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：