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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

590 篇 会议
18 册 图书
5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

438 篇 工学
- 383 篇 计算机科学与技术...
- 333 篇 软件工程
- 48 篇 电气工程
- 25 篇 控制科学与工程
- 24 篇 信息与通信工程
- 10 篇 光学工程
- 9 篇 土木工程
- 8 篇 生物工程
- 6 篇 材料科学与工程（可...
- 5 篇 建筑学
- 4 篇 电子科学与技术（可...
- 4 篇 生物医学工程（可授...
- 3 篇 力学（可授工学、理...
- 3 篇 机械工程
- 3 篇 仪器科学与技术
- 3 篇 测绘科学与技术
- 3 篇 化学工程与技术
- 3 篇 环境科学与工程（可...
- 2 篇 交通运输工程
70 篇 理学
- 51 篇 数学
- 9 篇 生物学
- 7 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
60 篇 管理学
- 33 篇 管理科学与工程(可...
- 29 篇 图书情报与档案管...
- 5 篇 工商管理
20 篇 教育学
- 20 篇 教育学
8 篇 法学
- 8 篇 社会学
3 篇 医学
- 3 篇 临床医学
1 篇 农学

主题

176 篇 object oriented ...
29 篇 software enginee...
19 篇 object-oriented ...
18 篇 object oriented ...
18 篇 java programming...
16 篇 programming tech...
15 篇 programming
15 篇 java
14 篇 programming lang...
13 篇 aspect oriented ...
12 篇 logic programmin...
10 篇 programming prof...
10 篇 functional progr...
10 篇 object recogniti...
9 篇 computer program...
9 篇 logics and meani...
9 篇 unified modeling...
8 篇 application soft...
8 篇 c++ (programming...
8 篇 permission

机构

4 篇 statoilhydro
4 篇 miles consulting
4 篇 sti university o...
4 篇 b&r ind automat ...
4 篇 victoria univers...
4 篇 technische unive...
4 篇 sintef
3 篇 department of co...
3 篇 carnegie mellon ...
3 篇 letterkenny inst...
2 篇 microsoft corp r...
2 篇 oberon microsyst
2 篇 univ essex dept ...
2 篇 univ chinese aca...
2 篇 technion haifa
2 篇 imperial college...
2 篇 tech univ darmst...
2 篇 adayana inc.
2 篇 tech univ darmst...
2 篇 open university ...

作者

6 篇 meyer bertrand
6 篇 aldrich jonathan
5 篇 noble james
5 篇 salvaneschi guid...
5 篇 mezini mira
4 篇 hirschfeld rober...
4 篇 berre arne jørge...
4 篇 preschern christ...
4 篇 yoshida nobuko
4 篇 zeid amir
4 篇 roman dumitru
4 篇 landre einar
4 篇 udnæs morten
4 篇 van den heuvel w...
3 篇 baniassad elisa
3 篇 thiemann peter
3 篇 skår lars arne
3 篇 nanz sebastian
3 篇 xinogalos stelio...
3 篇 foster jeffrey s...

语言

608 篇 英文
2 篇 其他
2 篇 中文
1 篇 法文

检索条件"任意字段=Proceedings of the 24th European conference on Object-oriented programming"

共 613 条记录，以下是71-80 订阅

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

详细简洁

排序：

Tackling the awkward squad for reactive programming: the actor-reactor model 34

Tackling the awkward squad for reactive programming: The act...

引用

34th european conference on object-oriented programming, ECOOP 2020

作者： van den Vonder, Sam Renaux, thierry Oeyen, Bjarno de Koster, Joeri de Meuter, Wolfgang Software Languages Lab Vrije Universiteit Brussel Belgium

ISBN: (纸本)9783959771542

Reactive programming is a programming paradigm whereby programs are internally represented by a dependency graph, which is used to automatically (re)compute parts of a program whenever its input changes. In practice reactive programming can only be used for some parts of an application: a reactive program is usually embedded in an application that is still written in ordinary imperative languages such as JavaScript or Scala. In this paper we investigate this embedding and we distill "the awkward squad for reactive programming" as 3 concerns that are essential for real-world software development, but that do not fit within reactive programming. they are related to long lasting computations, side-effects, and the coordination between imperative and reactive code. To solve these issues we design a new programming model called the Actor-Reactor Model in which programs are split up in a number of actors and reactors. Actors and reactors enforce a strict separation of imperative and reactive code, and they can be composed via a number of composition operators that make use of data streams. We demonstrate the model via our own implementation in a language called Stella. © Sam Van den Vonder, thierry Renaux, Bjarno Oeyen, Joeri De Koster, and Wolfgang De Meuter.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Patterns for Returning Data from C Functions 19

Patterns for Returning Data from C Functions

引用

24th european conference on Pattern Languages of Programs (EuroPLoP)

作者： Preschern, Christopher B&R Ind Automat GmbH Eggelsberg Austria

ISBN: (纸本)9781450362061

Even the simple task of returning data from functions becomes tricky, if the data to share becomes complex, or if the programmer has to cleanup the memory by himself or herself in case the programming language has no support in form of destructors or garbage collectors. To address this topic, this paper provides best practices in form of design patterns on the topic of returning data and provides C code examples.

关键词： C programming patterns returning data

来源：评论

学校读者我要写书评

暂无评论

ACM International conference Proceeding Series

ACM International Conference Proceeding Series

引用

4th european conference on Software Engineering Education, ECSEE 2020

ISBN: (纸本)9781450377522

the proceedings contain 11 papers. the topics discussed include: gamification in software engineering education through visual novels;teaching cooperative problem solving;totally different and yet so alike - three concepts to use scrum in higher education;motivating adult learners by introducing programming concepts with scratch;software engineering education of classical computing vs. quantum computing - a competency-centric approach;MuLE - a multi-paradigm language for education. the object-oriented part of the language;deliberate practice in programming - how is it carried out by programmer;CodeTripping - towards mastering app development using a web-based learning tool. A case study;tool-aided assessment of difficulties in learning formal design-by-contract;and towards the automation of grading textual student submissions to open-ended questions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Patterns to Escape the #ifdef Hell 19

Patterns to Escape the #ifdef Hell

引用

24th european conference on Pattern Languages of Programs (EuroPLoP)

作者： Preschern, Christopher B&R Ind Automat GmbH Eggelsberg Austria

ISBN: (纸本)9781450362061

there are many things one can do wrong when using the C preprocessor's #ifdef statements. Such statements are often used to distinguish between hardware variants or operating system variants in the C code and when not used carefully, the C code easily becomes a mess of #ifdef cascades. this paper addresses this issue and provides best practices in form of patterns on how to organize variants in C code and on how to get rid of #ifdef statements.

关键词： C programming patterns code variants

来源：评论

学校读者我要写书评

暂无评论

Multiparty session programming with global protocol combinators 34

Multiparty session programming with global protocol combinat...

引用

34th european conference on object-oriented programming, ECOOP 2020

作者： Imai, Keigo Neykova, Rumyana Yoshida, Nobuko Yuen, Shoji Gifu University Japan Brunel University London United Kingdom Imperial College London United Kingdom Nagoya University Japan

ISBN: (纸本)9783959771542

Multiparty Session Types (MPST) is a typing discipline for communication protocols. It ensures the absence of communication errors and deadlocks for well-typed communicating processes. the state-of-the-art implementations of the MPST theory rely on (1) runtime linearity checks to ensure correct usage of communication channels and (2) external domain-specific languages for specifying and verifying multiparty protocols. To overcome these limitations, we propose a library for programming with global combinators – a set of functions for writing and verifying multiparty protocols in OCaml. Local behaviours for all processes in a protocol are inferred at once from a global combinator. We formalise global combinators and prove a sound realisability of global combinators – a well-typed global combinator derives a set of local types, by which typed endpoint programs can ensure type and communication safety. Our approach enables fully-static verification and implementation of the whole protocol, from the protocol specification to the process implementations, to happen in the same language. We compare our implementation to untyped and continuation-passing style implementations, and demonstrate its expressiveness by implementing a plethora of protocols. We show our library can interoperate with existing libraries and services, implementing DNS (Domain Name Service) protocol and the OAuth (Open Authentication) protocol. © Keigo Imai, Rumyana Neykova, Nobuko Yoshida, and Shoji Yuen.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

Identifying Predictors for Code Highlighting Skills A Regressional Analysis of Knowledge, Syntax Abilities and Highlighting Skills 19

Identifying Predictors for Code Highlighting Skills A Regres...

引用

24th ACM Working Group Reports Annual conference on Innovation and Technology in Computer Science Education (ITiCSE-WGR)

作者： Kramer, Matthias Barkmin, Mike Brinda, Torsten Univ Duisburg Essen Essen Germany

ISBN: (纸本)9781450363013

programming comprises a multitude of involved skills and abilities. To assess these, an even larger multitude of tasks exists, ranging from very complex to basal levels. Recent demands call for the assessment of basal skills, with the aim to figure out possible problems of learners more precisely. In order to read and interpret source code sufficiently, students must be able to recognize given concepts in a source code, e.g. to identify the objects and methods in an object-oriented program. Whether this skill relies solely on conceptual knowledge and the abilities in handling syntax is still unclear. this study gives evidence that isolated skills in these areas are outperformed by the interaction of both areas. We developed a test consisting of conceptual questions, fill-in-the-Java-keyword items and highlighting items. We investigated whether the knowledge about object orientation and the skills in handling Java syntax sufficiently predict the ability to recognize concepts in Java source code via a multiple linear regression. We found that the model with interaction term explains the data better compared to the null model, the isolated predictors or combined predictors without interaction term. this leads to the conclusion that even though programming consists of skills in certainly different areas, it is more important to interconnect these areas with each other than to teach them in an isolated manner.

关键词： object-oriented programming Conceptual knowledge Syntactic knowledge Assessment Multiple linear regression

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 9th International Workshop on Context-oriented programming, COPS 2017 - Collocated with the european conference on object-oriented programming

Proceedings of the 9th International Workshop on Context-Ori...

引用

9th International Workshop on Context-oriented programming, COPS 2017

the proceedings contain 3 papers. the topics discussed include: Peace COrP: learning to solve conflicts between contexts;the declarative nature of implicit layer activation;and push-based reactive layer activation in ...

ISBN: (纸本)9781450349710

关键词：

来源：评论

学校读者我要写书评

暂无评论

Examining the Compatibility of Students in Distributed Pair programming 18

Examining the Compatibility of Students in Distributed Pair ...

引用

18th european conference on e-Learning (ECEL)

作者： Satratzemi, Maya Tsompanoudi, Despina Xinogalos, Stelios Karamitopoulos, Leonidas Univ Macedonia Sch Informat Sci Dept Appl Informat Thessaloniki Greece Alexander TEI Thessaloniki Dept Informat Technol Sindos Greece

ISBN: (纸本)9781912764419

Pair programming (PP) has a long history both in the software industry and education. More recently, specially designed environments have made the application of Distributed Pair programming (DPP) possible, which enables two programmers to work remotely. through these collaborative activities, students produce better programs, improve their performance and programming skills, and increase their self-confidence. Student attitudes towards Distributed Pair programming and the factors that affect them, remain largely unexplored, while some of the existing studies have yielded mixed results. One important aspect is to understand the underlying factors that contribute to a successful pairing formation, i.e., factors that make pairs very compatible. this paper focuses on the examination of possible factors which we felt had the potential to affect the compatibility of student pairs who worked remotely. the present study was conducted in the context of a 3rd semester undergraduate "object-oriented programming" course. the OOP concepts were approached through hands-on exercises completed in the lab sessions. Students carried out projects in pairs using the educational DPP system SCEPPSys. the analyzed data were collected from a pre and post questionnaire distributed to students before and after the end of the course, respectively. Pair Compatibility was examined in relation to pair perceived skill level, pair actual skill level, and pair programming self-esteem. Besides this, we examined if students' perceptions on the factors they believe hinder collaboration differ on the basis of their compatibility. the findings indicated that the compatibility rating differed significantly based on the partner's perceived technical competence. Also, students that rated their partners as very compatible had more similar actual skill level with their partners than those students who rated their partners as notcompatible or satisfactorily compatible. We did not find any relationship betwee

关键词： distributed pair programming pair compatibility OOP course programming skills

来源：评论

学校读者我要写书评

暂无评论

International conference on Architectural Support for programming Languages and Operating Systems - ASPLOS

International Conference on Architectural Support for Progra...

引用

24th International conference on Architectural Support for programming Languages and Operating Systems, ASPLOS 2019

ISBN: (纸本)9781450362405

the proceedings contain 74 papers. the topics discussed include: seer: leveraging big data to navigate the complexity of performance debugging in cloud microservices;a framework for memory oversubscription management in graphics processing units;swizzle inventor: data movement synthesis for GPU kernels;scalable processing of contemporary semi-structured data on commodity parallel processors - a compilation-based approach;X-containers: breaking down barriers to improve performance and isolation of cloud-native containers;buffets: an efficient and composable storage idiom for explicit decoupled data orchestration;puddle: a dynamic, error-correcting, full-stack microfluidics platform;intelligence beyond the edge: inference on intermittent embedded systems;and compress objects, not cache lines: an object-based compressed memory hierarchy.

关键词：

来源：评论

学校读者我要写书评

暂无评论

To Be, or Not To Be: that is the Recursive Question 10

To Be, or Not To Be: That is the Recursive Question

引用

10th IEEE Global Engineering Education conference (EDUCON)

作者： Fernandez de Vega, Francisco Univ Extremadura Badajoz Spain

ISBN: (纸本)9781538695067

this paper discusses the opportunity of Functional programming for making students aware about data dependencies and their implications when using parallel and distributed computing infrastructures. Although other programming methodologies, such as object oriented programming (OOP) are usually preferred to he taught at computer science degrees, the problem is that the sequential programming approach is inherent to the model, and once students have entered the framework, it is not easy for them to learn modern parallel programming models. thus, the methodology learned may act as a straitjacket, preventing students from taking advantage of the parallel architectures widely available. the idea presented here relies on choosing Functional programming as the methodology to be learned first. Moreover, when any selected language that embodies the functional model is shown to students, we propose to forbid loops, similarly as how go-to sentences are classically forbidden in high level programming languages, or global variables are forbidden to avoid side effects. Students must thus resort instead to recursive functions if data dependencies are present and a sequential order of operations is required, or to map functions when no dependencies exist. this way, students naturally develop the skill to automatically write parallel code within the functional programming context, and then the map/reduce model can be easily exploited in any context when parallel and distributed infrastructures are available. We describe preliminary results obtained when the model has been successfully tested with a group of middle school students.

关键词： Functional programming programming profession Task analysis Parallel programming Tools Handheld computers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共62页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：