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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,277 篇 会议
296 篇 期刊文献
2 册 图书

馆藏范围

2,575 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,280 篇 工学
- 2,149 篇 软件工程
- 1,702 篇 计算机科学与技术...
- 86 篇 控制科学与工程
- 57 篇 信息与通信工程
- 55 篇 电气工程
- 22 篇 电子科学与技术（可...
- 17 篇 机械工程
- 13 篇 材料科学与工程（可...
- 13 篇 建筑学
- 13 篇 土木工程
- 13 篇 生物工程
- 10 篇 光学工程
- 9 篇 安全科学与工程
- 8 篇 化学工程与技术
- 5 篇 动力工程及工程热...
- 5 篇 生物医学工程（可授...
- 4 篇 力学（可授工学、理...
278 篇 理学
- 217 篇 数学
- 30 篇 系统科学
- 18 篇 统计学（可授理学、...
- 16 篇 物理学
- 16 篇 生物学
- 8 篇 化学
- 6 篇 地质学
207 篇 管理学
- 112 篇 图书情报与档案管...
- 107 篇 管理科学与工程(可...
- 48 篇 工商管理
22 篇 教育学
- 22 篇 教育学
17 篇 法学
- 15 篇 社会学
9 篇 经济学
- 9 篇 应用经济学
2 篇 农学
2 篇 艺术学
1 篇 军事学

主题

390 篇 design
369 篇 languages
187 篇 computer program...
182 篇 performance
162 篇 object oriented ...
89 篇 algorithms
88 篇 java programming...
81 篇 experimentation
78 篇 functional progr...
71 篇 computer program...
71 篇 theory
65 篇 java
63 篇 verification
61 篇 reliability
48 篇 semantics
47 篇 software design
45 篇 domain-specific ...
38 篇 parallel program...
37 篇 concurrency
35 篇 measurement

机构

25 篇 carnegie mellon ...
22 篇 univ washington ...
18 篇 univ penn philad...
17 篇 princeton univ p...
17 篇 stanford univ st...
16 篇 univ texas austi...
15 篇 harvard univ cam...
14 篇 purdue univ w la...
13 篇 microsoft res re...
13 篇 microsoft resear...
13 篇 rice univ housto...
12 篇 univ wisconsin m...
12 篇 mit cambridge ma...
12 篇 cornell univ ith...
12 篇 microsoft res ca...
11 篇 univ michigan an...
11 篇 swiss fed inst t...
11 篇 univ calif berke...
10 篇 microsoft res re...
10 篇 yale univ new ha...

作者

19 篇 hirschfeld rober...
16 篇 walker david
15 篇 visser eelco
15 篇 felleisen matthi...
14 篇 findler robert b...
13 篇 grossman dan
13 篇 bacon david f.
12 篇 chlipala adam
11 篇 flatt matthew
11 篇 sarkar vivek
11 篇 myers andrew c.
11 篇 mezini mira
11 篇 morrisett greg
10 篇 mckinley kathryn...
10 篇 bockisch christo...
10 篇 adl-tabatabai al...
10 篇 van der storm ti...
10 篇 de moor oege
10 篇 dillig isil
9 篇 lumsdaine a

语言

2,356 篇 英文
214 篇 其他
4 篇 中文
1 篇 葡萄牙文

检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"

共 2575 条记录，以下是311-320 订阅

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

详细简洁

排序：

Mdspan in C++: A Case Study in the Integration of Performance Portable Features into International language Standards

Mdspan in C++: A Case Study in the Integration of Performanc...

引用

2019 IEEE/acm International Workshop on Performance, Portability and Productivity in HPC, P3HPC 2019

作者： Hollman, David Lelbach, Bryce Edwards, H. Carter Hoemmen, Mark Sunderland, Daniel Trott, Christian R. Scalable Modeling and Analysis Sandia National Laboratories LivermoreCA United States NVIDIA Corp. Santa ClaraCA United States Engineering Sciences Sandia National Laboratories AlbuquerqueNM United States Center for Computing Research Sandia National Laboratories AlbuquerqueNM United States

ISBN: (纸本)9781728160030

Multi-dimensional arrays are ubiquitous in high-performance computing (HPC), but their absence from the C++ language standard is a long-standing and well-known limitation of their use for HPC. This paper describes the design and implementation of mdspan, a proposed C++ standard multidimensional array view (planned for inclusion in C++23). The proposal is largely inspired by work done in the Kokkos project - a C++ performance-portable programming model de- ployed by numerous HPC institutions to prepare their code base for exascale-class supercomputing systems. This paper describes the final design of mdspan af- ter a five-year process to achieve consensus in the C++ community. In particular, we will lay out how the design addresses some of the core challenges of performance-portable programming, and how its cus- tomization points allow a seamless extension into areas not currently addressed by the C++ Standard but which are of critical importance in the heterogeneous computing world of today's systems. Finally, we have provided a production-quality implementation of the proposal in its current form. This work includes several benchmarks of this implementation aimed at demon- strating the zero-overhead nature of the modern design. © 2019 IEEE.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Scala 2018 - Proceedings of the 9th acm sigplan International Symposium on Scala, co-located with ICFP 2018

Scala 2018 - Proceedings of the 9th ACM SIGPLAN Internationa...

引用

9th acm sigplan International Symposium on Scala, Scala 2018, Part of the acm sigplan International conference on Functional programming, ICFP 2018

ISBN: (纸本)9781450358361

The proceedings contain 9 papers. The topics discussed include: a domain-specific language for microservices;parser combinators for context-free path querying;garnishing parsec with parsley;path dependent types with path-equality;kDOT: scaling DOT with mutation and constructors;truly abstract interfaces for algebraic data types: the extractor typing problem;interflow: interprocedural flow-sensitive type inference and method duplication;and extending scala with records: design, implementation, and evaluation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Cb: A New Modular Approach to Implementing Efficient and Tunable Collections

Cb: A New Modular Approach to Implementing Efficient and Tun...

引用

acm sigplan International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward!)

