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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,278 篇 会议
296 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

2,280 篇 工学
- 2,147 篇 软件工程
- 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
186 篇 computer program...
182 篇 performance
162 篇 object oriented ...
89 篇 algorithms
88 篇 java programming...
81 篇 experimentation
78 篇 functional progr...
71 篇 theory
69 篇 computer program...
65 篇 java
63 篇 verification
61 篇 reliability
48 篇 semantics
47 篇 software design
45 篇 domain-specific ...
38 篇 parallel program...
37 篇 concurrency
35 篇 measurement

机构

24 篇 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 篇 de moor oege
10 篇 dillig isil
9 篇 lumsdaine a
9 篇 van der storm ti...

语言

2,349 篇 英文
222 篇 其他
4 篇 中文
1 篇 葡萄牙文

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

共 2576 条记录，以下是1031-1040 订阅

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

详细简洁

排序：

Empirical assessment of C++-like implementations for multiple inheritance

Empirical assessment of C++-like implementations for multipl...

引用

24th European conference on Object-Oriented programming, ECOOP 2010 - 6th Workshop on the implementation, Compilation, Optimization of Object-Oriented languages, Programs and Systems, ICOOOLPS 2010

作者： Morandat, Floréal Ducournau, Roland LIRMM Université Montpellier 2 France

ISBN: (纸本)9781450305372

Multiple inheritance and dynamic loading increase the overhead yielded by object-oriented mechanisms like late binding. This article provides an empirical assessment of the implementation technique that can be used in this context, namely C++-like subobjects and perfect hashing. Theses new results represent a first comparison of the implementation of C++, and show that perfect hashing is also promising in this context. © 2010 acm.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Evaluation of a Just-in-Time Compiler Retrofitted for PHP 10

Evaluation of a Just-in-Time Compiler Retrofitted for PHP

引用

6th acm sigplan/SIGOPS International conference on Virtual Execution Environments

作者： Tatsubori, Michiaki Tozawa, Akihiko Suzumura, Toyotaro Trent, Scott Onodera, Tamiya IBM Res Tokyo Yamato Kanagawa Japan

ISBN: (纸本)9781605589107

Programmers who develop Web applications often use dynamic scripting languages such as Perl, PHP, Python, and Ruby. For general purpose scripting language usage, interpreter-based implementations are efficient and popular but the server-side usage for Web application development implies an opportunity to significantly enhance Web server throughput. This paper summarizes a study of the optimization of PHP script processing. We developed a PHP processor, P9, by adapting an existing production-quality just-in-time ( JIT) compiler for a Java virtual machine, for which optimization technologies have been well-established, especially for server-side application. This paper describes and contrasts microbenchmarks and SPECweb2005 benchmark results for a well-tuned configuration of a traditional PHP interpreter and our JIT compiler-based implementation, P9. Experimental results with the microbenchmarks show 2.5-9.5x advantage with P9, and the SPECweb2005 measurements show 20-30% improvements. These results show that the acceleration of dynamic scripting language processing does matter in a realistic Web application server environment. CPU usage profiling shows our simple JIT compiler introduction reduces the PHP core runtime overhead from 45% to 13% for a SPECweb2005 scenario, implying that further improvements of dynamic compilers would provide little additional return unless other major overheads such as heavy memory copy between the language runtime and Web server frontend are reduced.

关键词： design Experimentation languages PHP JIT Compiler Scripting languages

来源：评论

学校读者我要写书评

暂无评论

design principles for internal domain-specific languages: A pattern catalog illustrated by Ruby 10

Design principles for internal domain-specific languages: A ...

引用

17th conference on Pattern languages of Programs, PLoP 2010

作者： Günther, Sebastian Cleenewerck, Thomas School of Computer Science University of Magdeburg Germany Software Language Engineering Lab Vrije Universiteit Brussel Belgium Universitätsplatz 2 D-39106 Magdeburg Germany Vrije Universiteit Brussel Faculty of Sciences DINF - SOFT Pleinlaan 2 B-1050 Brussels Belgium

ISBN: (纸本)9781450301077

