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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

67 篇 会议
11 篇 期刊文献
6 册 图书
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

51 篇 工学
- 51 篇 计算机科学与技术...
- 34 篇 软件工程
- 7 篇 电气工程
- 5 篇 信息与通信工程
- 3 篇 生物工程
- 2 篇 机械工程
- 1 篇 电子科学与技术（可...
7 篇 理学
- 3 篇 生物学
- 2 篇 数学
- 1 篇 化学
- 1 篇 系统科学
2 篇 管理学
- 1 篇 管理科学与工程(可...
- 1 篇 图书情报与档案管...

主题

17 篇 programming
14 篇 application soft...
12 篇 computer archite...
12 篇 ubiquitous compu...
8 篇 parallel process...
6 篇 software enginee...
6 篇 computational mo...
6 篇 hardware
5 篇 operating system...
5 篇 pervasive comput...
5 篇 parallel program...
4 篇 conferences
4 篇 benchmark testin...
4 篇 high performance...
4 篇 middleware
3 篇 object oriented ...
3 篇 tools
3 篇 runtime
3 篇 adaptive systems
3 篇 registers

机构

2 篇 magna graecia un...
2 篇 fhg fraunhofer g...
2 篇 ibm corp tj wats...
2 篇 docomo commun la...
2 篇 stanford univ st...
1 篇 univ pisa dept c...
1 篇 hlrs nobelstrass...
1 篇 ubl cnrs umr 616...
1 篇 chinese acad sci...
1 篇 university of ed...
1 篇 institute of geo...
1 篇 hellenic open un...
1 篇 integrated syste...
1 篇 natl lab sci com...
1 篇 univ calif santa...
1 篇 computer enginee...
1 篇 liacc university...
1 篇 inria rennes / i...
1 篇 frederick natl l...
1 篇 sandia natl labs...

作者

2 篇 bergman ld
2 篇 song h
2 篇 abid zied
2 篇 conan denis
2 篇 cannataro mario
2 篇 gaeremynck y
2 篇 tandler p
2 篇 kurakake s
2 篇 wong c
2 篇 chabridon sophie
2 篇 sussman j
2 篇 chu hh
2 篇 katagiri m
2 篇 soroker d
2 篇 banavar g
2 篇 taconet chantal
1 篇 henry gabb
1 篇 brettin thomas
1 篇 cappello p
1 篇 ariel oleksia

语言

84 篇 英文
1 篇 其他

检索条件"任意字段=Workshop on Application Models and Programming Tools for Ubiquitous Computing"

共 85 条记录，以下是41-50 订阅

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

详细简洁

排序：

Building ubiquitous QoC-aware applications through model-driven software engineering

Building ubiquitous QoC-aware applications through model-dri...

引用

作者： Chabridon, Sophie Conan, Denis Abid, Zied Taconet, Chantal Institut TELECOM TELECOM SudParis CNRS UMR Samovar 9 rue Charles Fourier 91011 Évry cedex France

As every-day mobile devices can easily be equipped with multiple sensing capabilities, ubiquitous applications are expected to exploit the richness of the context information that can be collected by these devices in order to provide the service that is the most appropriate to the situation of the user. However, the design and implementation of such context-aware ubiquitous appplications remain challenging as there exist very few models and tools to guide application designers and developers in mastering the complexity of context information. This becomes even more crucial as context is by nature imperfect. One way to address this issue is to associate to context information meta-data representing its quality. We propose a generic and extensible design process for context-aware applications taking into account the quality of context (QoC). We demonstrate its use on a prototype application for sending flash sale offers to mobile users. We present extensive performance results in terms of memory and processing time of both elementary context management operations and the whole context policy implementing the Flash sale application. The cost of adding QoC management is also measured and appears to be limited to a few milliseconds. We show that a context policy with 120 QoC-aware nodes can be processed in less than 100 ms on a mobile phone. Moreover, a policy of almost 3000 nodes can be instantiated before exhausting the resources of the phone. This enables very rich application scenarios enhancing the user experience and will favor the development of new ubiquitous applications. © 2012 Elsevier B.V. All rights reserved.

关键词： ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

5th international workshop on web APIs and Service Mashups (Mashups 2011)

5th international workshop on web APIs and Service Mashups (...

引用

5th International workshop on Web APIs and Service Mashups, Mashups 2011

作者： Koschmider, Agnes Wilde, Erik Zirpins, Christian Karlsruhe Institute of Technology Institute AIFB Kaiserstr. 89 76131 Karlsruhe Germany School of Information UC Berkeley Berkeley CA 94720 United States Karlsruhe Institute of Technology Institute AIFB Englerstr. 11 76131 Karlsruhe Germany

ISBN: (纸本)9781450308236

Service computing and Web 2.0 are converging into a programmable as well as composable Web. This development provides the foundation for Service Mashups - compositions of Web APIs, Web content and Web data sources. The result is a disruptive class of diversified, agile and interactive software systems that provide unprecedented user experience and allow new fields of application. However, the integration of service computing and Web 2.0 technologies exposes various complexities like programming models and methodologies, service models that are well-suited for mashups, platforms and ergonomics in different operational contexts, as well as economic and social environments. Addressing some or all of these issues is an ongoing area of research and innovation, as new platforms for service delivery and service implementation constantly enter the marketplace. The Mashups 2011 workshop solicits contributions addressing these issues and aims to bring together various relevant communities from academia and industry working on a) mashup-based applications, b) generic mashup tools, platforms and infrastructure, c) cross-cutting concerns of software service engineering and d) related topics from areas like social networking or economics. Mashups 2011 continues the tradition of four previous events (2007 in Vienna, 2008 in Sydney, 2009 in Orlando, and 2010 in Cyprus). © 2011 ACM.