作者： Brandauer, Stephan Castegren, Elias Wrigstad, Tobias Uppsala Univ Uppsala Sweden

ISBN: (纸本)9781450360319

Collections are commonly implemented as libraries by data structure experts, and are relied on heavily by application developers. The expert's task is to implement a wide range of collections, and the application developer's task is to pick an appropriate collection for each usage scenario. The design space for collections is huge, as data structures in practice implement not only their semantics, but also several performance-related concerns like memory layout and (im) mutability. This paper presents Cb, pronounced "C-flat", a novel way to implement collections that lets experts implement the semantics of a collection data structure, in a way that is decoupled from its data representation. This simplifies collection implementation, and allows a collection's performance to be tuned, for example, moving from a dense to a sparse representation, without changing its abstract specification. We describe Cb, both abstractly and in terms of a specific prototype implementation in Java. We use our prototype implementation to show that Cb is expressive enough to implement common collections, that the code is straightforward, and that the performance of Cb collections is close to Java's standard collections for most operations, and much higher for some.

关键词： data structure design domain specific language performance tuning

来源：评论

学校读者我要写书评

暂无评论

A Practical Unification of Multi-stage programming and Macros 2018

A Practical Unification of Multi-stage Programming and Macro...

引用

17th acm sigplan International conference on Generative programming - Concepts and Experiences (GPCE) part of the SPLASH Collection of conferences and Workshops

作者： Stucki, Nicolas Biboudis, Aggelos Odersky, Martin Ecole Polytech Fed Lausanne Lausanne Switzerland

ISBN: (纸本)9781450360456

Program generation is indispensable. We propose a novel unification of two existing metaprogramming techniques: multi-stage programming and hygienic generative macros. The former supports runtime code generation and execution in a type-safe manner while the latter offers compile-time code generation. In this work we draw upon a long line of research on metaprogramming, starting with Lisp, MetaML and MetaOCaml. We provide direct support for quotes, splices and top-level splices, all regulated uniformly by a level-counting Phase Consistency Principle. Our design enables the construction and combination of code values for both expressions and types. Moreover, code generation can happen either at runtime a la MetaML or at compile time, in a macro fashion, a la MacroML. We provide an implementation of our design in Scala and we present two case studies. The first implements the Hidden Markov Model, Shonan Challenge for HPC. The second implements the staged streaming library Strymonas.

关键词： Macros Multi-stage programming Scala

来源：评论

学校读者我要写书评

暂无评论

Shape-Diverse DSLs: languages without Borders (Vision Paper) 11

Shape-Diverse DSLs: Languages without Borders (Vision Paper)

引用

11th acm sigplan International conference on Software language Engineering (SLE) part of SPLASH conference / 17th International conference on Generative programming - Concepts and Experiences (GPCE)

作者： Coulon, Fabien Degueule, Thomas van der Storm, Tijs Combemale, Benoit Univ Toulouse IRIT Obeo Toulouse France Ctr Wiskunde & Informat Amsterdam Netherlands Univ Groningen Ctr Wiskunde & Informat Groningen Netherlands Univ Toulouse IRIT INRIA Toulouse France

