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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是601-610 订阅

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

详细简洁

排序：

Using ARM TrustZone to build a Trusted language Runtime for mobile applications 14

Using ARM TrustZone to build a Trusted Language Runtime for ...

引用

19th International conference on Architectural Support for programming languages and Operating Systems, ASPLOS 2014

作者： Santos, Nuno Raj, Himanshu Saroiu, Stefan Wolman, Alec INESC-ID Instituto Superior Técnico University of Lisbon Portugal Microsoft Research Portugal

ISBN: (纸本)9781450323055

paper presents the design, implementation, and evaluation of the Trusted language Runtime (TLR), a system that protects the confidentiality and integrity of .NET mobile applications from OS security breaches. TLR enables separating an application's security-sensitive logic from the rest of the application, and isolates it from the OS and other apps. TLR provides runtime support for the secure component based on a .NET implementation for embedded devices. TLR reduces the TCB of an open source .NET implementation by a factor of 78 with a tolerable performance cost. The main benefit of the TLR is to bring the developer benefits of managed code to trusted computing. With the TLR, developers can build their trusted components with the productivity benefits of modern high-level languages, such as strong typing and garbage collection. Copyright is held by the owner/author(s).

关键词： Trusted computing

来源：评论

学校读者我要写书评

暂无评论

Sound and soundness: Practical total functional data-flow programming

Sound and soundness: Practical total functional data-flow pr...

引用

2nd acm sigplan International Workshop on Functional Art, Music, Modelling and design, FARM 2014

作者： Trancón Y Widemann, Baltasar Lepper, Markus Ilmenau University of Technology Ilmenau Germany Semantics GmbH Berlin Germany

ISBN: (纸本)9781450330398

The field of declarative data-stream programming (discrete time, clocked synchronous, compositional, data-centric) is divided between the visual data-flow graph paradigm favored by domain experts, the functional reactive paradigm favored by academics, and the synchronous paradigm favored by developers of low-level systems. Each approach has its particular theoretical and practical merits and target audience. The programming language Sig has been designed to unify the underlying paradigms in a novel way. The natural expressivity of visual approaches is combined with the support for concise pattern-based symbolic computation of functional programming, and the rigorous, elementary semantical foundation of synchronous approaches. Here we demonstrate the current state of implementation of the Sig system by means of example programs that realize typical components of digital sound synthesis. © 2014 Authors.

关键词： Data flow graphs

来源：评论

学校读者我要写书评

暂无评论

SEPS 2014: First international workshop on Software Engineering for Parallel Systems (co-located with SPLASH 2014)

SEPS 2014: First international workshop on Software Engineer...

引用

2014 acm sigplan conference on Systems, programming, and Applications: Software for Humanity, SPLASH 2014

作者： Jannesari, Ali Wolf, Felix Tichy, Walter F. German Research School for Simulation Sciences RWTH Aachen University Germany Germany

ISBN: (纸本)9781450332088

The first international workshop on Software Engineering for Parallel Systems (SEPS) will be held in Portland, Oregon, USA on October 21, 2014 and co-located with the acm sigplan conference on Systems, programming, languages and Applications: Software for Humanity (SPLASH 2014). The purpose of this workshop is to provide a stable forum for researchers and practitioners dealing with compelling challenges of the software development life cycle on modern parallel platforms. The increased complexity of parallel applications on modern parallel platforms (e.g. multicore, manycore, distributed or hybrid) requires more insight into development processes, and necessitates the use of advanced methods and techniques supporting developers in creating parallel applications or parallelizing and reengineering sequential legacy applications. We aim to advance the state of the art in different phases of parallel software development, covering software engineering aspects such as requirements engineering and software specification;design and implementation;program analysis, profiling and tuning;testing and debugging. Copyright is held by the owner/author(s).

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Multiple inheritance in AgentSpeak(L)-style programming languages 4

Multiple inheritance in AgentSpeak(L)-style programming lang...

引用

4th International sigplan Workshop on programming Based on Actors, Agents, and Decentralized Control, AGERE! 2014

作者： Dhaon, Akshat Collier, Rem UCD School of Computer Science and Informatics University College Dublin Belfield Dublin 4 Ireland