关键词： Ergonomics

来源：评论

学校读者我要写书评

暂无评论

Modern Software tools for Scientific computing 1

引用

1000年

作者： Erlend Arge Are Magnus Bruaset Hans Petter Langtangen

ISBN: (数字)9781461219866

ISBN: (纸本)9780817639747;9781461273684

Looking back at the years that have passed since the realization of the very first electronic, multi-purpose computers, one observes a tremendous growth in hardware and software performance. Today, researchers and engi neers have access to computing power and software that can solve numerical problems which are not fully understood in terms of existing mathemati cal theory. Thus, computational sciences must in many respects be viewed as experimental disciplines. As a consequence, there is a demand for high quality, flexible software that allows, and even encourages, experimentation with alternative numerical strategies and mathematical models. Extensibil ity is then a key issue; the software must provide an efficient environment for incorporation of new methods and models that will be required in fu ture problem scenarios. The development of such kind of flexible software is a challenging and expensive task. One way to achieve these goals is to in vest much work in the design and implementation of generic software tools which can be used in a wide range of application fields. In order to provide a forum where researchers could present and discuss their contributions to the described development, an International Work shop on Modern Software tools for Scientific computing was arranged in Oslo, Norway, September 16-18, 1996. This workshop, informally referred to as Sci tools '96, was a collaboration between SINTEF Applied Mathe matics and the Departments of Informatics and Mathematics at the Uni versity of Oslo.

关键词： Software Engineering/programming and Operating Systems Numerical Analysis Mathematics of computing Mathematical Software Computational Science and Engineering

来源：评论

学校读者我要写书评

暂无评论

Reflective parallel programming extensible and high-level control of runtime, compiler, and application interaction 2

Reflective parallel programming extensible and high-level co...

引用

2nd USENIX workshop on Hot Topics in Parallelism, HotPar 2010

作者： Matsakis, Nicholas D. Gross, Thomas R. ETH Zurich Switzerland

Thread support in most languages is opaque and low-level. Primitives like wait and signal do not allow users to determine the relative ordering of statements in different threads in advance. In this paper, we extend the reflection and metaprogramming facilities of object-oriented languages to cover parallel program schedules. The user can then access objects representing the extant threads or other parallel tasks. These objects can be used to modify or query happens before relations, locks, and other highlevel scheduling information. These high-level models enable users to design their own parallel abstractions, visualizers, safety checks, and other tools in ways that are not possible today. We discuss one implementation of this technique, the intervals library, and show how the presence of a firstclass, queryable program schedule allows us to support a flexible data race protection scheme. The scheme supports both static and dynamic checks and also permits users to define their own "pluggable" safety checks based on the reflective model of the program schedule. © HotPar 2010.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