Some programming languages, especially dynamic programming languages, offer suitable mechanisms for the construction of internal domain-specific languages (DSL). Internal DSLs inherit the facilities of their host language such as the availability of libraries, frameworks, tool support, and other DSLs. When developing an internal DSL, there are two challenges. First, to cope with the host language's syntactic and semantic restrictions. Careful and thoughtful extensions and modifications of the host language are crucial to overcome these restrictions without reverting to poor language design. Second, to support several design principles that are genuine for a DSL. Although there is an extensive body of knowledge about DSL design principles and desirable quality properties, it remains difficult to apply them, or to reason about whether a particular DSL exhibits specific desirable principles. Our objective is to put the two perspectives together. We research the most important design principles of a DSL and show how different patterns can be used to support these principles. This allows us to produce an extensive pattern catalog which is the foundation of principled approach for designing internal DSLs. The patterns can be used to assess the design quality of a DSL and structure its implementation. In particular, we show a complex DSL example illustrating each principle and the corresponding patterns. While we stick to Ruby for the explanation and application of the patterns, we also name known uses in Python, Scala, and Smalltalk. Patterns are explained with their context, problem, forces, solution, and consequences. We also explain the patterns with the classical structure of intent, motivation, forces, implementation and their consequences. Finally we reflect upon the pattern utilization by discussing their strengths and weaknesses.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Metamodel-driven evolution

Metamodel-driven evolution

引用

acm International conference Companion on Object Oriented programming Systems languages and Applications Companion, SPLASH '10

作者： Liu, Qichao Department of Computer and Information Sciences University of Alabama at Birmingham Birmingham AL United States

ISBN: (纸本)9781450302401

With the rapid development of model-driven engineering (MDE), domain-specific modeling is becoming a popular software development technique. In MDE, a metamodel represents a schema definition of the syntax and static semantics in a similar manner to how a grammar defines a programming language. In most cases, users need to modify a metamodel to incorporate new concerns resulting in failure of applying existing instances. The research described in this paper makes a contribution toward metamodel driven evolution.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Inter-Core Cooperative TLB Prefetchers for Chip Multiprocessors

Inter-Core Cooperative TLB Prefetchers for Chip Multiprocess...

引用

15th International conference on Architectural Support for programming languages and Operating Systems

作者： Bhattacharjee, Abhishek Martonosi, Margaret Princeton Univ Dept Elect Engn Princeton NJ 08544 USA

ISBN: (纸本)9781605588391

Translation Lookaside Buffers (TLBs) are commonly employed in modern processor designs and have considerable impact on overall system performance. A number of past works have studied TLB designs to lower access times and miss rates, specifically for uniprocessors. With the growing dominance of chip multiprocessors (CMPs), it is necessary to examine TLB performance in the context of parallel workloads. This work is the first to present TLB prefetchers that exploit commonality in TLB miss patterns across cores in CMPs. We propose and evaluate two Inter-Core Cooperative (ICC) TLB prefetching mechanisms, assessing their effectiveness at eliminating TLB misses both individually and together. Our results show these approaches require at most modest hardware and can collectively eliminate 19% to 90% of data TLB (D-TLB) misses across the surveyed parallel workloads. We also compare performance improvements across a range of hardware and software implementation possibilities. We find that while a fully-hardware implementation results in average performance improvements of 8-46% for a range of TLB sizes, a hardware/software approach yields improvements of 4-32%. Overall, our work shows that TLB prefetchers exploiting inter-core correlations can effectively eliminate TLB misses.

关键词： design Experimentation Performance Translation Lookaside Buffer Parallelism Prefetching

来源：评论

学校读者我要写书评

暂无评论

Evaluation and usability of programming languages and tools (PLATEAU)

Evaluation and usability of programming languages and tools ...

引用

acm International conference Companion on Object Oriented programming Systems languages and Applications Companion, SPLASH '10

作者： Murphy-Hill, Emerson Markstrum, Shane Anslow, Craig North Carolina State University United States Bucknell University United States Victoria University of Wellington New Zealand

ISBN: (纸本)9781450302401

programming languages exist to enable programmers to develop software effectively. But how efficiently programmers can write software depends on the usability of the languages and tools that they develop with. The aim of this workshop is to discuss methods, metrics and techniques for evaluating the usability of languages and language tools. The supposed benefits of such languages and tools cover a large space, including making programs easier to read, write, and maintain;allowing programmers to write more flexible and powerful programs;and restricting programs to make them more safe and secure. We plan to gather the intersection of researchers in the programming language, programming tool, and human-computer interaction communities to share their research and discuss the future of evaluation and usability of programming languages and tools. We are also interested in the input of other members of the programming research community working on related areas, such as refactoring, design patterns, program analysis, program comprehension, software visualization, end-user programming, and other programming language paradigms.

关键词： Human computer interaction

来源：评论

学校读者我要写书评

暂无评论

Transactional Pointcuts designation, Reification, and Advice of Interrelated Join Points 09

Transactional Pointcuts Designation, Reification, and Advice...

引用

8th International conference on Generative programming and Component Engineering

作者： Sadat-Mohtasham, Hossein Hoover, H. James Univ Alberta Dept Comp Sci Software Engn Res Lab Edmonton AB T6G 2M7 Canada

ISBN: (纸本)9781605584942

