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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

45 篇 会议
6 册 图书
2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

33 篇 工学
- 31 篇 计算机科学与技术...
- 29 篇 软件工程
- 1 篇 机械工程
- 1 篇 电气工程
- 1 篇 电子科学与技术（可...
6 篇 理学
- 6 篇 数学
3 篇 管理学
- 2 篇 图书情报与档案管...
- 1 篇 管理科学与工程(可...
1 篇 法学
- 1 篇 法学
1 篇 教育学
- 1 篇 教育学

主题

6 篇 programming lang...
5 篇 software enginee...
4 篇 computer program...
4 篇 functional progr...
3 篇 object oriented ...
3 篇 programming prof...
3 篇 computer languag...
3 篇 programming tech...
3 篇 artificial intel...
3 篇 logics and meani...
2 篇 computer science
2 篇 message passing
2 篇 database systems
2 篇 theory of comput...
2 篇 programming
2 篇 java
2 篇 computational mo...
2 篇 natural language...
2 篇 protocols
2 篇 specification la...

机构

1 篇 inria
1 篇 institute of ele...
1 篇 computer science...
1 篇 univ copenhagen ...
1 篇 technische unive...
1 篇 roskilde univ ro...
1 篇 univ paris 11 cn...
1 篇 coordinated scie...
1 篇 univ porto dcc f...
1 篇 oak ridge natl l...
1 篇 inria rocquencou...
1 篇 univ of edinburg...
1 篇 section digital ...
1 篇 systems group et...
1 篇 univ oxford oxfo...
1 篇 computer science...
1 篇 univ potsdam pot...
1 篇 tu wien austria
1 篇 delft univ techn...
1 篇 radboud univ nij...

作者

2 篇 dagand pierre-ev...
1 篇 kistijantoro ach...
1 篇 vizzotto juliana...
1 篇 kozen dexter
1 篇 harrison robert ...
1 篇 bill roscoe
1 篇 c. gregoire
1 篇 thier patrick
1 篇 h.h. rubinovitz
1 篇 pierce benjamin
1 篇 andrius armonas
1 篇 morelli ralph
1 篇 beyer dirk
1 篇 remy didier
1 篇 holzer andreas
1 篇 eide eric
1 篇 michael c. loui
1 篇 little mark c.
1 篇 brendan mahony
1 篇 leao j.l.s.

语言

53 篇 英文

检索条件"任意字段=22nd Asian Symposium on Programming Languages and Systems"

共 53 条记录，以下是41-50 订阅

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

详细简洁

排序：

A Design of GPU-Based Quantitative Model Checking 1

引用

22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) jointly with the 48th ACM SIGPLAN symposium on Principles of programming languages (POPL)

作者： Kwon, YoungMin Kim, Eunhee State Univ New York Dept Comp Sci Incheon South Korea 2e Consulting Corp Seoul South Korea

ISBN: (数字)9783030670672

ISBN: (纸本)9783030670665;9783030670672

In this paper, we implement a GPU-based quantitative model checker and compare its performance with a CPU-based one. Linear Temporal Logic for Control (LTLC) is a quantitative variation of LTL to describe properties of a linear system and LTLC-Checker [1] is an implementation of its model checking algorithm. In practice, its long and unpredictable execution time has been a concern in applying the technique to real-time applications such as automatic control systems. In this paper, we design an LTLC model checker using a GPGPU programming technique. The resulting model checker is not only faster than the CPU-based one especially when the problem is not simple, but it has less variation in the execution time as well. Furthermore, multiple counterexamples can be found together when the CPU-based checker can find only one.

关键词： Quantitative model checking GPU programming LTLC

来源：评论

学校读者我要写书评

暂无评论

Model Checking Software 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Bernd Fischer Jaco Geldenhuys

ISBN: (数字)9783319234045

ISBN: (纸本)9783319234038

This book constitutes the refereed proceedings of the 22nd International symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

关键词： Software Engineering programming languages, Compilers, Interpreters Logics and Meanings of Programs

来源：评论

学校读者我要写书评

暂无评论

Component replication in distributed systems: A case study using enterprise java beans

Component replication in distributed systems: A case study u...

引用

22nd International symposium on Reliable Distributed systems, SRDS 2003

作者： Kistijantoro, Achmad I. Morgan, Graham Shrivastava, Santosh K. Little, Mark C. School of Computing Science Newcastle University Newcastle upon Tyne United Kingdom Arjuna Technologies Ltd. Newcastle upon Tyne United Kingdom

A recent trend has seen the extension of object-oriented middleware to component-oriented middleware. A major advantage components offer over objects is that only the business logic of an application needs to be addressed by a programmer with support services required incorporated into the application at deployment time. This is achieved via components (business logic of an application), containers that host components and are responsible for providing the underlying middleware services required by components and application servers that host containers. Well-known examples of component middleware architectures are Enterprise Java Beans (EJBs) and the CORBA Component Model (CCM). Two of the many services available at deployment time in most component architectures are component persistence and atomic transactions. This paper examines, using EJBs, how replication for availability can be supported by containers so that components that are transparently using persistence and transactions can also be made highly available. © 2003 IEEE.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

22nd Annual IEEE symposium on Logic in Computer Science-Title

22nd Annual IEEE Symposium on Logic in Computer Science-Titl...

引用

Annual symposium on Logic in Computer Science

The following topics are dealt with: type theory; computational proof theory; timed and stochastic systems; verification; constraints; proof complexity; semantics of programming languages; game semantics; linear logic...

关键词：

来源：评论

学校读者我要写书评

暂无评论

