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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

42 篇 会议
4 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

35 篇 工学
- 32 篇 软件工程
- 26 篇 计算机科学与技术...
- 2 篇 电气工程
- 2 篇 控制科学与工程
- 1 篇 信息与通信工程
- 1 篇 土木工程
- 1 篇 化学工程与技术
- 1 篇 纺织科学与工程
- 1 篇 环境科学与工程（可...
7 篇 理学
- 4 篇 数学
- 2 篇 系统科学
- 1 篇 化学
6 篇 管理学
- 6 篇 图书情报与档案管...
1 篇 教育学
- 1 篇 教育学

主题

4 篇 type systems
3 篇 software design
2 篇 modules
2 篇 languages
2 篇 ml
2 篇 type theory
2 篇 abstract types
2 篇 distributed prog...
2 篇 dependent types
2 篇 rebinding
2 篇 design
2 篇 version control
2 篇 marshalling
2 篇 serialisation
2 篇 computer program...
2 篇 abstracting
2 篇 programming lang...
1 篇 object oriented ...
1 篇 pointwise baseli...
1 篇 programming lang...

机构

2 篇 inria rocquencou...
2 篇 univ cambridge c...
2 篇 mpi-sws
1 篇 computer science...
1 篇 at and t labs. r...
1 篇 department of in...
1 篇 university of no...
1 篇 microsoft resear...
1 篇 center for compu...
1 篇 univ york york y...
1 篇 portland state u...
1 篇 vtt tech res ctr...
1 篇 chalmers univ te...
1 篇 nicta unsw
1 篇 microsoft resear...
1 篇 lunam univ ecole...
1 篇 imec vzw b-3001 ...
1 篇 ufrj rio de jane...
1 篇 stellar group ba...
1 篇 wuhan business u...

作者

2 篇 swamy nikhil
2 篇 nardelli frances...
2 篇 vafeiadis viktor
2 篇 habouzit pierre
2 篇 chen juan
2 篇 leifer james j.
2 篇 dreyer derek
2 篇 sewell peter
2 篇 wansbrough keith
2 篇 allen-williams m...
1 篇 chung benjamin
1 篇 mascarenhas fabi...
1 篇 kaiser hartmut
1 篇 russo claudio v.
1 篇 vafeiadis v
1 篇 zhao jianzhou
1 篇 naumovich gleb
1 篇 gilson fabian
1 篇 potanin alex
1 篇 siegel ellen h.

语言

44 篇 英文
2 篇 其他

检索条件"任意字段=5th ACM SIGPLAN Workshop on Types in Language Design and Implementation"

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

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

详细简洁

排序：

design of online course management system based on Python 5

Design of online course management system based on Python

引用

5th International Conference on E-Business, Information Management and Computer Science, EBIMCS 2022

作者： Li, Ting Wuhan Business University HuBei WuHan China

ISBN: (纸本)9781450397834

With the continuous progress and development of Internet technology, computer information management technology is also developing continuously, and all walks of life have developed their own management systems. the course management system uses educational technology and network technology to realize the online release of course resources, which is convenient for students to learn and assist teachers in teaching. the development of the visual programming environment based on Python language in this paper has gone through three stages: system requirements analysis, structure and coding design, detailed design and implementation of each module, and realized a complete and standardized course management system based on project teaching. © 2022 acm.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

Towards text-based domain-specific modeling language for representational state transfer compliant services 20

Towards text-based domain-specific modeling language for rep...

引用

5th International Conference on Sustainable Information Engineering and Technology, SIET 2020

作者： Kharisma, Agi Putra Mardiyanto, Mochamad Sukrisno Department of Informatics Engineering Universitas Brawijaya Malang Indonesia School of Electrical Engineering and Informatics Institut Teknologi Bandung Bandung Indonesia

ISBN: (纸本)9781450376051

this paper discusses the development of text-based domain-specific modeling language. the covered domain is representational state transfer (REST) architectural style. With domain-specific modeling language, we can develop software in a higher level of abstraction than general-purpose programming language. Domain analysis is performed to classify different kinds of resources into several resource types, namely resource, individual resource, projection resource, container resource, list resource, collection resource, transitional resource, and subresource. the design of modeling language is represented in metamodel and the implementation of modeling language is represented in EBNF-like grammar using Xtext domain-specific language (DSL) framework. In conclusion, we have successfully developed a domain-specific modeling language and its validators. the problem faced lies in the code generator in the behavioral modeling aspect, especially the business logic. It is very difficult to generalize the various business logic at a high level of abstraction. So that in the future, the modeling language needs to be limited to a narrower domain so that it can be fully executable. © 2020 acm.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Using SYCL as an implementation framework for *** 2017

