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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

36 篇 会议
17 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

36 篇 工学
- 31 篇 计算机科学与技术...
- 22 篇 软件工程
- 6 篇 信息与通信工程
- 3 篇 安全科学与工程
- 2 篇 机械工程
- 2 篇 电气工程
- 2 篇 控制科学与工程
- 1 篇 动力工程及工程热...
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 轻工技术与工程
- 1 篇 船舶与海洋工程
- 1 篇 生物工程
18 篇 理学
- 11 篇 数学
- 7 篇 系统科学
- 2 篇 物理学
- 1 篇 海洋科学
- 1 篇 生物学
7 篇 管理学
- 4 篇 图书情报与档案管...
- 3 篇 管理科学与工程(可...
- 2 篇 工商管理
2 篇 教育学
- 2 篇 教育学

主题

5 篇 software enginee...
4 篇 computer science
3 篇 artificial intel...
3 篇 unified modeling...
3 篇 formal specifica...
2 篇 compilers
2 篇 access control
2 篇 object oriented ...
2 篇 application soft...
2 篇 java
2 篇 computer languag...
2 篇 constraint satis...
2 篇 students
2 篇 cryptographic pr...
2 篇 applicative (log...
1 篇 many valued logi...
1 篇 adaptive systems
1 篇 reliability
1 篇 exceptions
1 篇 planets

机构

3 篇 institute of sof...
3 篇 institute for so...
2 篇 department of co...
2 篇 programming lang...
2 篇 department of co...
2 篇 university of ok...
2 篇 department of co...
1 篇 institute of art...
1 篇 university of he...
1 篇 complex cyber in...
1 篇 university of he...
1 篇 school of comput...
1 篇 heinz nixdorf in...
1 篇 department of so...
1 篇 department of co...
1 篇 center for digit...
1 篇 dept. of signal ...
1 篇 institute of sof...
1 篇 programming lang...
1 篇 department of co...

作者

4 篇 choe km
4 篇 raschke alexande...
3 篇 scholz sven-bodo
3 篇 zsók viktória
3 篇 chris mcdonald
3 篇 grelck clemens
3 篇 tichy matthias
3 篇 felderer michael
2 篇 mertin gunda
2 篇 page rex
2 篇 horváth zoltán
2 篇 hofstedt petra
2 篇 pekaric irdin
2 篇 liu ke
2 篇 reif wolfgang
2 篇 kamran kazemi
2 篇 nina moebius
2 篇 läufer konstanti...
2 篇 wolfgang reif
2 篇 ghica dan

语言

52 篇 英文
3 篇 其他

检索条件"机构=Department of Computer Science and Programming Languages"

共 55 条记录，以下是11-20 订阅

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

详细简洁

排序：

On optimising shape-generic array programs using symbolic structural information

引用

18th International Symposium on Implementation and Application of Functional languages, IFL 2006

作者： Trojahner, Kai Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages University of Hertfordshire Department of Computer Science

ISBN: (纸本)9783540741299

Shape-generic programming and high run time performance do match if generic source code is systematically specialised into nongeneric executable code. However, as soon as we drop the assumption of whole-world knowledge or refrain from specialisation for other reasons, compiled generic code is substantially less efficient. Limited effectiveness of code optimisation techniques due to the inherent lack of knowledge about the structural properties of arrays can be identified as the single most important source of inefficiency. However, in many cases partial structural information or structural relationships between arrays would actually suffice for optimisation. We propose symbolic array attributes as a uniform scheme to infer and to represent partial and relational structural information in shape-generic array code. By reusing the regular language to express structural properties in intermediate code, existing optimisations benefit from symbolic array attributes with little or no alteration. In fact, program optimisation and identification of structural properties cross-fertilise each other. We outline our approach in the context of the functional array language SAC and demonstrate its effectiveness by a small case study. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Information analysis

来源：评论

学校读者我要写书评

暂无评论

Formal specification of virtual process topologies 1

Formal specification of virtual process topologies

引用

1st IEEE computer Society International Workshop on Cluster Computing, IWCC 1999

作者： Kazemi, K. McDonald, C. Programming Languages and Systems Group Department of Computer Science University of Western Australia NedlandsWA6907 Australia

ISBN: (纸本)0769503438

A lack of adequate and flexible topology support in the popular message passing systems such as Parallel Virtual Machine was a major factor in the development of our Virtual Process Topology Environment. This parallel programming environment provides high level abstractions for interprocess communication, relieving the application developer of the cumbersome task of mapping logical neighbours to their task identifiers within message passing systems. The novel approach of separating topological specification from the APIs provided extreme flexibility to the developers of the applications using regular topologies. We believed that the task of supporting process topologies could be made even easier and, in this paper present our new method which uses recurrence relations to define topologies. Within the new environment, the recurrence relationships can be passed to the topology server which then is used in the generation of the topological specification. © 1999 IEEE.

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

Rewriting for Monoidal Closed Categories 7

Rewriting for Monoidal Closed Categories

引用

7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022

作者： Alvarez-Picallo, Mario Ghica, Dan Sprunger, David Zanasi, Fabio Programming Languages Laboratory Huawei Research Centre United Kingdom Department of Computer Science University of Birmingham United Kingdom Programming Languages Laboratory Huawei Research Centre Reading United Kingdom Department of Computer Science University College London United Kingdom

ISBN: (纸本)9783959772334

This paper develops a formal string diagram language for monoidal closed categories. Previous work has shown that string diagrams for freely generated symmetric monoidal categories can be viewed as hypergraphs with interfaces, and the axioms of these categories can be realized by rewriting systems. This work proposes hierarchical hypergraphs as a suitable formalization of string diagrams for monoidal closed categories. We then show double pushout rewriting captures the axioms of these closed categories. © Mario Alvarez-Picallo, Dan Ghica, David Sprunger, and Fabio Zanasi

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

Many-valued logic, normal forms

Many-valued logic, normal forms

引用

10th Symposium on programming languages and Software Tools, SPLST 2007

作者： Varga, Katalin Pásztor Várterész, Magda Department of Programming Languages and Compilers Eötvös Loránd University Hungary Department of Computer Science University of Debrecen Hungary

ISBN: (纸本)9789634639251

Interpretation of the truth degrees. Suitable extension of the two-valued logical operations as conjunction, disjunction, implication, negation. Main directions (Post, Kleene, Lukasiewicz, Bochvar). Notion of assertability. Designated values. Functional completeness via two valued negation, conjunction, disjunction. Normal forms as tools in theorem proving.

关键词： Many valued logics

来源：评论

学校读者我要写书评

暂无评论

Functorial String Diagrams for Reverse-Mode Automatic Differentiation 31

Functorial String Diagrams for Reverse-Mode Automatic Differ...

引用

31st EACSL Annual Conference on computer science Logic, CSL 2023

作者： Alvarez-Picallo, Mario Ghica, Dan Sprunger, David Zanasi, Fabio Programming Languages Laboratory Huawei Research Centre Cambridge United Kingdom Department of Computer Science University of Birmingham United Kingdom Department of Computer Science University College London United Kingdom

ISBN: (纸本)9783959772648

We formulate a reverse-mode automatic differentiation (RAD) algorithm for (applied) simply typed lambda calculus in the style of Pearlmutter and Siskind [27], using the graphical formalism of string diagrams. Thanks to string diagram rewriting, we are able to formally prove for the first time the soundness of such an algorithm. Our approach requires developing a calculus of string diagrams with hierarchical features in the spirit of functorial boxes, in order to model closed monoidal (and cartesian closed) structure. To give an efficient yet principled implementation of the RAD algorithm, we use foliations of our hierarchical string diagrams. © Mario Alvarez-Picallo, Dan Ghica, David Sprunger, and Fabio Zanasi.

关键词： Differentiation (calculus)

来源：评论

学校读者我要写书评

暂无评论

GIDTS - A Graphical programming Environment for Prolog

GIDTS - A Graphical Programming Environment for Prolog

引用

1999 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 1999

作者： Kókai, Gabriella Nilson, Jörg Niss, Christian Department of Computer Science Programming Languages Friedrich-Alexander-University of Erlangen-Nürnberg Martensstr. 3 ErlangenD-91058 Germany

ISBN: (纸本)9781581131376

This paper puts forward the Graphical Interactive Diagnosing, Testing and Slicing System (GIDTS) which is a graphical programming environment for PROLOG programs. The IDTS part of the system integrates Shapiro's Interactive Diagnosis Algorithm with the Category Partition Testing Method (CPM) and a slicing technique performing the algorithmic debugging and functional testing of PROLOG programs. The integration of IDTS with a graphical user interface (GUI) supports the whole functionality of IDTS and provides a user-friendly environment giving the user more information on the state of the debugging process. GIDTS extends IDTS to a complete programming environment. It allows one to handle the debugging of complex programs using the extended syntax and semantics of PROLOG in a very flexible way. A static code diagnosis has also been implemented. In addition GIDTS supports debugging-directed editing of the source program, and a quick source code navigation via any of the tools (for example: the debugger, the static call graph and the information retriever). All these features are supported by the graphical user interface. © 1999 ACM

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Optimistic Versioning for Conflict-tolerant Collaborative Blended Modeling 10

Optimistic Versioning for Conflict-tolerant Collaborative Bl...

引用

STAF 2022 Workshop: 10th International Workshop on Bidirectional Transformations, BX 2022, 2nd International Workshop on Foundations and Practice of Visual Modeling, FPVM 2022 and 2nd International Workshop on MDE for Smart IoT Systems, MeSS 2022

作者： Exelmans, Joeri Pietron, Jakob Raschke, Alexander Vangheluwe, Hans Tichy, Matthias Department of Computer Science University of Antwerp - Flanders Make Antwerp Belgium Institute of Software Engineering and Programming Languages Ulm University Ulm Germany

Optimistic versioning is a key component in supporting collaborative workflows. Text-based versioning has been widely adopted for versioning code, but in model-driven engineering, dealing with visual concrete syntaxes, new methods are required. In the case of blended modeling, a mixture of both textual and visual syntaxes, concurrently editable and synchronizable, introduces additional challenges. We propose a type of operation-based versioning to record not only user edits, but also bi-directional change propagations between concrete and abstract syntax. This way we can support blended modeling with layout continuity, and flexible handling of missing information (e. g., layout information) when rendering changes from abstract to concrete syntax. In addition, the proposed versioning approach enables collaborative conflict resolution by allowing partial conflict resolution, thus deferring a final resolution. © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

Security goals assurance based on software active monitoring

Security goals assurance based on software active monitoring

引用

International Conference on Secure Software Integration and Reliability Improvement

作者： Zhao, Changzhi Dong, Wei Leucker, Martin Qi, Zhichang Department of Computer Science National University of Defense Technology Changsha 410073 China Institute of Software Technology and Programming Languages University of Lubeck Germany

ISBN: (纸本)9780769544533

Access control is a vital security mechanism in today's operating systems and the security policies dictating the security relevant behaviors is lengthy and complex for example in Security-Enhanced Linux (SELinux). It is extremely difficult to verify the consistency between the security policies and the security goals desired by applications. In this paper we present how to predict whether the information flow security goal is violated or not during runtime how to generate the corresponding control actions on-line when divergence is detected and how to apply these actions in time based on software active monitoring technique. The symbolic security information flow model of SElinux is generated from a formalization of the access control mechanism which can be used to generate the N-step ahead projection of the future behavior. Information flow security goals are expressed in linear temporal logic (LTL) which provides clear description of the objectives desired by applications. Anticipatory monitor is generated from LTL formula automatically. We consider an on-line scheme where after the occurrence of an event, the next control action is determined on the basis of the N-step ahead projection of the future behavior. This procedure is repeated after the occurrence of next security relevant event. Thus a closed-loop system is generated that all behavior sequences will satisfy the security goals. © 2011 IEEE.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

On the Ultra-Dense Small Cell Deployment for 5G Networks 1

On the Ultra-Dense Small Cell Deployment for 5G Networks

引用

1st IEEE 5G World Forum, 5GWF 2018

作者： Valenzuela-Valdés, Juan Fco Palomares, Ángel González-Macías, Juan C. Valenzuela-Valdés, Antonio Padilla, Pablo Luna-Valero, F. Department of Signal Theory Telematics and Communications - CITIC University of Granada Granada18071 Spain Department of Computer Science and Programming Languages University of Malaga Malaga29071 Spain

ISBN: (纸本)9781538649824

The paradigm shift that has to take place in the new 5G networks in order to meet the expected data rates is a huge technological challenge. The use of super dense heterogeneous networks is one of the most promising alternatives to provide services with speeds above 1 Gbps. Another option to increase bandwidth is to engineer base stations at higher working frequencies and, thus higher available bandwidth, but also having the issues of the component cost and the increased propagation losses. This work evaluates the deployment of ultradense networks with base stations at different frequencies, ranging from 2 GHz to 60 GHz. Different scenarios that use several densities of both base stations and user equipments have been analyzed. The network performance has been measured in terms of Capacity, Signal to Interference plus Noise Ratio, and Energy Consumption. © 2018 IEEE.

关键词： 5G mobile communication systems

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+ 54

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

54th IEEE Frontiers in Education Conference, FIE 2024

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9798350351507

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive 'failuresy' through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：