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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 计算机科学与技术...
- 85 篇 控制科学与工程
- 57 篇 信息与通信工程
- 55 篇 电气工程
- 23 篇 电子科学与技术（可...
- 17 篇 机械工程
- 14 篇 建筑学
- 14 篇 土木工程
- 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,354 篇 英文
216 篇 其他
4 篇 中文
1 篇 葡萄牙文

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

共 2575 条记录，以下是781-790 订阅

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

详细简洁

排序：

Molecule: Using Monadic and Streaming I/O to Compose Process Networks on the JVM 12

Molecule: Using Monadic and Streaming I/O to Compose Process...

引用

acm International conference on Object Oriented programming Systems languages and Applications

作者： Bocq, Sebastien Daenen, Koen Alcatel Lucent Bell Labs Antwerp Belgium

ISBN: (纸本)9781450315616

Molecule is a domain specific language library embedded in Scala for easing the creation of scalable and modular concurrent applications on the JVM. Concurrent applications are modeled as parallel process networks that exchange information over mobile and type-safe messaging interfaces. In this paper, we present a concurrent programming environment that combines functional and imperative programming. Using a monad, we structure the sequential or parallel coordination of user-level threads, without JVM modifications or compiler support. Our mobile channel interfaces expose reusable and parallelizable higher-order functions, as if they were streams in a lazily evaluated functional programming language. The support for graceful termination of entire process networks is simplified by integrating channel poisoning with monadic exceptions and resource control. Our runtime and system-level interfaces leverage message batching and a novel flow parallel scheduler to limit expensive context switches in multicore environments. We illustrate the expressiveness and performance benefits on a 24-core AMD Opteron machine with three classical examples: a thread ring, a genuine prime sieve and a chameneos-redux.

关键词： design languages Performance Concurrent parallel multicore DSL DSEL process networks stream functional programming Scala

来源：评论

学校读者我要写书评

暂无评论

Socio-PLT: Principles for programming language adoption

Socio-PLT: Principles for programming language adoption

引用

2012 acm International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software, Onward! 2012

作者： Meyerovich, Leo A. Rabkin, Ariel UC Berkeley United States Princeton University United States

ISBN: (纸本)9781450315623

Why do some programming languages fail and others succeed? What does the answer tell us about programming language design, implementation, and principles? To help answer these and other questions, we argue for examining the sociological groundings of programming language theory: socio-PLT. Researchers in the social sciences have studied adoption in many *** show how their findings are applicable to programming language design. For example, many programming language features provide benefits that programmers cannot directly or immediately observe and therefore may not find compelling. From clean water to safe sex, the health community has repeatedly identified and surmounted similar observability barriers. We use such results from outside of programming language theory to frame a research agenda that should help us understand the social foundations of languages. Finally, we examine implications of our approach, such as for the design space of language features and the assessment of scientific research into programming languages.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Comparing Complexity of API designs: An Exploratory Experiment on DSL-based Framework Integration 11

Comparing Complexity of API Designs: An Exploratory Experime...

引用

10th acm International conference on Generative programming and Component Engineering (GPCE)/conference on Systems, programming, languages and Application - Software for Humanity (SPLASH)

作者： Sobernig, Stefan Gaubatz, Patrick Strembeck, Mark Zdun, Uwe WU Vienna Inst IS & New Media Vienna Austria Univ Vienna Software Architecture Grp Vienna Austria

ISBN: (纸本)9781450306898

Embedded, textual DSLs are often provided as an API wrapped around object-oriented application frameworks to ease framework integration. While literature presents claims that DSL-based application development is beneficial, empirical evidence for this is rare. We present the results of an experiment comparing the complexity of three different object-oriented framework APIs and an embedded, textual DSL. For this comparative experiment, we implemented the same, non-trivial application scenario using these four different APIs. Then, we performed an Object-Points (OP) analysis, yielding indicators for the API complexity specific to each API variant. The main observation for our experiment is that the embedded, textual DSL incurs the smallest API complexity. Although the results are exploratory, as well as limited to the given application scenario and a single embedded DSL, our findings can direct future empirical work. The experiment design is applicable for similar API design evaluations.