ISBN: (纸本)9781450360296

Domain-Specific languages (DSLs) manifest themselves in remarkably diverse shapes, ranging from internal DSLs embedded as fluent APIs, to external DSLs with dedicated syntax and tool support. Although different shapes have different pros and cons, combining them for a single language is problematic: language designers usually commit to a particular shape early in the design process, and it is hard to reconsider this choice later. In this new ideas paper, we envision a language engineering approach enabling (i) language users to manipulate language constructs in the most appropriate shape according to the task at hand, and (ii) language designers to combine the strengths of different technologies for a single DSL. We report on early experiments and lessons learned building PRISM, our prototype approach to this problem. We illustrate its applicability in the engineering of a shape-diverse DSL implemented conjointly in Rascal, EMF, and Java. We hope that our initial contribution will raise the awareness of the community and encourage future research.

关键词： domain-specific language shape-diverse dsl

来源：评论

学校读者我要写书评

暂无评论

Implementing a Semi-causal Domain-Specific language for Context Detection over Binary Sensors 2018

Implementing a Semi-causal Domain-Specific Language for Cont...

引用

17th acm sigplan International conference on Generative programming - Concepts and Experiences (GPCE) part of the SPLASH Collection of conferences and Workshops

作者： Volanschi, Nic Serpette, Bernard Consel, Charles Inria Bordeaux Talence France Bordeaux INP Talence France

ISBN: (纸本)9781450360456

In spite of the fact that many sensors in use today are binary (i.e. produce only values of 0 and 1), and that useful context-aware applications are built exclusively on top of them, there is currently no development approach specifically targeted to binary sensors. Dealing with notions of state and state combinators, central to binary sensors, is tedious and error-prone in current approaches. For instance, developing such applications in a general programming language requires writing code to process events, maintain state and perform state transitions on events, manage timers and/or event histories. In another paper, we introduced a domain specific language (DSL) called Allen, specifically targeted to binary sensors. Allen natively expresses states and state combinations, and detects contexts on line, on incoming streams of binary events. Expressing state combinations in Allen is natural and intuitive due to a key ingredient: semi-causal operators. That paper focused on the concept of the language and its main operators, but did not address its implementation challenges. Indeed, online evaluation of expressions containing semi-causal operators is difficult, because semicausal sub-expressions may block waiting for future events, thus generating unknown values, besides 0 and 1. These unknown values may or may not propagate to the containing expressions, depending on the current value of the other arguments. This paper presents a compiler and runtime for the Allen language, and shows how they implement its state combining operators, based on reducing complex expressions to a core subset of operators, which are implemented natively. We define several assisted living applications both in Allen and in a general scripting language. We show that the former are much more concise in Allen, achieve more effective code reuse, and ease the checking of some domain properties.

关键词： domain-specific languages binary sensors context awareness

来源：评论

学校读者我要写书评

暂无评论

Meta-programming for Cross-Domain Tensor Optimizations 2018

Meta-programming for Cross-Domain Tensor Optimizations

引用

17th acm sigplan International conference on Generative programming - Concepts and Experiences (GPCE) part of the SPLASH Collection of conferences and Workshops

作者： Susungi, Adilla Rink, Norman A. Cohen, Albert Castrillon, Jeronimo Tadonki, Claude PSL Res Univ MINES ParisTech Paris France Tech Univ Dresden Chair Compiler Construct Dresden Germany INRIA Villers Les Nancy France ENS DI Paris France

ISBN: (纸本)9781450360456

Many modern application domains crucially rely on tensor operations. The optimization of programs that operate on tensors poses difficulties that are not adequately addressed by existing languages and tools. Frameworks such as TensorFlow offer good abstractions for tensor operations, but target a specific domain, i.e. machine learning, and their optimization strategies cannot easily be adjusted to other domains. General-purpose optimization tools such as Pluto and existing meta-languages offer more flexibility in applying optimizations but lack abstractions for tensors. This work closes the gap between domain-specific tensor languages and general-purpose optimization tools by proposing the Tensor optimizations Meta-language (TEML). Ton offers high-level abstractions for both tensor operations and loop transformations, and enables flexible composition of transformations into effective optimization paths. This compositionality is built into TEML's design, as our formal language specification will reveal. We also show that TEML can express tensor computations as comfortably as TensorFlow and that it can reproduce Pluto's optimization paths. Thus, optimized programs generated by TEML execute at least as fast as the corresponding Pluto programs. In addition, TEML enables optimization paths that often allow outperforming Pluto.

