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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

625 篇 会议
77 篇 期刊文献
5 册 图书

馆藏范围

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

日期分布

学科分类号

560 篇 工学
- 489 篇 软件工程
- 400 篇 计算机科学与技术...
- 32 篇 控制科学与工程
- 31 篇 电气工程
- 23 篇 信息与通信工程
- 12 篇 生物工程
- 10 篇 建筑学
- 6 篇 土木工程
- 5 篇 力学（可授工学、理...
- 5 篇 电子科学与技术（可...
- 4 篇 化学工程与技术
- 3 篇 光学工程
- 3 篇 材料科学与工程（可...
- 3 篇 动力工程及工程热...
- 3 篇 石油与天然气工程
- 2 篇 机械工程
- 2 篇 农业工程
74 篇 理学
- 51 篇 数学
- 15 篇 生物学
- 7 篇 统计学（可授理学、...
- 6 篇 物理学
- 5 篇 系统科学
- 4 篇 化学
31 篇 教育学
- 30 篇 教育学
24 篇 管理学
- 15 篇 图书情报与档案管...
- 9 篇 管理科学与工程(可...
- 6 篇 工商管理
9 篇 法学
- 8 篇 社会学
3 篇 农学
- 3 篇 作物学
3 篇 医学
2 篇 经济学
- 2 篇 应用经济学

主题

93 篇 functional progr...
77 篇 languages
64 篇 computer program...
54 篇 design
34 篇 haskell
26 篇 programming
23 篇 computer program...
22 篇 performance
19 篇 logic programmin...
19 篇 dependent types
19 篇 theory
18 篇 dynamic programm...
16 篇 programming lang...
15 篇 algorithms
15 篇 functional react...
15 篇 generic programm...
14 篇 object oriented ...
12 篇 verification
11 篇 domain-specific ...
11 篇 continuations

机构

7 篇 portland state u...
6 篇 northeastern uni...
6 篇 chalmers univ te...
4 篇 inria
4 篇 carnegie mellon ...
4 篇 carnegie mellon ...
4 篇 univ penn philad...
4 篇 microsoft res ca...
3 篇 georgia inst tec...
3 篇 indiana univ blo...
3 篇 princeton univ p...
3 篇 univ edinburgh e...
3 篇 univ strathclyde...
3 篇 univ new s wales...
3 篇 univ cambridge c...
3 篇 univ utah salt l...
3 篇 yale univ dept c...
3 篇 univ washington ...
3 篇 brown univ provi...
2 篇 intel res berkel...

作者

5 篇 claessen koen
5 篇 jones mark p.
5 篇 krishnaswami nee...
4 篇 flatt matthew
4 篇 xi hw
4 篇 mcbride conor
4 篇 vafeiadis viktor
4 篇 weirich stephani...
4 篇 jeuring johan
4 篇 chlipala adam
4 篇 dreyer derek
4 篇 keller gabriele
4 篇 findler robert b...
4 篇 walker david
3 篇 dolstra eelco
3 篇 loh andres
3 篇 leshchinskiy rom...
3 篇 schmidt-schauss ...
3 篇 pottier francois
3 篇 walker d

语言

632 篇 英文
70 篇 其他
4 篇 中文
1 篇 德文

检索条件"任意字段=13th ACM SIGPLAN International Conference on Functional Programming"

共 707 条记录，以下是91-100 订阅

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

详细简洁

排序：

MARDU: Efficient and Scalable Code Re-randomization 20

MARDU: Efficient and Scalable Code Re-randomization

引用

13th acm international Systems and Storage conference (SYSTOR)

作者： Jelesnianski, Christopher Yom, Jinwoo Min, Changwoo Jang, Yeongjin Virginia Tech Blacksburg VA 24061 USA Oregon State Univ Corvallis OR 97331 USA

ISBN: (纸本)9781450375887

Defense techniques such as Data Execution Prevention (DEP) and Address Space Layout Randomization (ASLR) were role models in preventing early return-oriented programming (ROP) attacks by keeping performance and scalability in the forefront, making them widely-adopted. As code reuse attacks evolved in complexity, defenses have lost touch with pragmatic defense design to ensure security, either being narrow in scope or providing unrealistic overheads. We present MARDU, an on-demand system-wide re-randomization technique that maintains strong security guarantees while providing better overall performance and having scalability most defenses lack. We achieve code sharing with diversification by implementing reactive and scalable, rather than continuous or one-time diversification. Enabling code sharing further minimizes needed tracking, patching, and memory overheads. the evaluation of MARDU shows low performance overhead of 5.5% on SPEC and minimal degradation of 4.4% in NGINX, proving its applicability to both compute-intensive and scalable real-world applications.

关键词： Code Randomization Return-Oriented programming Code Reuse Code Sharing

来源：评论

学校读者我要写书评

暂无评论

Scaling Shared Memory Multiprocessing Applications in Non-cache-coherent Domains 20

Scaling Shared Memory Multiprocessing Applications in Non-ca...

引用

13th acm international Systems and Storage conference (SYSTOR)

作者： Chuang, Ho-Ren Lyerly, Robert Lankes, Stefan Ravindran, Binoy Virginia Tech Blacksburg VA 24061 USA Rhein Westfal TH Aachen Aachen Germany

ISBN: (纸本)9781450375887

Due to the slowdown of Moore's Law, systems designers have begun integrating non-cache-coherent heterogeneous computing elements in order to continue scaling performance. programming such systems has traditionally been difficult - developers were forced to use programming models that exposed multiple memory regions, requiring developers to manually maintain memory consistency. Previous works proposed distributed shared memory (DSM) as a way to achieve high programmability in such systems. However, past DSM systems were plagued by low-bandwidth networking and utilized complex memory consistency protocols, which limited their adoption. Recently, new networking technologies have begun to change the assumptions about which components are bottlenecks in the system. Additionally, many popular shared-memory programming models utilize memory consistency semantics similar to those proposed for DSM, leading to widespread adoption in mainstream programming. In this work, we argue that it is time to revive DSM as a means for achieving good programmability and performance on non-cache-coherent systems. We explore optimizing an existing DSM protocol by relaxing memory consistency semantics and exposing new cross-node barrier primitives. We integrate the new mechanisms into an existing OpenMP runtime, allowing developers to leverage cross-node execution without changing a single line of code. When evaluated on an x86 server connected to an ARMv8 server via InfiniBand, the DSM optimizations achieve an average of 11% (up to 33%) improvement versus the baseline DSM implementation.

关键词： System Software DSM Heterogeneous Architectures Shared Memory programming InfiniBand

来源：评论

学校读者我要写书评

暂无评论

Modular virtual reality to enable efficient user studies for autonomous driving 20

Modular virtual reality to enable efficient user studies for...

引用

13th international conference on Pervasive Technologies Related to Assistive Environments

作者： Konkol, Kathrin Brandenburg, Elisabeth Stark, Rainer Fraunhofer Inst Prod Creat & Design Technol Model Based Engn Berlin Germany

ISBN: (纸本)9781450377737

Autonomous driving vehicles use a variety of means to communicate with pedestrians, e.g. information displays, LED panels and sound. In order to evaluate some of those information displays with regard to their efficiency of understanding, the authors examined a set of external information types, such as images, text and animated LED panels. the use of Virtual Reality to create user studies offers a flexible and cost-effective approach for evaluation and improvement, therefore the authors chose to develop the user study as a VR application. this paper describes the ongoing work in which the study is designed and the application has been implemented but the study has not yet been carried out. the emphasis on this paper lies on the approach of planning a modular VR application that fits the needs of a multifactorial experimental layout that can adapt to changes in the study for further evaluation.

关键词： Virtual Reality Experimental layout programming User Study Autonomous driving

来源：评论

学校读者我要写书评

暂无评论

An Efficient Lightweight Algorithm for Automatic Meters Identification and Error Management in Arabic Poetry 20

An Efficient Lightweight Algorithm for Automatic Meters Iden...

引用

13th international conference on Intelligent Systems: theories and Applications, SITA 2020

作者： Baïna, Karim Moutassaref, Hamza Admir Laboratory Rabat It Center ENSIAS Mohammed v University in Rabat Morocco

ISBN: (纸本)9781450377331

this paper targets the problem of automatic meter identification and error management in Arabic poetry. Many approaches use high level abstractions of poems in their prosodic forms: feet patterns cords and pegs forms or syllables. Our algorithm manipulates directely binary representations of meters and prosodic forms of verses with computing distances between those representations. Our algorithm does not need to handle explicitely neither the foot patterns relaxations nor defects which makes our algorithm compared to studied works simpler (i.e. no symbolic combinatory analysis rules for exception patterns) and efficient in time and memory with dynamic programming of Levenshtein distance. © 2020 acm.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Is the GaaP wider than we think?: Applying a sociotechnical lens to Government-As-A-Platform 20

Is the GaaP wider than we think?: Applying a sociotechnical ...

引用

13th international conference on theory and Practice of Electronic Governance, ICEGOV 2020

作者： Jamieson, David Wilson, Rob Martin, Mike Northumbria University United Kingdom

ISBN: (纸本)9781450376747

Applying a sociotechnical lens to the Government-As-A-Platform initiative, we suggest that the implementation of it is far from beneficial to the End User-the citizen. Looking at the adoption of the digital platform by governments and using the United Kingdom's deployment of *** as an example, we argue that this shift towards digital interaction focuses merely on the transactional arrangement rather than the relational exchanges required of public service. We present that there is a disconnect between the imaginary of the benefits of the digital platform and how, when applied to the public sector, the citizen is missing from the discussion. © 2020 acm.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

A Case of Teaching Practice Founded on a theoretical Model 13th

A Case of Teaching Practice Founded on a Theoretical Model

引用

13th international conference on Informatics in Schools - Situation, Evolution, and Perspectives (ISSEP)

作者： da Rosa, Sylvia Viera, Marcos Garcia-Garland, Juan Univ Republica Fac Ingn Inst Comp Montevideo Uruguay

ISBN: (纸本)9783030632120;9783030632113

this paper tries to clarify the way in which our theoretical model relates to teaching practice in response to questions about how the model could potentially be applied. the theoretical model introduces an extension of Jean Piaget's general law of cognition to explaining the difference between algorithmic thinking and computational thinking by adequately locating the latter in the specificities of the subject instructing a computer. the teaching practice consists on activities introducing programming in high school mathematics courses. these are organised in a functional programming course to high school mathematics teachers and didactic instances in which the teachers teach their students to program solutions to mathematics problems. through examples we explain how the model helps teachers in finding a meaning of the popular and controversial expression "computational thinking". the goal of the didactic instances is to educate students in thinking algorithmically and computationally.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

Java programming Course Reform Based on OBE Concept under the Background of New Engineering Education 2020

Java Programming Course Reform Based on OBE Concept under th...

引用

5th international conference on Distance Education and Learning, ICDEL 2020

作者： Limin, Tao Xikun, Liang Jiangping, Zhu Hangzhou Institute of Service Engineering Hangzhou Normal University No.2318 Yuhangtang Rd. Yuhang District Hangzhou Zhejiang China

ISBN: (纸本)9781450377546

the OBE education model originates from European and American education. It is different from the traditional teaching model. Under the OBE concept, teachers are more concerned about the effectiveness of students' learning, and they have changed from being driven by teaching content to being driven by learning results. this paper analyzes the existing problems in teaching, propose to introduce OBE education concept into the Java programming course, and elaborate the teaching reform process from three aspects: classroom teaching, practice teaching and teaching evaluation to further improve the teaching quality and talent training quality of Java programming Course, so as to meet the requirements of new engineering education. © 2020 acm.

关键词： Engineering education

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 13th international Symposium on Visual Information Communication and Interaction, VINCI 2020

Proceedings of the 13th International Symposium on Visual In...

引用

13th international Symposium on Visual Information Communication and Interaction, VINCI 2020

ISBN: (纸本)9781450387507

the proceedings contain 31 papers. the topics discussed include: survey of treemap layout algorithms;survey on user studies on the effectiveness of treemaps;multiple linked perspectives on hierarchical data;machine learning interpretability through contribution-value plots;the machine learning model as a guide: pointing users to interesting instances for labeling through visual cues;visualizing dynamic graphs with heat triangles;a visualization of family relations inspired by the London metro map;visualization of nonlinear programming for robot motion planning;comparative visual gaze analysis for virtual board games;context-aware placement of items with gaze-based interaction;and exploring vibrotactile cues for interactive guidance in data visualization.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report 12

Developing a Monadic Type Checker for an Object-Oriented Lan...

引用

12th acm sigplan international conference on Software Language Engineering (SLE)

作者： Castegren, Elias Fernandez-Reyes, Kiko KTH Royal Inst Technol Software & Comp Syst Stockholm Sweden Uppsala Univ Informat Technol Uppsala Sweden

ISBN: (纸本)9781450369817

functional programming languages are well-suited for developing compilers, and compilers for functional languages are often themselves written in a functional language. functional abstractions, such as monads, allow abstracting away some of the repetitive structure of a compiler, removing boilerplate code and making extensions simpler. Even so, functional languages are rarely used to implement compilers for languages of other paradigms. this paper reports on the experience of a four-year long project where we developed a compiler for a concurrent, object-oriented language using the functional language Haskell. the focus of the paper is the implementation of the type checker, but the design works well in static analysis tools, such as tracking uniqueness of variables to ensure data-race freedom. the paper starts from a simple type checker to which we add more complex features, such as type state, with minimal changes to the overall initial design.

关键词： functional programming object-oriented languages type systems compilers

来源：评论

学校读者我要写书评

暂无评论

Math and Physics Tools for Quality Quantum programming 1

引用

13th international conference on the Quality of Information and Communications Technology (QUATIC)

作者： Murina, Ezequiel Quantum Madrid Spain

ISBN: (数字)9783030587932

ISBN: (纸本)9783030587925;9783030587932

We are in presence of a quantum computing revolution that will be critical for the dominant global position of nations in near future. Some quantum lab devices have been developed and important milestones have been reached, mainly in the branch of communications. In this scenario, it is urgent to educate people in quantum computing and technology, like it happens with disciplines such as science, technology, engineering, and mathematics promoted by government in order to instruct science-aware citizens. A solid knowledge base in math and physics is essential for a workforce able to develop high quality quantum technology. this work addresses the necessity of quantum literacy for the creation of a new workforce, proposing the basic math tools, and physics background for entering into the field of quantum programming. It also addresses a certification about Science Foundation for Quantum programming, as a means for assuring the quality of quantum software professionals.

关键词： Quantum literacy Quantum programming Quantum math-physics Quantum certification

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共71页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：