Aspect-oriented mechanisms are characterized by their join point models. A join point model has three components: join points, which are elements of language semantics;"a means of identifying join points";and "a means of affecting the behaviour at those join points." A pointcut-advice model is a dynamic join point model in which join points are points in program execution. Pointcuts select a set of join points, and advice affects the behaviour of the selected join points. In this model, join points are typically selected and advised independently of each other. That is, the relationships between join points are not taken into account in join point selection and advice. In practice, join points are often not independent. Instead, they form part of a higher-level operation that implements the intent of the developer (e.g. managing a resource). There are natural situations in which join points should be selected only if they play a specific role in that operation. We propose a new join point model that takes join point interrelationships into account and allows the designation of more complex computations as join points. Based on the new model, we have designed an aspect-oriented construct called a transactional point-cut (transcut). Transcuts select sets of interrelated join points and reify them into higher-level join points that can be advised. They share much of the machinery and intuition of pointcuts, and can be viewed as their natural extension. We have implemented a transcuts prototype as an extension to the AspectJ language and integrated it into the abc compiler. We present an example where a transcut is applied to implement recommended resource handling practices in the presence of exceptions within method boundaries.

关键词： design languages Aspect-oriented programming Join Point Model Transactional Pointcut

来源：评论

学校读者我要写书评

暂无评论

Haskell'10 - Proceedings of the 2010 acm sigplan Haskell Symposium, Co-located with ICFP'10

Haskell'10 - Proceedings of the 2010 ACM SIGPLAN Haskell Sym...

引用

2010 acm sigplan Haskell Symposium, Haskell'10

ISBN: (纸本)9781450302524

The proceedings contain 14 papers. The topics discussed include: invertible syntax descriptions: unifying parsing and pretty printing;the performance of the Haskell containers package;a generic deriving mechanism for Haskell;exchanging sources between clean and Haskell: a double-edged front end for the clean compiler;experience report: using hackage to inform language design;concurrent orchestration in Haskell;scalable I/O event handling for GHC;supercompilation by evaluation;an LLVM backend for GHC;Hoopl: a modular, reusable library for dataflow analysis and transformation;a systematic derivation of the STG machine verified in Coq;and Nikola: embedding compiled GPU functions in Haskell.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Reconciling concurrency and modularity with Pa¯n¯ini's asynchronous typed events

Reconciling concurrency and modularity with Pa¯n¯ini's asy...

引用

acm International conference Companion on Object Oriented programming Systems languages and Applications Companion, SPLASH '10

作者： Long, Yuheng Rajan, Hridesh Mooney, Sean L. Dept. of Computer Science Iowa State University United States

This poster presents our language design called Pa¯n¯ini. It focuses on Pa¯n¯ini's asynchronous, typed event which reconciles the modularity goal promoted by the implicit invocation design styl... 详细信息

ISBN: (纸本)9781450302401

关键词： Computer systems programming

来源：评论

学校读者我要写书评

暂无评论

An Asymmetric Distributed Shared Memory Model for Heterogeneous Parallel Systems

An Asymmetric Distributed Shared Memory Model for Heterogene...

引用

15th International conference on Architectural Support for programming languages and Operating Systems

作者： Gelado, Isaac Cabezas, Javier Navarro, Nacho Stone, John E. Patel, Sanjay Hwu, Wen-mei W. Univ Politecn Cataluna E-08028 Barcelona Spain

ISBN: (纸本)9781605588391

Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existing programming models for heterogeneous computing rely on programmers to explicitly manage data transfers between the CPU system memory and accelerator memory. This paper presents a new programming model for heterogeneous computing, called Asymmetric Distributed Shared Memory (ADSM), that maintains a shared logical memory space for CPUs to access objects in the accelerator physical memory but not vice versa. The asymmetry allows light-weight implementations that avoid common pitfalls of symmetrical distributed shared memory systems. ADSM allows programmers to assign data objects to performance critical methods. When a method is selected for accelerator execution, its associated data objects are allocated within the shared logical memory space, which is hosted in the accelerator physical memory and transparently accessible by the methods executed on CPUs. We argue that ADSM reduces programming efforts for heterogeneous computing systems and enhances application portability. We present a software implementation of ADSM, called GMAC, on top of CUDA in a GNU/Linux environment. We show that applications written in ADSM and running on top of GMAC achieve performance comparable to their counterparts using programmer-managed data transfers. This paper presents the GMAC system and evaluates different design choices. We further suggest additional architectural support that will likely allow GMAC to achieve higher application performance than the current CUDA model.

关键词： Heterogeneous Systems Data-centric programming Models Asymmetric Distributed Shared Memory

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共258页 << < 100 101 102 103 104 105 106 107 108 109 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：