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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

97 篇 会议
3 册 图书

馆藏范围

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

日期分布

学科分类号

51 篇 工学
- 45 篇 计算机科学与技术...
- 40 篇 软件工程
- 5 篇 信息与通信工程
- 5 篇 控制科学与工程
- 3 篇 网络空间安全
- 2 篇 电气工程
- 2 篇 建筑学
- 2 篇 石油与天然气工程
- 2 篇 轻工技术与工程
- 1 篇 机械工程
- 1 篇 仪器科学与技术
- 1 篇 动力工程及工程热...
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 化学工程与技术
- 1 篇 航空宇航科学与技...
- 1 篇 环境科学与工程（可...
12 篇 理学
- 9 篇 数学
- 2 篇 化学
- 2 篇 统计学（可授理学、...
- 1 篇 物理学
- 1 篇 生物学
5 篇 管理学
- 3 篇 管理科学与工程(可...
- 2 篇 图书情报与档案管...
2 篇 法学
- 2 篇 社会学
2 篇 教育学
- 2 篇 教育学
2 篇 医学
- 2 篇 临床医学
1 篇 文学
- 1 篇 中国语言文学
- 1 篇 外国语言文学

主题

8 篇 computer science
8 篇 pattern language
6 篇 software enginee...
5 篇 formal languages
5 篇 computer languag...
5 篇 semantics
5 篇 application prog...
5 篇 specification la...
4 篇 patterns
4 篇 blockchain
4 篇 computer program...
3 篇 programming prof...
3 篇 object oriented ...
3 篇 debugging
3 篇 permission
3 篇 software design
3 篇 logics and meani...
2 篇 educational prog...
2 篇 programming
2 篇 architecture

机构

4 篇 faculty of polic...
2 篇 institute of inf...
2 篇 school of comput...
2 篇 institute of inf...
2 篇 eötvös loránd un...
2 篇 data61 csiro
2 篇 fom university o...
2 篇 florida atlantic...
2 篇 fraunhofer insti...
2 篇 music creation m...
2 篇 keio research in...
2 篇 keio university
2 篇 keio university ...
2 篇 graduate school ...
1 篇 cs dept. winona ...
1 篇 keio futsubu sch...
1 篇 vocational high ...
1 篇 univ politecn ca...
1 篇 keio university ...
1 篇 systems and comp...

作者

9 篇 takashi iba
2 篇 sunye gerson
2 篇 eduardo b. ferna...
2 篇 enet josselin
2 篇 valentino vranić
2 篇 iba takashi
2 篇 vranic valentino
2 篇 joseph w. yoder
1 篇 dutta saikat
1 篇 aoi imai
1 篇 imai aoi
1 篇 yuki kawabe
1 篇 maria luisa lamb...
1 篇 a.k.c. lee
1 篇 gildea daniel
1 篇 lu qinghua
1 篇 reiners rene
1 篇 d.c. rajapakse
1 篇 cho cheng-hsiu
1 篇 gerassimos barla...

语言

100 篇 英文

检索条件"任意字段=Proceedings of the 27th Conference on Pattern Languages of Programs"

共 100 条记录，以下是21-30 订阅

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

详细简洁

排序：

Termination Checking and Task Decomposition for Task-Based Intermittent programs 2018

Termination Checking and Task Decomposition for Task-Based I...

引用

27th International conference on Compiler Construction (CC)

作者： Colin, Alexei Lucia, Brandon Carnegie Mellon Univ Pittsburgh PA 15213 USA

ISBN: (纸本)9781450356442

Emerging energy-harvesting computer systems extract energy from their environment to compute, sense, and communicate with no battery or tethered power supply. Building software for energy-harvesting devices is a challenge, because they operate only intermittently as energy is available. programs frequently reboot due to power loss, which can corrupt program state and prevent forward progress. Task-based programming models allow intermittent execution of long-running applications, but require the programmer to decompose code into tasks that will eventually complete between two power failures. Task decomposition is challenging and no tools exist to aid in task decomposition. We propose CleanCut, a tool that can check for and report non-terminating tasks in existing code, as well as automatically decompose code into efficient, terminating tasks. CleanCut is based on a statistical model for energy of paths through the program. We applied a prototype of CleanCut to four applications, including pattern-recognition, encryption, compression, and data filtering. Our experiments demonstrated the risk of non-termination in existing code and showed that CleanCut finds efficient task decompositions that execute 2.45x faster on average than manually placed boundaries.

关键词： intermittent computing energy estimation

来源：评论

学校读者我要写书评

暂无评论

Quantitative Polynomial Functors 27

Quantitative Polynomial Functors

引用

27th International conference on Types for Proofs and programs, TYPES 2021

作者： Nakov, Georgi Forsberg, Fredrik Nordvall Department of Computer and Information Sciences University of Strathclyde Glasgow United Kingdom

ISBN: (纸本)9783959772549

We investigate containers and polynomial functors in Quantitative Type theory, and give initial algebra semantics of inductive data types in the presence of linearity. We show that reasoning by induction is supported, and equivalent to initiality, also in the linear setting. © 2022 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

A pattern for Proof of Stake Consensus Algorithm in Blockchain 27

A Pattern for Proof of Stake Consensus Algorithm in Blockcha...

引用

2022 27th European conference on pattern languages of programs, EuroPLoP 2022

作者： Syed, Madiha Ul Abadin, Zain Institute of Information Technology Quaid-i-Azam University Pakistan

ISBN: (纸本)9781450395946

Blockchain is a distributed ledger technology that has recently gained widespread popularity. Many industries have started to implement blockchain solutions for their application and services. Blockchain provides immutability, privacy, security, and transparency. there is no central authority to validate and verify the transactions, still, every transaction in the Blockchain is considered secure and verified. this is made possible by the use of a consensus algorithm which is a core part of any Blockchain network. Different consensus algorithms exist and the selection of appropriate consensus algorithms can affect the performance of the blockchain. this paper presents a pattern for one of the most commonly used blockchain consensus algorithms, which is the Proof of Stake (PoS) algorithm. this pattern describes its architecture, including its structure and dynamics. © 2022 ACM.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Music Composition patterns: A pattern Language for Touching Music 27

Music Composition Patterns: A Pattern Language for Touching ...

引用

2022 27th European conference on pattern languages of programs, EuroPLoP 2022

作者： Suzuki, Ryohei Watanabe, Takashi Iba, Takashi Keio Research Institute at SFC Japan Music Creation Major Osaka Collage of Music Japan Faculty of Policy Management Keio University Japan

ISBN: (纸本)9781450395946

this paper introduces some patterns of Music Composition patterns: A pattern Language for Touching Music. this pattern language is the verbalized and systematized rules of music design hidden in the music of Takashi Watanabe, a famous Japanese film music composer (and one of the authors of this paper). It consists of 27 patterns, each of which describes a design feature or rule that appears repeatedly in his music. this paper covers 7 patterns from this pattern language: Regular Repetition, Small Alteration, Basic Configuration, Discernible Change, Guide to Finish, Enrich Inner Parts, Weight Balance of the Sound. In addition, this paper describes the analysis of two musical pieces using patterns: "Memory Switch"by Takashi Watanabe and "Sonata for Horn, Trumpet and Trombone"by Francis Poulenc. As a result, it became clear that the design rules that were found in the music by Mr. Watanabe could also be seen in the music created by other composers. It is expected that the results of this research can be used in the education of music creation and as a reference for beginners in composition. © 2022 ACM.

关键词： Music

来源：评论

学校读者我要写书评

暂无评论

Toward Organizational pattern Ontology 27

Toward Organizational Pattern Ontology

引用

2022 27th European conference on pattern languages of programs, EuroPLoP 2022

作者： Waseeb, Shakirullah Vranic, Valentino Institute of Informatics Information Systems and Software Engineering Faculty of Informatics and Information Technologies Slovak University of Technology in Bratislava Slovakia

ISBN: (纸本)9781450395946

Organizational patterns of agile software development are proven practices for dealing organizational principles. Finding and selecting the right pattern is difficult. One way to select a pattern is to follow the sequence and compositions given in a pattern language. However, in general, pattern languages do not always reveal every reliable connection. patterns are described in informal and unstructured text, making it difficult to understand their connections. this work attempts to provide a conceptual ontology model for organizational patterns-describing the collection of concepts (terms) and their relations. this contribution can be an attempt to express, expose, and share semantic knowledge between patterns using ontology. the resulting ontology can be used on top of the organizational patterns repositories to help retrieve patterns based on their logical connections. © 2022 ACM.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Transaction-Based Debugging of System-on-Chips with patterns

Transaction-Based Debugging of System-on-Chips with Patterns

引用

27th IEEE International conference on Computer Design

作者： Gharehbaghi, Amir Masoud Fujita, Masahiro Univ Tokyo VLSI Design & Educ Ctr Tokyo Japan

ISBN: (纸本)9781424450299

this paper presents a debug method for system communications in post-silicon verification. First, we extract transaction sequences at run-time using on-chip circuits and store them in a trace buffer. then, we read the stored transactions and analyze them with software. the analysis software tries to find certain patterns in the extracted transactions that are defined by our transaction debug pattern specification language (TDPSL). We have also defined a number of standard patterns for common communication problems such as race and deadlock in TDPSL. To show the feasibility of the method, it is applied to a number of on chip buses. It is shown that the area overhead of the method is very low. Also we have implemented the analysis software and shown that it is memory efficient, scalable and effective to find bugs. the proposed method can also be applied to fault analysis including transient faults.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

Research on Moire Fringe in Frequency Conversion Amplitude-Modulated Screening and Its Equation Derivation

Research on Moire Fringe in Frequency Conversion Amplitude-M...

引用

27th International conference on Digital Printing Technologies (NIP27) / 7th International conference on Digital Fabrication

作者： Chen Guang-Xue Duan Hua-Wei Chen Qi-Feng Tang Bao-Ling Tai Jing-Lei South China Univ Technol State Key Lab Pulp & Paper Engn Guangzhou Guangdong Peoples R China

ISBN: (纸本)9780892082964

the concept of frequency conversion amplitude modulation (FCAM) screening was proposed in this paper, and the generation and variation of Moire Fringe in FCAM screening were studied in this paper. We found the original Tollennar Moire formula was not suitable for FCAM, to the forecast and calculation of Moire Fringe in FCAM screening, we should establish the new formula. this paper provided the new Moire Fringe formula based on the curve fitting, it could accurately describe and forecast the rules of Moire Fringe in FCAM screening;In the meanwhile, this paper revised the mathematical model of Moire Fringe based on the Fourier optics in the frequency domain, the new model was suitable for the Moire Fringe calculation of the same frequency and frequency conversion AM screening.

关键词： interference pattern Frequency conversion Fourier optics Curve fitting Frequency-domain analysis paper Moire fringes Mathematical Model

来源：评论

学校读者我要写书评

暂无评论

A logic meta-programming foundation for example-driven pattern detection in object-oriented programs

A logic meta-programming foundation for example-driven patte...

引用

27th IEEE International conference on Software Maintenance, ICSM 2011

作者： Roover, Coen De Software Languages Lab. Vrije Universiteit Brussel Belgium

ISBN: (纸本)9781457706646

this paper summarizes the doctoral dissertation in which we introduced an example-driven approach to pattern detection. this approach enables specifying pattern characteristics in a familiar language: through a code excerpt that corresponds to their prototypical implementation. Such excerpts are matched against the program under investigation according to various matching strategies that vary in leniency. Each match is quantified by the extent to which it exhibits the exemplified characteristics. the smaller this extent, the more likely the match is a false positive - thus establishing a ranking which facilitates assessing a large amount of matches. Unique to the matching process is that it incorporates whole-program analyses in its comparison of individual program elements. this way, we are able to recall implicit implementation variants (i.e., those implied by the semantics of the programming language) of a pattern of which only the prototypical implementation has been exemplified. © 2011 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Service Mesh patterns 27

Service Mesh Patterns

引用

2022 27th European conference on pattern languages of programs, EuroPLoP 2022

作者： Duarte Maia, João Tiago Figueiredo Correia, Filipe Faculty of Engineering University of Porto Porto Portugal Faculty of Engineering University of Porto INESCTEC Porto Portugal

ISBN: (纸本)9781450395946

As the benefits and applicability of microservice architectures become better understood by the software industry, and this architecture becomes increasingly more adopted for building stable, independent and scalable cloud applications, a new set of concerns have alerted developers regarding communication between the different microservices. A service mesh tries to address this issue by creating a clear separation of concerns between application logic and the infrastructure needed for the communication between the different services. this is accomplished by abstracting the cross-cutting concerns related with communication out of the internal services making it possible to be reused by the different services. Existing literature describes a service mesh pattern and a sidecar pattern. this paper leans on these patterns and proposes six patterns found by observing the, what is commonly called, good practices. the six patterns are service mesh, shared communication library, node agent, sidecar, service mesh team and control plane per cluster. © 2022 Owner/Author.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Programming to Learn: Logic and Computation from a Programming Perspective 22

Programming to Learn: Logic and Computation from a Programmi...

引用

27th ACM conference on Innovation and Technology in Computer Science Education (ITiCSE)

作者： Farrugia-Roberts, Matthew Jeffries, Bryn Sondergaard, Harald Univ Melbourne Melbourne Vic Australia Grok Acad Sydney NSW Australia Univ Sydney Sch Comp Sci Sydney Australia

ISBN: (纸本)9781450392013

Programming problems are commonly used as a learning and assessment activity for learning to program. We believe that programming problems can be effective for broader learning goals. In our large-enrolment course, we have designed special programming problems relevant to logic, discrete mathematics, and the theory of computation, and we have used them for formative and summative assessment. In this report, we reflect on our experience. We aim to leverage our students' programming backgrounds by offering a code-based formalism for our mathematical syllabus. We find we can translate many traditional questions into programming problems of a special kind-calling for 'programs' as simple as a single expression, such as a formula or automaton represented in code. A web-based platform enables self-paced learning with rapid contextual corrective feedback, and helps us scale summative assessment to the size of our cohort. We identify several barriers arising with our approach and discuss how we have attempted to negate them. We highlight the potential of programming problems as a digital learning activity even beyond a logic and computation course.

关键词： Automaton theory logic formal languages discrete mathematics computability programming code-in-the-browser question types interactive learning auto-grading

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：