DCE — The OSF Distributed computing Environment Client/Server Model and Beyond 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540480488

ISBN: (纸本)9783540573067

Client/server applications are of increasing importance in industry; they are a significant first step towards a global distributed processing model. A very recent response to this trend is the Distributed computing Environment (DCE) of the Open Software Foundation (OSF), the emerging new industry standard for distributed processing. The papers in this volume discuss the client/server approach based on DCE, illustrating and analyzing the functionality of important DCE components and applications. A number of contributions also focus on new models beyond traditional client/server processing and beyond DCE. The papers in this volume were presented at the International workshop on the OSF Distributed computing Environment, held in Karlsruhe, Germany, October 7-8, 1993. Following an introductory chapter, the contributions are grouped into parts on DCE analysis and comparison, application support, methods and tools, RPC extensions, and object-based systems.

关键词： Computer Communication Networks programming Techniques Theory of Computation Software Engineering Operating Systems

来源：评论

学校读者我要写书评

暂无评论

Hobbes: Composition and virtualization as the foundations of an extreme-scale OS/R

Hobbes: Composition and virtualization as the foundations of...

引用

3rd International workshop on Runtime and Operating Systems for Supercomputers, ROSS 2013 - In Conjunction with ICS 2013

作者： Brightwell, Ron Oldfield, Ron Maccabe, Arthur B. Bernholdt, David E. Sandia National Laboratories Center for Computing Research Albuquerque NM United States Oak Ridge National Laboratory Computer Science and Mathematics Divsiion Oak Ridge TN United States

ISBN: (纸本)9781450321464

This paper describes our vision for Hobbes, an operating system and runtime (OS/R) framework for extreme-scale systems. The Hobbes design explicitly supports application composition, which is emerging as a key approach for applications to address scalability and power concerns anticipated with coming extreme-scale architectures. We make use of virtualization technologies to provide the flexibility to support requirements of application components for different node-level operating systems and runtimes, as well as different mappings of the components onto the hardware. We describe the architecture of the Hobbes OS/R, how we will address the cross-cutting concerns of power/energy, scheduling of massive levels of parallelism, and resilience. We also outline how the "users" of the OS/R (programming models, applications, and tools) influence the design. © 2013 ACM.

关键词： Virtualization

来源：评论

学校读者我要写书评

暂无评论

Power-Aware Computer Systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Babak Falsafi T. N. Vijaykumar

ISBN: (数字)9783540445722

ISBN: (纸本)9783540423294

The phenomenal increases in computer system performance in recent years have been accompanied by a commensurate increase in power and energy dissipation. The latter has directly resulted in demand for expensive packaging and cooling technology, an increase in product cost, and a decrease in product reliability in all segments of the computing market. Moreover, the higher power/energy dissipation has signi cantly reduced battery life in portable systems. While - stem designers have traditionally relied on circuit-level techniques to reduce - wer/energy, there is a growing need to address power/energy dissipation at all levels of the computer system. We are pleased to welcome you to the proceedings of the Power-Aware C- puter Systems (PACS 2000) workshop. PACS 2000 was the rst workshop in its series and its aim was to bring together experts from academia and industry to address power-/energy-awareness at all levels of computer systems. In these p- ceedings, we bring you several excellent research contributions spanning a wide spectrum of areas in power-aware systems, from application all the way to c- pilers and microarchitecture, and to power/performance estimating models and tools. We have grouped the contributions into the following speci c categories: (1) power-aware microarchitectural/circuit techniques, (2) application/compiler power optimizations, (3) exploiting opportunity for power optimization in - struction scheduling and cache memories, and (4) power/performance models and tools.

关键词： Electronics and Microelectronics, Instrumentation Computer System Implementation Computer Systems Organization and Communication Networks Computer Hardware programming Techniques programming Languages, Compilers, Interpreters

来源：评论

学校读者我要写书评

暂无评论

Selective Java code transformation into AWS Lambda functions