关键词： tensor algebra meta-programming code generation and optimization denotational semantics

来源：评论

学校读者我要写书评

暂无评论

A design and implementation of chinese university virtual entrepreneurship education platform system based on B/S structure 2

A design and implementation of chinese university virtual en...

引用

2nd International conference on Algorithms, Computing and Artificial Intelligence, ACAI 2019

作者： Xia, Yuan Yao, Yi Institute of Educational Economy and Management University of Science and Technology Beijing China Department of Business Administration Yangtze University College of Arts and Science Hubei China

ISBN: (纸本)9781450372619

With the rapid development of network information technology and its wide application in various fields, the practical teaching link of college entrepreneurship education must be closely integrated with modern information technology, from content and form to better adapt to the information age. Development needs. Entrepreneurship education in colleges and universities can not only deepen the reform of higher education, but also provide an important platform for cultivating compound talents with innovative entrepreneurship. The construction of virtual network platform system for entrepreneurship education in colleges has the advantages of openness, unity and sharing. It integrates various business resources to provide students with better and convenient personalized services and the other entrepreneurship. The limitations of the educational network platform. This platform uses the popular B/S structure model, three-layer model design, and applies Microsoft's *** technology platform and joint programming language to focus on the analysis, design, development and implementation process of college entrepreneurship education system. Online teaching platforms in Europe and the United States have already formed scale and achieved great success, such as WEBCT, Blackboard, Virtual-U and other well-known online teaching platforms. Online teaching platforms started late in China, such as Aopeng Education Platform, 4A Online Teaching Platform, and Universal Online Education Platform, etc., but the overall status quo is still in the primary stage of tracking foreign models and development, sharing, network operation efficiency, interaction, Source code, details, and other related factors, as well as the high costs and irreversible factors involved in entrepreneurship education and practical training, these have seriously affected the cultivation of practical teaching and practical ability in innovative entrepreneurship education in universities, which is difficult to meet

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

SPLASH Companion 2017 - Proceedings Companion of the 2017 acm sigplan International conference on Systems, programming, languages, and Applications: Software for Humanity

SPLASH Companion 2017 - Proceedings Companion of the 2017 AC...

引用

8th acm sigplan International conference on Systems, programming, languages, and Applications: Software for Humanity, SPLASH Companion 2017

ISBN: (纸本)9781450355148

The proceedings contain 20 papers. The topics discussed include: how to make tasks faster: revealing the complex interactions of tasks in the memory system;combining visual and textual languages for dyslexia;genetic improvement in code interpreters and compilers;simulation-based code duplication for enhancing compiler optimizations;advanced debugging techniques to identify concurrency bugs in actor-based programs;framework support for usability evaluation of domain-specific languages;understanding the interplay between task scheduling, memory and performance;computer-assisted specification of asynchronous interfaces with non-deterministic behavior;verifying the proxy design pattern using object propositions;ZenSheet Studio: a spreadsheet-inspired environment for reactive computing;how are programming questions from women received on stack overflow? a case study of peer parity;devirtualization in LLVM;Principles, patterns, and techniques for designing and implementing practical fluent interfaces in Java;SmartJS: dynamic and self-adaptable runtime middleware for next-generation IoT systems;incremental parametric syntax for multi-language transformation;and QuixBugs: a multi-lingual program repair benchmark set based on the Quixey challenge.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Brook Auto: High-Level Certification-Friendly programming for GPU-powered Automotive Systems 18

Brook Auto: High-Level Certification-Friendly Programming fo...

引用

55th acm/ESDA/IEEE design Automation conference (DAC)

作者： Maria Trompouki, Matina Kosmidis, Leonidas Univ Politecn Cataluna Barcelona Spain Barcelona Supercomp Ctr Barcelona Spain

ISBN: (纸本)9781450357005

Modern automotive systems require increased performance to implement Advanced Driving Assistance Systems (ADAS). GPU-powered platforms are promising candidates for such computational tasks, however current low-level programming models challenge the accelerator software certification process, while they limit the hardware selection to a fraction of the available platforms. In this paper we present Brook Auto, a high-level programming language for automotive GPU systems which removes these limitations. We describe the challenges and solutions we faced in its implementation, as well as a complete evaluation in terms of performance and productivity, which shows the effectiveness of our method.

关键词： Embedded GPUs Automotive Systems Certification

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共258页 << < 28 29 30 31 32 33 34 35 36 37 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：