关键词： design Experimentation Measurement Domain-Specific language Application programming Interface Complexity Object Points

来源：评论

学校读者我要写书评

暂无评论

Constraints as Control 12

Constraints as Control

引用

39th Annual acm sigplan-SIGACT Symposium on Principles of programming languages

作者： Koeksal, Ali Sinan Kuncak, Viktor Suter, Philippe Swiss Fed Inst Technol EPFL Sch Comp & Commun Sci I&C Lausanne Switzerland

ISBN: (纸本)9781450310833

We present an extension of Scala that supports constraint programming over bounded and unbounded domains. The resulting language, Kaplan, provides the benefits of constraint programming while preserving the existing features of Scala. Kaplan integrates constraint and imperative programming by using constraints as an advanced control structure;the developers use the monadic 'for' construct to iterate over the solutions of constraints or branch on the existence of a solution. The constructs we introduce have simple semantics that can be understood as explicit enumeration of values, but are implemented more efficiently using symbolic reasoning. Kaplan programs can manipulate constraints at run-time, with the combined benefits of type-safe syntax trees and first-class functions. The language of constraints is a functional subset of Scala, supporting arbitrary recursive function definitions over algebraic data types, sets, maps, and integers. Our implementation runs on a platform combining a constraint solver with a standard virtual machine. For constraint solving we use an algorithm that handles recursive function definitions through fair function unrolling and builds upon the state-of-the art SMT solver Z3. We evaluate Kaplan on examples ranging from enumeration of data structures to execution of declarative specifications. We found Kaplan promising because it is expressive, supporting a range of problem domains, while enabling full-speed execution of programs that do not rely on constraint programming.

关键词： Constraint programming Satisfiability Modulo Theories Executable Specifications Scala Embedded Domain-Specific languages Non-determinism

来源：评论

学校读者我要写书评

暂无评论

Developing a new computer music programming language in the 'research through design' context

Developing a new computer music programming language in the ...

引用

2012 3rd acm conference on Systems, programming, and Applications: Software for Humanity, SPLASH 2012

作者： Nishino, Hiroki NUS Graduate School for Integrative Sciences and Engineering National University of Singapore 28 Med. Drive Singapore 117456 Singapore

ISBN: (纸本)9781450315630

The development of computer music languages seems to be considered from outside the computer music community just as contributions in practice rather than in research. Yet, the emerging approach of 'Research through design (RtD)' in HCI also casts a significant question as to how the academic contribution can be made through the design of such DSLs. We describe our practice in the development of a computer music language from the perspective of the RtD.

关键词： Computer music

来源：评论

学校读者我要写书评

暂无评论

Liberating the programmer with prorogued programming

Liberating the programmer with prorogued programming

引用

2012 acm International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software, Onward! 2012

作者： Afshari, Mehrdad Barr, Earl T. Su, Zhendong Department of Computer Science University of California Davis United States

ISBN: (纸本)9781450315623

programming is the process of expressing and refining ideas in a programming language. Ideally, we want our programming language to flexibly fit our natural thought process. language innovations, such as procedural abstract, object and aspect orientation, have helped increase programming agility. However, they still lack important features that a programmer could exploit to quickly experiment with design and implementation choices. We propose prorogued programming, a new paradigm more closely aligned with a programmer's thought process. A prorogued programming language (PPL) supports three basic principles: 1) proroguing concerns1: the ability to defer a concern, to focus on and finish the current concern;2) hybrid computation: the ability to involve the programmer as an integral part of computation;and 3) executable refinement: the ability to execute any intermediate program refinements. Working in a PPL, the programmer can run and experiment with an incomplete program, and gradually and iteratively reify the missing parts while catching design and implementation mistakes early. We describe the prorogued programming paradigm, our design and realization of the paradigm using Prorogued C#, our extension to C#, and demonstrate its utility through a few use cases.

关键词： Ada (programming language)

来源：评论

学校读者我要写书评

暂无评论

SPLASH'12 - Proceedings of the 2012 acm conference on Systems, programming, and Applications: Software for Humanity

SPLASH'12 - Proceedings of the 2012 ACM Conference on System...

引用

2012 3rd acm conference on Systems, programming, and Applications: Software for Humanity, SPLASH 2012