Selective Java code transformation into AWS Lambda functions

引用

2018 European Symposium on Serverless computing and applications, ESSCA 2018

作者： Dorodko, Serhii Spillner, Josef Zurich University of Applied Sciences School of Engineering Service Prototyping Lab. Switzerland

Cloud platforms offer diverse evolving programming and deployment models which require not only application code adaptation, but also retraining and changing developer mindsets. Such change is costly and is better served by automated tools. Subject of the study are automated FaaSification processes which transform conventional annotated Java methods into executable Function-as-a-Service units. Given the novelty of the problem domain, a key concern is the demonstration of feasibility within arbitrary boundaries of FaaS offerings and the measurement of resulting technical and pricing metrics. We contribute a suitable tool design called Termite with corresponding implementation in Java. The design is aligned with a generic transformation pipeline in which each step from code analysis over compilation to deployment and testing can be observed and measured separately. Our results show that annotations are suitable means for fine-grained configuration despite ceding control to the build system. Smaller Java projects can be FaaS-enabled with little effort. We expect FaaSification tools to become part of build chains on a wide scale once their current engineering shortcomings in terms of tackling more complex code are solved. © 2019 CEUR-WS. All Rights Reserved.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Enhancing productivity and performance portability of OpenCL applications on heterogeneous systems using runtime optimizations

Enhancing productivity and performance portability of OpenCL...

引用

作者： Lutz, Thibaut University of Edinburgh

学位级别：doctor

Initially driven by a strong need for increased computational performance in science and engineering, heterogeneous systems have become ubiquitous and they are getting increasingly complex. The single processor era has been replaced with multi-core processors, which have quickly been surrounded by satellite devices aiming to increase the throughput of the entire system. These auxiliary devices, such as Graphics Processing Units, Field Programmable Gate Arrays or other specialized processors have very different architectures. This puts an enormous strain on programming models and software developers to take full advantage of the computing power at hand. Because of this diversity and the unachievable flexibility and portability necessary to optimize for each target individually, heterogeneous systems remain typically vastly under-utilized. In this thesis, we explore two distinct ways to tackle this problem. Providing automated, non intrusive methods in the form of compiler tools and implementing efficient abstractions to automatically tune parameters for a restricted domain are two complementary approaches investigated to better utilize compute resources in heterogeneous systems. First, we explore a fully automated compiler based approach, where a runtime system analyzes the computation flow of an OpenCL application and optimizes it across multiple compute kernels. This method can be deployed on any existing application transparently and replaces significant software engineering effort spent to tune application for a particular system. We show that this technique achieves speedups of up to 3x over unoptimized code and an average of 1.4x over manually optimized code for highly dynamic applications. Second, a library based approach is designed to provide a high level abstraction for complex problems in a specific domain, stencil computation. Using domain specific techniques, the underlying framework optimizes the code aggressively. We show that even in a restricted doma

关键词： GPGPU General-Purpose computing on Graphics Processing Unit Open Compute Language OpenCL complier staging

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the Software Quality Assurance workshop on Functional and Performance Issues

Proceedings of the Software Quality Assurance Workshop on Fu...

引用

1978 Software Quality Assurance workshop on Functional and Performance Issues

The proceedings contain 29 papers. The topics discussed include: computing failure: a learning experience;a requirements tracing tool;applied quality assurance methodology;requirements language processing for the effective testing of real-time systems;the establishment and use of measures to evaluate the quality of software designs;Nassi-Shneiderman charts an alternative to flowcharts for design;design feedback and its use in software design aid systems;relating software requirements and design;toward models for probabilistic program correctness;a comparison of software assurance methods;error modelling applications in software quality assurance;software configuration management;a software quality improvement program;software acceptance testing that goes beyond the book;a mini-computer based library control system;a framework for the measurement of software quality;an application of graph theory to software test data selection;a software quality assurance experiment;the evolution of a source code control system;the automatic generation and execution of function test plans for electronic switching systems;software quality assurance tools: recent experience and future requirements;IDBUG: a tool for program development;and a measurement of structure for unstructured programming languages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共9页 << < 1 2 3 4 5 6 7 8 9 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：