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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

59 篇 会议
1 册 图书

馆藏范围

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

日期分布

学科分类号

48 篇 工学
- 46 篇 计算机科学与技术...
- 37 篇 软件工程
- 4 篇 信息与通信工程
- 3 篇 控制科学与工程
- 2 篇 仪器科学与技术
- 2 篇 生物工程
- 1 篇 机械工程
- 1 篇 电气工程
- 1 篇 航空宇航科学与技...
- 1 篇 生物医学工程（可授...
- 1 篇 安全科学与工程
14 篇 理学
- 11 篇 数学
- 2 篇 生物学
- 1 篇 海洋科学
- 1 篇 地质学
6 篇 管理学
- 4 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
- 2 篇 工商管理
1 篇 法学
- 1 篇 社会学

主题

12 篇 computer program...
4 篇 software enginee...
4 篇 functional progr...
3 篇 modeling languag...
3 篇 logic programmin...
3 篇 computer languag...
3 篇 computer program...
2 篇 object oriented ...
2 篇 computer science
2 篇 programming prof...
2 篇 filters
2 篇 libraries
2 篇 programming
2 篇 algorithms
2 篇 parallel program...
2 篇 humans
2 篇 assembly
1 篇 software systems
1 篇 query languages
1 篇 computing and ed...

机构

2 篇 departamento de ...
1 篇 artificial intel...
1 篇 lig lab saint ma...
1 篇 univ nottingham ...
1 篇 department of co...
1 篇 japan science an...
1 篇 tartan laborator...
1 篇 univ hong kong p...
1 篇 central institut...
1 篇 sch of electr en...
1 篇 computer science...
1 篇 university of co...
1 篇 univ tartu dept ...
1 篇 department of co...
1 篇 cnrs f-75205 par...
1 篇 univ pisa dipart...
1 篇 univ paris 12 la...
1 篇 univ aix marseil...
1 篇 department of co...
1 篇 advanced technol...

作者

2 篇 lam monica s.
2 篇 mittal saurabh
1 篇 oliveira bruno c...
1 篇 fahringer thomas
1 篇 gronmo roy
1 篇 r. lo
1 篇 alvaro peter
1 篇 tauber tomas
1 篇 han taisook
1 篇 huang zhexue
1 篇 itabashi kazumas...
1 篇 hoole quinton
1 篇 riley graham
1 篇 bes alexis
1 篇 loh andres
1 篇 carlos canal
1 篇 vachharajani man...
1 篇 nichols mark a.
1 篇 kang hyun-goo
1 篇 barry matthew

语言

56 篇 英文
3 篇 葡萄牙文
1 篇 西班牙文

检索条件"任意字段=3rd Asian Symposium on Programming Languages and Systems"

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

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

详细简洁

排序：

Amino - A Distributed Runtime for Applications Running Dynamically Across Device, Edge and Cloud 3

Amino - A Distributed Runtime for Applications Running Dynam...

引用

3rd IEEE/ACM symposium on Edge Computing (SEC)

作者： Xiong, Ying Zhuo, Donghui Moon, Sungwook Xie, Michael Ackerman, Isaac Hoole, Quinton Huawei R&D USA Seattle Cloud Lab Bellevue WA USA

ISBN: (纸本)9781538694459

This paper presents a framework and runtime system, Amino, for developing and executing distributed applications in highly dynamic computing environment consisting of cloud resources, edge nodes and/or devices such as phones and smart cameras. This work is based on Sapphire [1]- a general-purpose distributed programming platform. In Sapphire, application objects (called Sapphire Objects) run inside kernel servers (KS), and Kernel server instance runs on every device or cloud node. Between Kernel Server and an application object is a layer called Deployment Manager (DM). Inbound and outbound communications to/from Sapphire objects will be intercepted and processed by deployment managers. Each DM provides one specific distributed system capabilities, e.g. caching, resource leasing, replication, data partitioning etc. Developers selectively choose DMs to manage Sapphire objects. As part of this work (Amino), we re-implemented and extended Sapphire platform to support Sapphire objects written in multiple languages and to support attaching multiple DMs to a Sapphire object for increased distribution capabilities. Finally, in the work, we introduced a code offloading design for dynamically moving application objects between devices and cloud servers at runtime to optimize a user specified objective, e.g. to reduce latency or to save energy consumption.

关键词： Edge Computing Distributed systems Cloud Computing and Edge programming Framework

来源：评论

学校读者我要写书评

暂无评论

Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects 13th

Memory-Efficient Tail Calls in the JVM with Imperative Funct...

引用

13th asian symposium on programming languages and systems (APLAS)

作者： Tauber, Tomas Bi, Xuan Shi, Zhiyuan Zhang, Weixin Li, Huang Zhang, Zhenrui Oliveira, Bruno C. D. S. Univ Hong Kong Pok Fu Lam Rd Hong Kong Hong Kong Peoples R China Zhejiang Univ Hangzhou 310003 Zhejiang Peoples R China

ISBN: (纸本)9783319265292;9783319265285