Formal Methods 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Klaus Havelund Jan Peleska Bill Roscoe Erik de Vink

ISBN: (数字)9783319955827

ISBN: (纸本)9783319955810

This book constitutes the refereed proceedings of the 22nd International symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.;The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.

关键词： Software Engineering programming languages, Compilers, Interpreters Theory of Computation Artificial Intelligence Simulation and Modeling System Performance and Evaluation

来源：评论

学校读者我要写书评

暂无评论

ECOOP 2008 – Object-Oriented programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540705925

ISBN: (纸本)9783540705918

It is a pleasure to present the proceedings of the 22nd European Conference on Object-Oriented programming (ECOOP 2008) held in Paphos, Cyprus. The conference continues to serve a broad object-oriented community with a tech- cal program spanning theory and practice and a healthy mix of industrial and academic participants. This year a strong workshop and tutorial program c- ***13workshopsand8tutorials,aswell as the co-located Dynamic Language symposium (DLS). Finally, the program was rounded out with a keynote by Rachid Guerraoui and a banquet speech by James Noble. As in previous years, two Dahl-Nygaard awards were selected by AITO, and for the ?rst time, the ECOOP Program Committee gave a best paper award. *** werereviewed in a single-blind process with three to ?ve reviews per paper. P- liminaryversionsofthereviewsweremadeavailabletotheauthorsaweekbefore the PC meeting to allow for short (500 words or less) author responses. The - sponses were discussed at the PC meeting and were instrumental in reaching decisions. The PC discussions followed Oscar Nierstrasz’Champion pattern. PC papers had ?ve reviews and were held at a higher standard.

关键词： Computer Communication Networks Software Engineering/programming and Operating systems programming languages, Compilers, Interpreters programming Techniques Software Engineering Logics and Meanings of Programs

来源：评论

学校读者我要写书评

暂无评论

Formal Methods and Software Engineering 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Shang-Wei Lin Zhe Hou Brendan Mahony

ISBN: (数字)9783030634063

ISBN: (纸本)9783030634056

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.

关键词： Theory of Computation Software Engineering Information systems Applications (incl. Internet) programming languages, Compilers, Interpreters Logic in AI Natural Language Processing (NLP)

来源：评论

学校读者我要写书评

暂无评论

Computer Processing of Oriental languages. Language Technology for the Knowledge-based Economy 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Wenjie Li Diego Mollá-Aliod

ISBN: (数字)9783642008313

ISBN: (纸本)9783642008306

The International Conference on the Computer Processing of Oriental L- guages(ICCPOL)seriesishostedbytheChineseandOrientallanguagesSociety (COLCS),*** been held in Hong Kong (1997), Tokushima, Japan (1999), Seoul, Korea (2001), Shenyang, China (2003) and Singapore (2006). This volume presents the proceedings of the 22nd International Conference ontheComputerProcessingofOrientallanguages(ICCPOL2009)heldinHong Kong, March 26-27, 2009. We received 63 submissions and all the papers went through a blind review process by members of the Program Committee. After careful discussion, 25 of them were selected for oral presentation and 15 for poster presentation. The accepted papers covered a variety of topics in natural language processing and its applications, including word segmentation, phrase and term extraction, chunking and parsing, semantic labelling, opinion mining, ontology construction, machine translation, information extraction, document summarization and so on. On behalf of the Program Committee, we would like to thank all authors of submitted papers for their support. We wish to extend our appreciation to the Program Committee members and additional external reviewers for their tremendous e?ort and excellent reviews. We gratefully acknowledge the Or- nizing Committee and Publication Committee members for their generous c- tribution to the success of the conference. We also thank the asian Federation of Natural Language Processing (AFNLP), the Department of Computing, The Hong Kong Polytechnic University, Hong Kong, the Department of systems - gineering and Engineering Management, The Chinese University of Hong Kong, Hong Kong, and the Centre for Language Technology, Macquarie University, Australia for theirvaluable support.

关键词： Linguistics, general programming Techniques programming languages, Compilers, Interpreters Artificial Intelligence Mathematical Logic and Formal languages Natural Language Processing (NLP)

来源：评论

学校读者我要写书评

暂无评论

Improving quality of code generated from OCL expressions

Improving quality of code generated from OCL expressions

引用

International International symposium on Computer and Information Sciences (ISCIS)

作者： Andrius Armonas Lina Nemuraite Department of Information Systems Kaunas University of Technology Kaunas Lithuania

In this paper, we briefly describe existing principles and stages for generating code from OCL expressions pointing out the drawbacks that cause inefficiencies of the resulting code. The proposed improvement of the transformation is based on extended abstract syntax trees (AST) with context-specific attributes. Principles for defining such attributes on AST trees and an example of transformation is presented.

关键词： Object oriented modeling Unified modeling language Java programming Reverse engineering Domain specific languages DSL Information systems Business Computer architecture

来源：评论

学校读者我要写书评

暂无评论

A Distributed Database Simulation Language

A Distributed Database Simulation Language

引用

Annual symposium on Simulation

作者： H.H. Rubinovitz F.J. Maryanski Computer Science and Engineering Department University of Connecticut Storrs CT USA

This paper presents a software modeling environment for estimating the performance of distributed database systerns. This tool supports a simulation language, HGPSS, which comprises various simulation primitives, contains a collection of network modules, and allows for the collection of statistics. This provides an overview of the HGPSS environment emphasizing its applicability to the modeling of distributed databases.

关键词： Distributed databases Computational modeling Database systems Computer languages programming profession Computer science Data engineering Software performance Statistical distributions Computer simulation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：