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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

50 篇 会议

馆藏范围

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

日期分布

学科分类号

31 篇 工学
- 23 篇 计算机科学与技术...
- 15 篇 软件工程
- 6 篇 电子科学与技术（可...
- 4 篇 电气工程
- 4 篇 控制科学与工程
- 2 篇 机械工程
- 2 篇 动力工程及工程热...
- 2 篇 建筑学
- 1 篇 力学（可授工学、理...
- 1 篇 仪器科学与技术
- 1 篇 材料科学与工程（可...
- 1 篇 信息与通信工程
- 1 篇 土木工程
- 1 篇 水利工程
- 1 篇 化学工程与技术
- 1 篇 航空宇航科学与技...
- 1 篇 环境科学与工程（可...
- 1 篇 生物工程
8 篇 理学
- 5 篇 数学
- 1 篇 化学
- 1 篇 大气科学
- 1 篇 生物学
- 1 篇 系统科学
- 1 篇 统计学（可授理学、...
4 篇 管理学
- 2 篇 管理科学与工程(可...
- 2 篇 图书情报与档案管...
- 1 篇 工商管理
2 篇 教育学
- 2 篇 教育学

主题

5 篇 application soft...
3 篇 libraries
3 篇 computer archite...
3 篇 parallel program...
3 篇 computer languag...
2 篇 computer science
2 篇 workflows
2 篇 space exploratio...
2 篇 semantics
2 篇 domain specific ...
2 篇 itasks
2 篇 mathematics
2 篇 c++ languages
2 篇 computer program...
2 篇 functional progr...
2 篇 cryptography
2 篇 energy efficienc...
1 篇 circuit analysis
1 篇 transient analys...
1 篇 software systems

机构

2 篇 elte eötvös lorá...
2 篇 stanford univ st...
1 篇 calspan corp arn...
1 篇 aarhus univ dept...
1 篇 mpi sws saarbruc...
1 篇 university of ke...
1 篇 ibm corp thomas ...
1 篇 fondazione bruno...
1 篇 radboud univ nij...
1 篇 cispa helmholz c...
1 篇 federal universi...
1 篇 tu dresden dresd...
1 篇 tsinghua univers...
1 篇 universitat poli...
1 篇 technical univer...
1 篇 netherlands defe...
1 篇 politecnico di m...
1 篇 inria paris
1 篇 massey univ sch ...
1 篇 univ fed espirit...

作者

1 篇 roberts e
1 篇 hirschfeld rober...
1 篇 ismail mohammed
1 篇 carvallo juan pa...
1 篇 pilato christian
1 篇 playne daniel
1 篇 fiorito michele
1 篇 crawford m.a.
1 篇 g.e. suh
1 篇 di domenico dani...
1 篇 johnson martin
1 篇 péter bereczky
1 篇 falbo ricardo de...
1 篇 zhang chao
1 篇 patrignani marco
1 篇 song miao
1 篇 yufei duan
1 篇 katalinic branko
1 篇 c.w. o'donnell
1 篇 li yun

语言

49 篇 英文
1 篇 德文

检索条件"任意字段=Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages"

共 50 条记录，以下是1-10 订阅

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

详细简洁

排序：

proceedings of the 32nd symposium on implementation and application of functional languages, IFL 2020

Proceedings of the 32nd Symposium on Implementation and Appl...

引用

32nd symposium on implementation and application of functional languages, IFL 2020

ISBN: (纸本)9781450389631

The proceedings contain 14 papers. The topics discussed include: building an integrated development environment (IDE) on top of a build system: the tale of a Haskell IDE;HoCL: high level specification of dataflow graphs;heuristics-based type error diagnosis for Haskell: The case of GADTs and local reasoning;a declarative gradualizer with language transformations;a new backend for standard ML of New Jersey;template-based theory exploration: discovering properties of functional programs by testing;type- and control-flow directed defunctionalization;resource analysis for lazy evaluation with polynomial potential;typed directional composable editors in iTasks;and effective host-GPU memory management through code generation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

implementation and application of functional languages - 22nd International symposium, IFL 2010, Revised Selected Papers

Implementation and Application of Functional Languages - 22n...

引用

22nd International symposium on implementation and application of functional languages, IFL 2010

ISBN: (纸本)9783642242755

The proceedings contain 13 papers. The topics discussed include: Haskell boards the ferry: database-supported program execution for Haskell;theory and practice of fusion;orthogonal serialization for Haskell;introducing the PilGRIM: a processor for executing lazy functional languages;automating derivations of abstract machines from reduction semantics: a generic formalization of refocusing in coq;dependently typed attribute grammars;the design and implementation of feldspar: an embedded language for digital signal processing;purity in erlang;iTask as a new paradigm for building GUI applications;and concurrent non-deferred reference counting on the microgrid: first experiences.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Declarative Gradualizer with Language Transformations 32

A Declarative Gradualizer with Language Transformations

引用

32nd symposium on implementation and application of functional languages (IFL)

作者： Mourad, Benjamin Cimini, Matteo Univ Massachusetts Lowell Lowell MA 01854 USA

ISBN: (纸本)9781450389631

lang-n-change is a domain-specific language for expressing language transformation algorithms. We have previously used lang-n-change to express simple transformations, which begs the question on whether lang-n-change can be applied to sophisticated aspects of programming languages. In this paper, we target the automatic transformation of functional languages into their gradually typed versions. We have implemented the entire Gradualizer of Cimini and Siek in lang-nchange. Our code is declarative, succinct, and is only similar to 25% the lines of code of the original Gradualizer. We show that it is easy to extend our lang-n-change Gradualizer, and we extend it to handle certain languages with subtyping and multiple contravariant types.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

End-user feedback in multi-user workflow systems 32

End-user feedback in multi-user workflow systems

引用

32nd symposium on implementation and application of functional languages (IFL)

作者： Naus, Nico Jeuring, Johan Open Univ Heerlen Netherlands Univ Utrecht Utrecht Netherlands

ISBN: (纸本)9781450389631

Workflow systems are more and more common due to the automation of business processes. The automation of business processes enables organizations to simplify their processes, improve services and contain costs. A problem with using workflow systems is that processes once known by heart, are now hidden from the user. This, combined with time pressure, lack of experience and an abundance of options, makes it harder for a user to make the right choices. To aid users of these systems, we have developed a multi-user rule-based problem-solving framework that can be instantiated for many workflow systems. It provides hints to the end user on how to achieve her goals and makes life for the programmer easier, as she only needs to instantiate the framework instead of programming an ad-hoc solution. Our approach consists of two parts. First, we present a domain-specific language (DSL) that offers commonly used constructs for combining components of different rule-based problems. Second, we use generic search algorithms to solve various kinds of problems. We show a practical implementation with an example workflow system. We show that this system fulfills several desirable properties.

关键词： functional programming iTasks Domain specific languages Workflows

来源：评论

学校读者我要写书评

暂无评论

Typed Directional Composable Editors in iTasks 32

Typed Directional Composable Editors in iTasks

引用

32nd symposium on implementation and application of functional languages (IFL)

作者： Lijnse, Bas Plasmeijer, Rinus Radboud Univ Nijmegen Nijmegen Netherlands TOP Software Technol Mook Netherlands

ISBN: (纸本)9781450389631

Generic, type-driven web-based editors have been an integral feature of the iTask Framework (iTasks) since its conception, and even predate it in the form of the iData library. Generic editors enable rapid prototyping, because they allow the generation of graphical user interfaces from any first-order type. As applications mature, the need for increased control over the look and feel of editors arises. This can be accomplished by creating customised editors. Unfortunately defining custom editors is no trivial task in iTasks. The interface for creating custom editors from scratch is sufficiently powerful, but exposes many implementation details that make it complicated to use. In this paper we present a new interface and composition API for editors in iTasks. This new approach is based on an asymmetric typed interface for editors with separate type parameters for data that is consumed by, and data that is produced by, the web editors. We demonstrate the new possibilities by reconstructing a previously builtin editor as a composition of simpler editors and various other examples.

关键词： application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

Static enforcement of security in runtime systems 32

Static enforcement of security in runtime systems

引用

32nd IEEE Computer Security Foundations symposium (CSF)

作者： Pedersen, Mathias, V Askarov, Aslan Aarhus Univ Dept Comp Sci Aarhus Denmark

ISBN: (数字)9781728114071

ISBN: (纸本)9781728114064

Underneath every modern programming language is a runtime environment (RTE) that handles features such as automatic memory management and thread scheduling. In the information-flow control (IFC) literature, the RTE is often part of the trusted computing base (TCB), and there has been little focus on applying IFC to the implementation of the RTE itself. In this paper we address this problem by designing an IFC language, Zee, for implementing secure RTEs, thereby removing the RTE from the TCB. We implement Zee and design and implement secure versions of garbage collectors and thread schedulers using Zee. We also prove that a faithful calculus of Zee satisfies a strong variant of timing-sensitive noninterference.

关键词： Security Runtime environment Computer languages Semantics Arrays Calculus

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 32nd symposium Design for X, DFX 2021

Proceedings of the 32nd Symposium Design for X, DFX 2021

引用

32nd symposium Design for X, DFX 2021

The proceedings contain 23 papers. The topics discussed include: a data model for linking testbed and field test data;architecture of the digital twin in product validation for the application in virtual-physical testing to investigate system reliability;objective evaluation of vibration comfort through the design of a vibration filter - implementation of a study design for vibration comfort evaluation;a data model for linking testbed and field test data;a semantic web approach for structuring data-driven methods in the product development process;evaluation of design support tools for additive manufacturing and conceptualization of an integrated knowledge management framework;and procedure for the transferability of application-specific boundary conditions for the testing of components and products.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SiC MOS Power Module in Direct Pressed Die Technology and some Challenges for implementation 32

SiC MOS Power Module in Direct Pressed Die Technology and so...

引用

32nd International symposium on Power Semiconductor Devices and ICs (ISPSD)

作者： Kasko, Igor Berberich, Sven E. Spang, Matthias Oehling, Stefan Semikron Elekt GmbH & Co KG Res & Dev Modules & Chips Nurnberg Germany

ISBN: (纸本)9781728148366

The novel Direct Pressed Die (DPD) technology enables design and assembly of high performance module suitable for integration of SiC MOSFET devices. In order to provide a high module power required, e.g., for automotive application in main train, the utilization of a high number of paralleled devices is necessary and the possible oscillations excited between devices have to be avoided. The generic analysis of module stability is done for different chip parameters and assembly techniques and gives guidelines for chip selection. The simulation results are confirmed by measurements.

关键词： power module sintering SiC MOS performance reliability parallel switching

来源：评论

学校读者我要写书评

暂无评论

An overview of MiniJava 01

An overview of MiniJava

引用

32nd SIGCSE Technical symposium on Computer Science Education

作者： Roberts, E Stanford Univ Stanford CA 94305 USA

ISBN: (纸本)1581133294

This paper describes the implementation of MiniJava, a teaching-oriented programming language closely based on the Java language developed by Sun Microsystems [6]. The core of the MiniJava environment is a restricted subset of the standard Java release and is designed to reduce the intimidation factor introductory students experience when they encounter a system as large as the Java environment. The paper outlines the particular restrictions and extensions that define MiniJava along with pedagogical justifications for each.

关键词： Java programming language Sun Microsystems Java intimidation Computer Programming languages Environments

来源：评论

学校读者我要写书评

暂无评论

implementation of object-relational DBMSs in a relational database course 01

Implementation of object-relational DBMSs in a relational da...

引用

32nd SIGCSE Technical symposium on Computer Science Education

作者： Wang, M Embry Riddle Aeronaut Univ Dept Comp & Math Daytona Beach FL 32114 USA

ISBN: (纸本)1581133294

Object-relational DBMS was gradually added as a new topic to the author's database course in response to the rapid changes in DBMS technology in the real world. implementation of ORDBMS technology in a traditional relational database course had significant impacts on the database curriculum. As an outcome, students were able to solve problems that could not be solved well in a relational database. ORDBMS was implemented with Universal Modeling Language (UML) and the Oracle 8i server. Course design, teaching methodology, class activities and the outcome of the course are discussed.

关键词： Relational databases Teaching Methods course design modelling languages database management systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：