This paper presents FCore: a JVM implementation of System F with support for full tail-call elimination (TCE). Our compilation technique for FCore is innovative in two respects: it uses a new representation for first-class functions called imperative functional objects;and it provides a way to do TCE on the JVM using constant space. Unlike conventional TCE techniques on the JVM, allocated function objects are reused in chains of tail calls. Thus, programs written in FCore can use idiomatic functional programming styles, relying on TCE, and perform well without worrying about the JVM limitations. Our empirical results show that programs which use tail calls can run in constant space and with low execution time overhead when compiled with FCore.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

***: Safe interconnection of medical devices 3

***: Safe interconnection of medical devices

引用

3rd International symposium on Foundations of Health Information Engineering and systems, FHIES 2013

作者： Kühn, Franziska Leucker, Martin Institute for Software Engineering and Programming Languages University of Lübeck Germany Graduate School for Computing in Medicine and Life Science University of Lübeck Germany

ISBN: (纸本)9783642539558

This position paper gives an overview on *** project which focuses on the dynamic and safe interconnection of medical devices in an operating room. A brief overview of the legal situation for the approval of medical devices is given to highlight today’s limitations of the dynamic interconnection of safety critical devices in hospitals. A collection of methods equipped with a methodology is presented and discussed, which is intended to replace current integration tests at runtime. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

Conclave: Writing programs to understand programs

Conclave: Writing programs to understand programs

引用

3rd symposium on languages, Applications and Technologies, SLATE 2014

作者： Carvalho, Nuno Ramos Almeida, José João Pereira, Maria João Varanda Henriques, Pedro Rangel Departamento de Informática/CCTC Universidade Do Minho Braga Portugal Escola de Tecnologia e Gestão/CCTC Instituto Politécnico de Bragança Bragança Portugal

ISBN: (纸本)9783939897682

Software maintainers are often challenged with source code changes to improve software systems, or eliminate defects, in unfamiliar programs. To undertake these tasks a sufficient understanding of the system, or at least a small part of it, is required. One of the most time consuming tasks of this process is locating which parts of the code are responsible for some key functionality or feature. This paper introduces Conclave, an environment for software analysis, that enhances program comprehension activities. Programmers use natural languages to describe and discuss the problem domain, programming languages to write source code, and markup languages to have programs talking with other programs, and so this system has to cope with this heterogeneity of dialects, and provide tools in all these areas to effectively contribute to the understanding process. The source code, the problem domain, and the side effects of running the program are represented in the system using ontologies. A combination of tools (specialized in different kinds of languages) create mappings between the different domains. Conclave provides facilities for feature location, code search, and views of the software that ease the process of understanding the code, devising changes. The underlying feature location technique explores natural language terms used in programs (e.g. function and variable names);using textual analysis and a collection of Natural Language Processing techniques, computes synonymous sets of terms. These sets are used to score relatedness between program elements, and search queries or problem domain concepts, producing sorted ranks of program elements that address the search criteria, or concepts respectively. © Nuno Ramos Carvalho, José João Almeida, Maria João Varanda Pereira, and Pedro Rangel Henriques.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Logic and lattices for distributed programming

Logic and lattices for distributed programming

引用

3rd ACM symposium on Cloud Computing, SoCC 2012

作者： Conway, Neil Marczak, William R. Alvaro, Peter Hellerstein, Joseph M. Maier, David UC Berkeley United States Portland State University United States

ISBN: (纸本)9781450317610

In recent years there has been interest in achieving application-level consistency criteria without the latency and availability costs of strongly consistent storage infrastructure. A standard technique is to adopt a vocabulary of commutative operations;this avoids the risk of inconsistency due to message reordering. Another approach was recently captured by the CALM theorem, which proves that logically monotonic programs are guaranteed to be eventually consistent. In logic languages such as Bloom, CALM analysis can automatically verify that programs achieve consistency without coordination. In this paper we present BloomL, an extension to Bloom that takes inspiration from both of these traditions. BloomL generalizes Bloom to support lattices and extends the power of CALM analysis to whole programs containing arbitrary lattices. We show how the Bloom interpreter can be generalized to support efficient evaluation of lattice-based code using well-known strategies from logic programming. Finally, we use BloomL to develop several practical distributed programs, including a key-value store similar to Amazon Dynamo, and show how BloomL encourages the safe composition of small, easy-to-analyze lattices into larger programs. © 2012 ACM.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Designing a middleware-based framework to support multiparadigm communications in ubiquitous systems

Designing a middleware-based framework to support multiparad...

引用

3rd International symposium on Ambient Intelligence, ISAmI 2012

作者： Rodríguez-Domínguez, Carlos Ruiz-López, Tomás Benghazi, Kawtar Garrido, José Luis Department of Computer Languages and Systems University of Granada C/ Periodista Daniel Saucedo Aranda S/N Granada 18014 Spain

ISBN: (纸本)9783642287824