ISBN: (纸本)9781450321891

Agent-Oriented programming (AOP) is a high-level programming paradigm for implementing intelligent distributed systems. While a number of AOP languages have been proposed in the literature, many of them focus on the provision of support for intelligent decision making rather than addressing language design concerns such modularity and reuse. To address this imbalance, this paper presents an abstract model of multiple inheritance for AgentSpeak(L) style languages which decomposes agent programs into a set of inter-related agent classes and defines a run-time apparatus for rule selection on the relationship between those classes. To demonstrate our approach, a case study is presented that introduces a new AgentSpeak(L)-based language entitled ASTRA and its use in an illustrative implementation of an agent-based chat system is then presented.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

Functional programming for Dynamic and Large Data with Self-Adjusting Computation 14

Functional Programming for Dynamic and Large Data with Self-...

引用

19th acm sigplan International conference on Functional programming (ICFP)

作者： Chen, Yan Acar, Umut A. Tangwongsan, Kanat Max Planck Inst Software Syst Saarbrucken Germany Carnegie Mellon Univ Pittsburgh PA 15213 USA INRIA Villers Les Nancy France Mahidol Univ Int Coll Salaya Nakhon Pathom Thailand

ISBN: (纸本)9781450328739

Combining type theory, language design, and empirical work, we present techniques for computing with large and dynamically changing datasets. Based on lambda calculus, our techniques are suitable for expressing a diverse set of algorithms on large datasets and, via self-adjusting computation, enable computations to respond automatically to changes in their data. To improve the scalability of self-adjusting computation, we present a type system for precise dependency tracking that minimizes the time and space for storing dependency metadata. The type system eliminates an important assumption of prior work that can lead to recording spurious dependencies. We present a type-directed translation algorithm that generates correct self-adjusting programs without relying on this assumption. We then show a probabilistic-chunking technique to further decrease space usage by controlling the fundamental space-time tradeoff in self-adjusting computation. We implement and evaluate these techniques, showing promising results on challenging benchmarks involving large graphs.

关键词： Self-adjusting computation information-flow type system granularity control incremental graph algorithms performance

来源：评论

学校读者我要写书评

暂无评论

NOVA: A functional language for data parallelism 1

NOVA: A functional language for data parallelism

引用

1st acm sigplan International Workshop on Libraries, languages and Compilers for Array programming, ARRAY 2014 - Part of PLDI 2014

作者： Collins, Alexander Grewe, Dominik Grover, Vinod Lee, Sean Susnea, Adriana University of Edinburgh United Kingdom NVIDIA Corporation United Kingdom

ISBN: (纸本)9781450329378

Functional languages provide a solid foundation on which complex optimization passes can be designed to exploit parallelism available in the underlying system. Their mathematical foundations enable high-level optimizations that would be impossible in traditional imperative languages. This makes them uniquely suited for generation of efficient target code for parallel systems, such as multiple Central Processing Units (CPUs) or highly data-parallel Graphics Processing Units (GPUs). Such systems are becoming the mainstream for scientific and commodity desktop computing. Writing performance portable code for such systems using lowlevel languages requires significant effort from a human expert. This paper presents NOVA, a functional language and compiler for multi-core CPUs and GPUs. The NOVA language is a polymorphic, statically-typed functional language with a suite of higher-order functions which are used to express parallelism. These include map, reduce and scan. The NOVA compiler is a light-weight, yet powerful, optimizing compiler. It generates code for a variety of target platforms that achieve performance comparable to competing languages and tools, including hand-optimized code. The NOVA compiler is stand-Alone and can be easily used as a target for higher-level or domain specific languages or embedded in other applications. We evaluate NOVA against two competing approaches: the Thrust library and hand-written CUDA C. NOVA achieves comparable performance to these approaches across a range of benchmarks. NOVA-generated code also scales linearly with the number of processor cores across all compute-bound benchmarks.. Copyright © 2014 acm 978-1-4503-2937-8/14/06. 15.00.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

A language designer's workbench: A one-stop-shop for implementation and verification of language designs

