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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

68 篇 会议
9 册 图书
2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

55 篇 工学
- 55 篇 计算机科学与技术...
- 44 篇 软件工程
- 6 篇 信息与通信工程
- 4 篇 电气工程
- 4 篇 控制科学与工程
- 2 篇 建筑学
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 化学工程与技术
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
13 篇 理学
- 10 篇 数学
- 4 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 化学
- 1 篇 大气科学
- 1 篇 生物学
5 篇 管理学
- 4 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
- 1 篇 工商管理

主题

10 篇 computer program...
7 篇 software enginee...
7 篇 programming lang...
7 篇 logics and meani...
5 篇 mathematical log...
5 篇 programming tech...
4 篇 computer languag...
4 篇 functional progr...
3 篇 software enginee...
3 篇 parallel process...
3 篇 c (programming l...
3 篇 problem oriented...
2 篇 object oriented ...
2 篇 parallel process...
2 篇 e-learning
2 篇 operating system...
2 篇 modeling languag...
2 篇 computer communi...
2 篇 logic programmin...
2 篇 artificial intel...

机构

3 篇 chair for progra...
1 篇 icase nasa langl...
1 篇 lig lab saint ma...
1 篇 dipartimento di ...
1 篇 xerox palo alto ...
1 篇 institut für inf...
1 篇 departamento de ...
1 篇 univ michigan an...
1 篇 department of co...
1 篇 ucla united stat...
1 篇 independent/item...
1 篇 center for digit...
1 篇 sun microsystems...
1 篇 pleiad laboratro...
1 篇 dept. ingeniería...
1 篇 rutgers state un...
1 篇 school of comput...
1 篇 univ technol syd...
1 篇 univ tokyo grad ...
1 篇 univ mannheim it...

作者

3 篇 steffen bernhard
2 篇 stuckey peter j.
2 篇 naoki kobayashi
2 篇 naujokat stefan
1 篇 steele guy l.
1 篇 liu yanhong a.
1 篇 erlingsson úlfar
1 篇 johan fabry
1 篇 nestmann u
1 篇 j.-l. gaudiot
1 篇 maritsas d.g.
1 篇 bai lan s.
1 篇 viorica sofronie...
1 篇 nardone roberto
1 篇 di domenico dani...
1 篇 ioan-dragoş deac...
1 篇 kiselyov oleg
1 篇 carlos canal
1 篇 gossen frederik
1 篇 hutchison david

语言

76 篇 英文
2 篇 其他
1 篇 中文

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

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

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

详细简洁

排序：

Issues in mapping CORBA component model to OSEK

Issues in mapping CORBA component model to OSEK

引用

8th IEEE International symposium on Object-Oriented Real-Time Distributed Computing

作者： Lagarde, F Radermacher, A Robert, S Gérard, S Servat, D CEA DRT LIST DTSISLALLSP F-91191 Gif Sur Yvette France

ISBN: (纸本)0769523560

the component/container paradigm helps to reduce the complexity and enhance the scalability of software development for plain desktop or enterprise systems. However the frameworks enabling this approach are often not suitable for systems with limited processing power and memory sizes, and are not dedicated to real-time requirements. As part of the European IST project COMPARE, we study a possible projection from a high-level component model (CORBA Component Model) towards a low-level RT/E platform (OSEK). Preliminary results from this study are accounted in this paper In the first part, the main features of CCM and OSEK are examined. then we propose execution and communication models using an API for OSEK that is as similar as possible to that in the CCM framework.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Models for using stochastic constraint solvers in constraint logic programming 8th

Models for using stochastic constraint solvers in constraint...

引用

8th International symposium on programming languages, Implementations, Logics, and Programs, PLILP 1996

作者： Stuckey, Peter J. Tam, Vincent Dept. of Computer Science University of Melbourne Parkville3052 Australia

ISBN: (纸本)3540617566

this paper proposes a number of models for integrating stochastic constraint solvers into constraint logic programming systems in order to solve constraint satisfaction problems efficiently. Stochastic solvers can solve hard constraint satisfaction problems very efficiently, and constraint logic programming allows heuristics and problem breakdown to be encoded in the same language as the constraints. Hence their combination is attractive. Unfortunately there is a mismatch in the kind of information a stochastic solver provides, and that which a constraint logic programming system requires. We study the semantic properties of the various models of constraint logic programming systems that make use of stochastic solvers, and give soundness and completeness results for their use. We describe an example system we have implemented using a modified neural network simulator, GENET, as a constraint solver. We briefly compare the efficiency of these models against the propagation based solver approaches typically used in constraint logic programming. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Archetype-Based Design: Sensor Network programming for Application Experts, Not Just programming Experts

Archetype-Based Design: Sensor Network Programming for Appli...

引用

8th International symposium on Information Processing Sensor Networks

作者： Bai, Lan S. Dick, Robert P. Dinda, Peter A. Univ Michigan Ann Arbor MI 48109 USA Northeastern Univ Ann Arbor MI 48109 USA

ISBN: (纸本)9781424451081

Sensor network application experts such as biologists, geologists, and environmental engineers generally have little experience with, and little patience for, general-purpose and often low-level sensor network programming languages. We believe sensor network languages should be designed for application experts, who may not be expert programmers. To further that goal, we propose the concepts of sensor network application archetypes, archetype-specific languages, and archetype templates. Our work makes the following contributions. (1) We have examined a wide range of wireless sensor networks to develop a taxonomy of seven archetypes. this taxonomy permits the design of compact languages that are appropriate for novice programmers. (2) We developed a language (named WASP) and its associated compiler for a commonly encountered archetype. (3) We conducted user studies to evaluate the suitability of WASP and several alternatives for novice programmers. To the best of our knowledge, this 56-hour 28-user study is the first to evaluate a broad range of sensor network languages (TinyScript, TinySQL, SwissQM, and TinyTemplate). On average, users of other languages successfully implemented their assigned applications 30.6% of the time. Among the successful completions, the average development time was 21.7 minutes. Users of WASP had an average success rate of 80.6%, and an average development time of 12.1 minutes (an improvement of 44.4%).

关键词： archetype human factors language taxonomy wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

On the difficulty of drawing the line 8th

On the difficulty of drawing the line

引用

8th International symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Boßelmann, Steve Naujokat, Stefan Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany

ISBN: (纸本)9783030034177

the paper considers domain-specific tool support as a means to turn descriptive into prescriptive models, and to blur the difference between models and programs, and even between developers and users. Conceptual underlying key is to view the system development as a decision process which increasingly constraints the range of possible system implementations and Domain-Specific languages (DSLs) as a means to freeze taken decisions on the way towards a concrete realization. this way naturally comprises both programming and modeling aspects. In fact, considering all interactions that influence the behaviour of the system as development turns GUIs into DSLs and makes it even hardly possible to draw the line between developers and users. We will illustrate this viewpoint in the light of the development of the Equinocs system, Springer’s new editorial service. © Springer Nature Switzerland AG 2018.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

8th Annual symposium on theoretical Aspects of Computer Science, STACS 1991

引用

8th Annual symposium on theoretical Aspects of Computer Science, STACS 1991

ISBN: (纸本)9783540537090

the proceedings contain 51 papers. the special focus in this conference is on theoretical Aspects of Computer Science. the topics include: Polymorphism, parameterization and typing;executable higher-order algebraic specifications;efficient memory access in large-scale computation;rational relations with bounded delay;on the power of several queues;on aperiodic trace languages;recognizable and rational languages of finite and infinite traces;on the concatenation of infinite traces;tight RNC approximations to max flow;a natural metric for curves -- computing the distance for polygonal chains and approximation algorithms;decision problems for term rewriting systems and recognizable tree languages;decidable sentences for context-free groups;the owner concept for PRAMs;actors as a parallel programming model;average case analysis of unification algorithms;methodology for proving the termination of logic programs;polynomial size constant depth circuits with a limited number of negations;randomized polynomials, threshold circuits, and the polynomial hierarchy;computationally convincing proofs of knowledge;interactive proof systems and alternating time-space complexity;optimal tradeoffs between time and bit complexity in distributed synchronous rings;unconditional byzantine agreement with good majority;a new compacting garbage-collection algorithm with a good average-case performance;bisimulation and action refinement;testing for unboundedness of FIFO channels;detection of deadlocks in an infinite family of nets;nondeterminism within p;structure and importance of logspace-MOD-classes;complexity classification of truth maintenance systems;Reachability in reversible free choice systems;bounded reductions and functional oracle queries as a measure of parallel time.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design for ‘X’ through model transformation 8th

Design for ‘X’ through model transformation

引用

8th International symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Lybecait, Michael Kopetzki, Dawid Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany

ISBN: (纸本)9783030034177

In this paper we sketch a transformation-oriented framework for establishing system characteristics like model-checkability, learnability, or performance. Backbone of our framework is Cinco, our meta tooling suite for generating DSL-specific development environments on the basis of specifications in terms of metamodels. Cinco is used here to specify the considered source and target languages, as well as the transformation language that allows one to transform source systems/models into semantically equivalent, X-conform target systems. In this paper, we focus on illustrating the power of domain-specific transformation languages by presenting a multi-level transformation pattern that allows one to elegantly capture refinement and aggregation aspects in a rule-based fashion. All this is explained along a number of examples. © Springer Nature Switzerland AG 2018.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Why programming must be supported by modeling and how 8th

Why programming must be supported by modeling and how

引用

8th International symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Börger, Egon Dipartimento di Informatica Università di Pisa Pisa56125 Italy

ISBN: (纸本)9783030034177

the development of code for software intensive systems involves numerous levels of abstraction, leading from requirements to code. Having abstract modeling concepts available as high-level programming constructs helps to define the code and to make sure that when the system runs with the software executed by machines, the software components behave in the expected way. We explain in this paper that nevertheless, there remains a gap, which cannot be closed by mere programming methods, but which can be closed if programming is supported by an appropriate modeling framework (a design and analysis method and a language). © Springer Nature Switzerland AG 2018.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

A deductive database with datalog and SQL query languages

A deductive database with datalog and SQL query languages

引用

9th asian symposium on programming languages and systems, APLAS 2011

作者： Sáenz-Pérez, Fernando Caballero, Rafael García-Ruiz, Yolanda Dept. Ingeniería del Software e Inteligencia Artificial Universidad Complutense de Madrid Spain Dept. Sistemas Informáticos Y Computación Universidad Complutense de Madrid Spain

ISBN: (纸本)9783642253171

this paper introduces Datalog Educational System (DES), a deductive database which supports both Datalog and SQL as query languages. Since its inception, this system is targeted to educational purposes rather to develop an efficient, competitive system with respect to other existing systems. As distinguishing features, it is free, open-source, multiplatform, interactive, portable, GUI-enabled, implemented following ISO-Prolog and supports extensions to pure Datalog in the form of stratified negation, strong constraints, types, metapredicates, and duplicates. Also, test case generation for SQL views and declarative debugging for Datalog programs and SQL views are supported. SQL statements, following ISO standard, are compiled to Datalog programs and solved by its inference engine. Nonetheless, ODBC connections are also supported, which enables access to external DBMSs and benefit from their solving performance, persistency and scalability. © 2011 Springer-Verlag.

关键词： Query processing

来源：评论

学校读者我要写书评

暂无评论

programming languages and systems 2006

引用

丛书名： Lecture Notes in Computer Science

2006年

作者： Naoki Kobayashi

来源：评论

学校读者我要写书评

暂无评论

An approach to deriving reactive agent designs from extensions-to the descartes specification language

An approach to deriving reactive agent designs from extensio...

引用

8th International symposium on Autonomous Decentralized systems

作者： Medina, Michael A. Urban, Joseph E. Arizona State Univ Dept Comp Sci & Engn Tempe AZ 85287 USA

ISBN: (纸本)9780769528045

the agent-oriented approach has emerged as a new and powerful paradigm in modern soft-ware engineering. this paper analyzes the reactive agent model, exhibiting innovative characteristics Of autononry, goal-direction, reactive capability, concurrency, and interactivity. Contrary to object depictions of attribute and method signatures, reactive agents are described in terms of their behavior. Due to the complex nature inherent to reactive agent behavior, the need for formal specification and design integrity becomes essential. Descartes is an executable specification language, which has historically been applied to provide such design assurance. this paper describes a formal approach to deriving a reactive agent software design represented in the Agent Unified Modeling Language ( 4 UAE). the objective is accomplished through extension of the Descartes specification language and application of a transformation into design representation. the addition serves as a method of providing a guarantee of design reliability by way of gap reduction between requirements analysis and design.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：