Ubiquitous systems require to support key functionalities such as contextawareness, cooperation and proactivity, making use of different communication paradigms (Request/Response, Pub/Sub, etc.). Each paradigm is usually supported by specific architectures (such as agent-based, event-driven, P2P and SOA), communication mechanisms (RPC, broadcasting, etc.), and technologies (middlewares, MANETs, programming languages, etc.). This paper presents a conceptual design of a technology-independent,middleware-based framework intended to reduce the inherent complexity of developing software solutions in an integrated way. The framework is capable of integrating heterogeneous communication-related components. © 2012 Springer-Verlag.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Logic and Rational languages of Words Indexed by Linear Orderings

引用

3rd International Computer Science symposium in Russia (CSR 2008)

作者： Bedon, Nicolas Bes, Alexis Carton, Olivier Rispal, Chloe Univ Paris Est Lab Informat Inst Gaspard Monge F-77454 Champs Sur Marne 2 Marne La Vallee France CNRS F-77454 Champs Sur Marne Marne La Vallee France Univ Paris 12 LACL F-94010 Creteil France Univ Paris 07 LIAFA F-75205 Paris 13 France CNRS F-75205 Paris 13 France

ISBN: (纸本)3540797084

We prove that every rational language of words indexed by linear orderings is definable in monadic second-order logic. We also show that the converse is true for the class of languages indexed by countable scattered linear orderings, but false in the general case. As a corollary we prove that the inclusion problem for rational languages of words indexed by countable linear orderings is decidable.

关键词： Linear orderings Monadic second-order logic Decidability Formal languages Automata

来源：评论

学校读者我要写书评

暂无评论

ΠΣ: Dependent Types without the Sugar 10

ΠΣ: Dependent Types without the Sugar

引用

10th International symposium on Functional and Logic programming

作者： Altenkirch, Thorsten Danielsson, Nils Anders Loh, Andres Oury, Nicolas Univ Nottingham Sch Comp Sci Nottingham NG7 2RD England Univ Utrecht Inst Informat & Comp Sci Utrecht Netherlands Univ Edinburgh Div Informat Edinburgh Midlothian Scotland

ISBN: (纸本)9783642122507

The recent success of languages like Agda and Coq demonstrates the potential of using dependent types for programming. These systems rely on many high-level features like datatype definitions, pattern matching and implicit arguments to facilitate the use of the languages. However, these features complicate the metatheoretical study and are a potential source of bugs. To address these issues we introduce Pi Sigma a dependently typed core language. It is small enough for metatheoretical study and the type checker is small enough to be formally verified. In this language there is only one mechanism for recursion-used for types, functions and infinite objects-and an explicit mechanism to control unfolding, based on lifted types. Furthermore structural equality is used consistently for values and types;this is achieved by a new notion of a-equality for recursive definitions. We show, by translating several high-level constructions, that Pi Sigma is suitable as a core language for dependently typed programming.

关键词： Pattern matching

来源：评论

学校读者我要写书评

暂无评论

The Case for Interpreted languages in Sensor Networks 3rd

The Case for Interpreted Languages in Sensor Networks

引用

3rd International Embedded systems symposium (IESS 2009)

作者： Steinfeld, Leonardo Carro, Luigi Univ Republica Inst Ingn Elect Montevideo Uruguay Univ Fed Rio Grande do Sul Inst Informat \ Porto Alegre RS Brazil

ISBN: (纸本)9783642042836

As sensor networks gain popularity and technology scaling allows further processing in each network node, the programming of these distributed computational structures becomes a serious bottleneck. Interpreted languages adoption may allow a smaller programming effort, and since they show a denser code representation than their directly executed counterpart, interpreted code exhibits smaller power dissipation during over-the-air reprogramming. As technology scales, the processing energy cost tends to reduce more than communication energy, which is bounded by the required irradiated radio power. By allowing the execution of more complex software WSN can be used for more refined applications, like image processing, compression and recognition. Also, interpretation can allow the use of object oriented technology software, allowing high productivity gains. However, the interpretation overhead cost and the extra memory required in Java, for example, argue against interpreted languages adoption in WSN. In this paper we show the design space for interpreted languages, and demonstrate that there is a large application domain where interpretation benefits can be used together with energy efficiency.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Aspect Diagrams for UML Activity Models

Aspect Diagrams for UML Activity Models

引用

3rd International symposium on Applications of Graph Transformations with Industrial Relevance

作者： Gronmo, Roy Moller-Pedersen, Birger Univ Oslo Dept Informat N-0316 Oslo Norway

ISBN: (纸本)9783540890195

Aspect-orientation has gained increasing popularity, especially within the. programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides ail approach to the organization and management of code that, cross-cut elements of the base program or library. Cross-cutting aspects is also an issue Within the modeling domain, and it is therefore likely that modeling languages call benefit from the aspect-oriented approach. This paper proposes activity aspect diagrams for UML 2 activity models. Activity aspect diagrams are defined directly in the concrete syntax of activity models in order to enable a user-friendly way of specifying aspects. The activity aspect diagrams and base activity models are transformed into the abstract syntax of algebraic graph transformation systems, where the model weaving is carried out using the well-established AGG tool. The approach is demonstrated by two examples and a proof-of-concept aspect diagram editor has been implemented.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：