A language Designer's workbench: A one-stop-shop for impleme...

引用

2014 acm International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software, Onward! 2014 -Part of SPLASH 2014

作者： Visser, Eelco Wachsmuth, Guido Tolmach, Andrew Neron, Pierre Vergu, Vlad Passalaqua, Augusto Konat, Gabriël Delft University of Technology Netherlands Portland State University United States

ISBN: (纸本)9781450332101

The realization of a language design requires multiple artifacts that redundantly encode the same information. This entails significant effort for language implementors, and often results in late detection of errors in language definitions. In this paper we present a proof-of-concept language designer's workbench that supports generation of IDEs, interpreters, and verification infrastructure from a single source. This constitutes a first milestone on the way to a system that fully automates language implementation and verification.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

SPLASH 2014 - Companion Publication of the 2014 acm sigplan conference on Systems, programming, and Applications: Software for Humanity

SPLASH 2014 - Companion Publication of the 2014 ACM SIGPLAN ...

引用

2014 acm sigplan conference on Systems, programming, and Applications: Software for Humanity, SPLASH 2014

ISBN: (纸本)9781450332088

The proceedings contain 28 papers. The topics discussed include: software security - a study in technology transfer;humane representation of thought: a trail map for the 21st century;structured source retrieval for improving software search during program comprehension tasks;high-performance language interoperability in multi-language runtimes;HCI metacomputing: universal syntax, structured editing, and deconstructible user interfaces;when importless becomes meaningful: a call for tag-based namespaces in programming languages;pocket code: a scratch-like integrated development environment for your phone;omen: a tool for synthesizing tests for deadlock detection;agile programming with executable models: an open-source, standards-based eclipse environment;east meets west: the influences of geography on software production;privacy and security in a networked world;and detecting design similarity patterns using program execution traces.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Efficient Dynamic Access Analysis Using JavaScript Proxies

Efficient Dynamic Access Analysis Using JavaScript Proxies

引用

9th Symposium on Dynamic languages (DLS) Co-located with 4th Annual acm International conference on Systems, programming, languages, and Applications - Software for Humanity (SPLASH)

作者： Keil, Matthias Thiemann, Peter Univ Freiburg Inst Comp Sci D-79106 Freiburg Germany

ISBN: (纸本)9781450324335

JSConTest introduced the notions of effect monitoring and dynamic effect inference for JavaScript. It enables the description of effects with path specifications resembling regular expressions. It is implemented by an offline source code transformation. To overcome the limitations of the JSConTest implementation, we redesigned and reimplemented effect monitoring by taking advantange of JavaScript proxies. Our new design avoids all drawbacks of the prior implementation. It guarantees full interposition;it is not restricted to a subset of JavaScript;it is self-maintaining;and its scalability to large programs is significantly better than with JSConTest. The improved scalability has two sources. First, the reimplementation is significantly faster than the original, transformationbased implementation. Second, the reimplementation relies on the fly-weight pattern and on trace reduction to conserve memory. Only the combination of these techniques enables monitoring and inference for large programs.

关键词： Access Permission Contracts JavaScript Proxies design languages Security Verification

来源：评论

学校读者我要写书评

暂无评论

A seamless, client-centric programming model for type safe web applications

A seamless, client-centric programming model for type safe w...

引用

2014 6th acm sigplan Haskell Symposium, Haskell 2014

作者： Ekblad, Anton Claessen, Koen Chalmers University of Technology Gothenburg Sweden

ISBN: (纸本)9781450330411

We propose a new programming model for web applications which is (1) seamless;one program and one language is used to produce code for both client and server, (2) client-centric;the programmer takes the viewpoint of the client that runs code on the server rather than the other way around, (3) functional and type-safe, and (4) portable;everything is implemented as a Haskell library that implicitly takes care of all networking code. Our aim is to improve the painful and error-prone experience of today's standard development methods, in which clients and servers are coded in different languages and communicate with each other using ad-hoc protocols. We present the design of our library called ***, an example web application that uses it, and discuss the implementation and the compiler technology on which it depends. © 2014 acm.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共258页 << < 57 58 59 60 61 62 63 64 65 66 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：