Using SYCL as an implementation framework for ***

引用

5th International workshop on OpenCL, IWOCL 2017

作者： Copik, Marcin Kaiser, Hartmut RWTH Aachen University Aachen Germany Center for Computation and Technology Louisiana State University Baton Rouge United States STELLAR Group Baton Rouge United States

ISBN: (纸本)9781450352147

the recent advancements in High Performance Computing and ongoing research to reach Exascale has been heavily supported by introducing dedicated massively parallel accelerators. Programmers wishing to maximize utilization of current supercomputers are required to develop software which not only involves scaling across multiple nodes but are capable of offloading data-parallel computation to dedicated hardware such as graphic processors. Introduction of new types of hardware has been followed by developing new languages, extensions, compilers and libraries. Unfortunately, none of those solutions seem to be fully portable and independent from specific vendor and type of hardware. HPX. Compute, a programming model developed on top of HPX, a C++ standards library for concurrency and parallelism, uses existing and proposed C++ language and library capabilities to support various types of parallelism. It aims to provide a generic interface allowing for writing code which is portable between hardware architectures. We have implemented a new backend for *** based on SYCL, a Khronos standard for single-source programming of OpenCL devices in C++. We present how this runtime may be used to target OpenCL devices through our C++ *** have evaluated performance of new implementation on graphic processors with STREAM benchmark and compare results with existing CUD Abased implementation. © 2017 acm.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Using Fusion to Enable Late design Decisions for Pipelined Computations 5

Using Fusion to Enable Late Design Decisions for Pipelined C...

引用

5th acm International workshop on Functional High-Performance Computing (FHPC)

作者： Karacsony, Matc Claessen, Koen Eotvos Lorand Univ Dept Programming Languages & Compilers Budapest Hungary Chalmers Univ Technol Dept Comp Sci & Engn Gothenburg Sweden

ISBN: (纸本)9781450344333

We present an embedded language in Haskell for programming pipelined computations. the language is a combination of Feldspar (a functional language for array computations) and a new implementation of Ziria (a language for describing streaming computations originally designed for programming software defined radio). the resulting language makes heavy use of fusion: as in Feldspar, computations over arrays are fused to eliminate intermediate arrays, but Ziria processes can also be fused, eliminating the message passing between them, which in turn can give rise to more fusion at the Feldspar level. the result is a language in which we can first describe pipelined computations at a very fine-grained level, and only afterwards map computations onto the details of a specific parallel architecture, where the fusion helps us to generate efficient code. this flexible design method enables late design decisions cheaply, which in turn can lead to more efficient produced code. In the paper, we present two examples of pipelined computations in our language that can be run on Adapteva's Epiphany many-core coprocessor and on other back-ends.

关键词： pipeline parallelism fusion Haskell Epiphany Blow-fish

来源：评论

学校读者我要写书评

暂无评论

Enhancing domain specific language implementations through ontology 5

Enhancing domain specific language implementations through o...

引用

5th International workshop on Domain-Specific languages and High-Level Frameworks for High Performance Computing, WOLFHPC 2015

作者： Liao, Chunhua Lin, Pei-Hung Quinlan, Daniel J. Zhao, Yue Shen, Xipeng Lawrence Livermore National Laboratory Center for Applied Scientific Computing United States Computer Science Department North Carolina State University United States

ISBN: (纸本)9781450340168

Domain specific languages (DSLs) offer an attractive path to program large-scale, heterogeneous parallel computers since application developers can leverage high-level annotations defined by DSLs to efficiently express algorithms without being distracted by low-level hardware details. However, performance of DSL programs heavily relies on how well a DSL implementation, including compilers and runtime systems, can exploit knowledge across multiple layers of software/ hardware environments for optimizations. the knowledge ranges from domain assumptions, high-level DSL semantics, to low-level hardware features. Traditionally, such knowledge is either implicitly assumed or represented using ad-hoc approaches, including narrative text, source-level annotations, or customized software and hardware specifications in high performance computing (HPC). the lack of a formal, uniform, extensible, reusable and scalable knowledge management approach is becoming a major obstacle to efficient DSLs implementations targeting fast-changing parallel architectures. In this paper, we present a novel DSL implementation paradigm using an ontology-based knowledge base to formally and uniformly exploit the knowledge needed for optimizations. An ontology is a formal and explicit knowledge representation to describe concepts, properties, and individuals in a domain. During the past decades, a wide range of ontology standards and tools have been developed to help users capture, share, utilize and reason domain knowledge. Using modern ontology techniques, we design a knowledge base capturing concepts and properties of a problem domain, DSL programs, and hardware architectures. Compiler interfaces are also defined to allow interactions with the knowledge base to assist program analysis, optimization and code generation. Our preliminary evaluation using stencil computation shows the feasibility and benefits of our approach. © 2015 acm.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