ISBN: (纸本)9781450315630

The proceedings contain 57 papers. The topics discussed include: the storyteller version control system: tackling version control, code comments, and team learning;the ALIA4J approach to efficient language implementation;Citisense: mobile air quality sensing for individuals and communities;analyzing ultra-large-scale code corpus with Boa;OpenRefactory/C: an infrastructure for developing program transformations for C programs;SCuV: a novel software clustering and visualization tool;generic adaptable test cases for software product line testing;using software quality standards to assure the quality of the mobile software product;developing a new computer music programming language in the 'research through design' context;automated behavioral testing of refactoring engines;software tools research: a matter of scale and scope - or commoditization?;and programming language abstractions for self-reconfigurable robots.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Evaluating the design of the R language Objects and Functions for Data Analysis 12

Evaluating the Design of the R Language Objects and Function...

引用

26th European conference on Object-Oriented programming (ECOOP)

作者： Morandat, Floreal Hill, Brandon Osvald, Leo Vitek, Jan Purdue Univ W Lafayette IN 47907 USA

ISBN: (纸本)9783642310577;9783642310560

R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably never have been prepared by computer scientists, yet the language has become surprisingly popular. With millions of lines of R code available in repositories, we have an opportunity to evaluate the fundamental choices underlying the R language design. Using a combination of static and dynamic program analysis we assess the success of different language features.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Efficiently Combining Parallel Software Using Fine-grained, language-level, Hierarchical Resource Management Policies 12

Efficiently Combining Parallel Software Using Fine-grained, ...

引用

acm International conference on Object Oriented programming Systems languages and Applications

作者： Anderson, Zachary Swiss Fed Inst Technol Syst Grp Zurich Switzerland

ISBN: (纸本)9781450315616

This paper presents Poli-C, a language extension, runtime library, and system daemon enabling fine-grained, language-level, hierarchical resource management policies. Poli-C is suitable for use in applications that compose parallel libraries, frameworks, and programs. In particular, we have added a powerful new statement to C for expressing resource limits and guarantees in such a way that programmers can set resource management policies even when the source code of parallel libraries and frameworks is not available. Poli-C enables application programmers to manage any resource exposed by the underlying OS, for example cores or IO bandwidth. Additionally, we have developed a domain-specific language for defining high-level resource management policies, and a facility for extending the kinds of resources that can be managed with our language extension. Finally, through a number of useful variations, our design offers a high degree of composability. We evaluate Poli-C by way of three case-studies: a scientific application, an image processing webserver, and a pair of parallel database join implementations. We found that using Poli-C yields efficiency gains that require the addition of only a few lines of code to applications.

关键词： languages Performance language extension resource management policy hierarchical parallelism scheduling

来源：评论

学校读者我要写书评

暂无评论

A Variability-Aware Module System 12

A Variability-Aware Module System

引用

acm International conference on Object Oriented programming Systems languages and Applications

作者： Kaestner, Christian Ostermann, Klaus Erdweg, Sebastian Univ Marburg D-35032 Marburg Germany

ISBN: (纸本)9781450315616

Module systems enable a divide and conquer strategy to software development. To implement compile-time variability in software product lines, modules can be composed in different combinations. However, this way, variability dictates a dominant decomposition. As an alternative, we introduce a variability-aware module system that supports compile-time variability inside a module and its interface. So, each module can be considered a product line that can be type checked in isolation. Variability can crosscut multiple modules. The module system breaks with the antimodular tradition of a global variability model in product-line development and provides a path toward software ecosystems and product lines of product lines developed in an open fashion. We discuss the design and implementation of such a module system on a core calculus and provide an implementation for C as part of the TypeChef project. Our implementation supports variability inside modules from #ifdef preprocessor directives and variable linking at the composition level. With our implementation, we type check all configurations of all modules of the open source product line Busybox with 811 compile-time options, perform linker check of all configurations, and report found type and linker errors - without resorting to a brute-force strategy.

关键词： design languages variability module system composition linker C preprocessor #ifdef conditional compilation Busybox software product lines

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共258页 << < 75 76 77 78 79 80 81 82 83 84 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：