POPL: TLDI'12 - Proceedings of the 8th acm sigplan workshop on types in language design and implementation

POPL: TLDI'12 - Proceedings of the 8th ACM SIGPLAN Workshop ...

引用

8th acm sigplan workshop on types in language design and implementation, TLDI'12, Co-located with POPL 2012

ISBN: (纸本)9781450311205

the proceedings contain 8 papers. the topics discussed include: towards concurrent type theory;exact type parameterization and this type support;types for relaxed memory models;towards a formal semantics for a structurally dynamic noncausal modelling language;semantics for graphical user interfaces;giving Haskell a promotion;static lock capabilities for deadlock freedom;type systems for dummies;and row-based effect types for database integration.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Typed Lua: An optional type system for Lua

Typed Lua: An optional type system for Lua

引用

8th workshop on Dynamic languages and Applications, Dyla 2014, with PLDI 2014

作者： Maidl, André Murbach Mascarenhas, Fabio Ierusalimschy, Roberto PUC-Rio Rio de Janeiro Brazil UFRJ Rio de Janeiro Brazil

ISBN: (纸本)9781450329163

Dynamically typed languages trade flexibility and ease of use for safety, while statically typed languages prioritize the early detection of bugs, and provide a better framework for structure large programs. the idea of optional typing is to combine the two approaches in the same language: the programmer can begin development with dynamic types, and migrate to static types as the program matures. the challenge is designing a type system that feels natural to the programmer that is used to programming in a dynamic language. this paper presents the initial design of Typed Lua, an optionally-typed extension of the Lua scripting language. Lua is an imperative scripting language with first class functions and lightweight metaprogramming mechanisms. the design of Typed Lua's type system has a novel combination of features that preserves some of the idioms that Lua programmers are used to, while bringing static type safety to them. We show how the major features of the type system type these idioms with some examples, and discuss some of the design issues we faced. © 2014 acm.

关键词： gradual typing Lua programming language optional typing type systems

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the workshop on Dynamic languages and Applications, Dyla 2014

Proceedings of the Workshop on Dynamic Languages and Applica...

引用

8th workshop on Dynamic languages and Applications, Dyla 2014, with PLDI 2014

the proceedings contain 5 papers. the topics discussed include: debugging at full speed;list-based monadic computations for dynamically typed languages;python interpreter performance deconstructed;typed lua: an option...

ISBN: (纸本)9781450329163

关键词：

来源：评论

学校读者我要写书评

暂无评论

TLDI'11 - Proceedings of the 7th acm sigplan workshop on types in language design and implementation

TLDI'11 - Proceedings of the 7th ACM SIGPLAN Workshop on Typ...

引用

7th acm sigplan workshop on types in language design and implementation, TLDI'11

ISBN: (纸本)9781450304849

the proceedings contain 7 papers. the topics discussed include: type design patterns for computer mathematics;singleton: a general-purpose dependently-typed assembly language;a type and effect system for deadlock avoidance in low-level languages;extended alias type system using separating implication;type safety from the ground up;AuraConf: a unified approach to authorization and confidentiality;information flow enforcement in monadic libraries;and the essence of monotonic state.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On the customization of Model Management Systems for file-centric IDEs 13

On the customization of Model Management Systems for file-ce...

引用

2013 13th acm workshop on Domain-Specific Modeling, DSM 2013

作者： Méndez-Acuña, David Casallas, Rubby Etien, Anne Departamento de Ingeniería de Sistemas y Computación Universidad de Los Andes Bogotá Colombia LIFL CNRS UMR 8022 Université Lille 1 Lille France

ISBN: (纸本)9781450326001

Model-based solutions are becoming more sophisticated because of the advent of new types of models, languages, and editors. To deal with this complexity, some of the current Integrated Development Environments (IDEs) offer Model Management Systems (MMSs) that provide functionalities to visualize, navigate, and search the modeling artifacts existing in a workspace. Each MMS defines the types of modeling artifacts that it supports and, commonly, furnishes extensibility mechanisms for including new ones. However, the use of those mechanisms usually requires a big implementation effort. As a result, when an MMS does not support all the types of modeling artifacts that a model-driven engineer uses, he/she discards it and ends up manipulating his/her solution through file system views which is not appropriate when projects become larger. In this paper we present some of our preliminary results towards the construction of MoMS-DL, a domain-specific language to define (and automatically generate) customized Eclipse-based MMSs improving the daily work of model-driven engineers. Copyright © 2013 acm.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：