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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

580 篇 会议
6 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

191 篇 工学
- 188 篇 计算机科学与技术...
- 116 篇 电气工程
- 33 篇 软件工程
- 7 篇 控制科学与工程
- 4 篇 信息与通信工程
- 2 篇 电子科学与技术（可...
- 1 篇 力学（可授工学、理...
- 1 篇 材料科学与工程（可...
- 1 篇 安全科学与工程
69 篇 理学
- 68 篇 数学
- 3 篇 物理学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
20 篇 经济学
- 18 篇 理论经济学
- 2 篇 应用经济学
15 篇 管理学
- 11 篇 管理科学与工程(可...
- 10 篇 工商管理
- 4 篇 图书情报与档案管...
1 篇 法学
- 1 篇 社会学

主题

289 篇 scientific compu...
91 篇 computer science
62 篇 cloud computing
52 篇 computational mo...
37 篇 polynomials
34 篇 algorithm design...
29 篇 algebra
27 篇 computer archite...
25 篇 testing
24 篇 mathematics
22 篇 software algorit...
22 篇 complexity theor...
22 篇 standards
21 篇 electronic mail
20 篇 grid computing
20 篇 monitoring
19 篇 semantics
18 篇 application soft...
18 篇 distributed comp...
17 篇 concurrent compu...

机构

11 篇 research institu...
8 篇 tech univ cluj n...
7 篇 department of co...
7 篇 faculty of infor...
6 篇 faculty of mathe...
6 篇 department of co...
6 篇 faculty of compu...
5 篇 department of co...
5 篇 department of co...
5 篇 computer science...
4 篇 department of co...
4 篇 nicolaus coperni...
4 篇 research institu...
4 篇 institute e-aust...
4 篇 department of co...
4 篇 romanian acad in...
4 篇 computer science...
4 篇 faculty of autom...
3 篇 department of co...
3 篇 department of co...

作者

9 篇 gabriel ciobanu
8 篇 adina magda flor...
7 篇 petcu dana
7 篇 james h. davenpo...
7 篇 jebelean tudor
7 篇 eneia nicolae to...
7 篇 nebojsa bacanin
7 篇 tudor jebelean
6 篇 catalin stoean
6 篇 ciobanu gabriel
6 篇 nicolae tapus
6 篇 valentin cristea
5 篇 mugurel ionut an...
5 篇 davenport james ...
5 篇 dorel lucanu
5 篇 ardagna danilo
5 篇 ciprian dobre
5 篇 ruxandra stoean
5 篇 stephen m. watt
5 篇 florin pop

语言

589 篇 英文
1 篇 中文

检索条件"任意字段=9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing"

共 590 条记录，以下是331-340 订阅

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

详细简洁

排序：

Toward an optimal power-aware scheduling technique

Toward an optimal power-aware scheduling technique

引用

14th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Andrei, Stefan Cheng, Albert M. K. Radulescu, Vlad McNicholl, Timothy Lamar Univ Dept Comp Sci Beaumont TX 77710 USA Univ Houston Dept Comp Sci Houston TX USA Cuza Univ Iasi Dept Comp Sci Iasi Romania Iowa State Univ Dept Math Ames IA USA

ISBN: (纸本)9780769549347;9781467350266

With the rapid demand of portable and mobile embedded systems, reducing energy consumption has become a vital research area in the real-time embedded systems community. there exist many research works which describe scheduling algorithms minimizing the total energy of a system. However, very few works describe scheduling techniques for which the energy consumption is optimal. this paper describes a scheduling technique which provides an optimal schedule in terms of power consumption on a uniprocessor platform running non-preeemptive jobs. To the best of our knowledge, there is no analytical formula of the minimum energy for an arbitrary job set with.. jobs, where n >= 2 is the number of jobs. A multi-case analytical formula for the minimum energy of job sets with two jobs is provided here as an original contribution.

关键词： embedded systems power aware computing processor scheduling total energy systems

来源：评论

学校读者我要写书评

暂无评论

Evaluating the Auto Scaling Performance of Flexiscale and Amazon EC2 Clouds

Evaluating the Auto Scaling Performance of Flexiscale and Am...

引用

14th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Ferraris, Filippo Lorenzo Franceschelli, Davide Gioiosa, Mario Pio Lucia, Donato Ardagna, Danilo Di Nitto, Elisabetta Sharif, Tabassum Politecn Milan Dipartimento Elettron & Informaz Milan Italy Flexiant Ltd Edinburgh Midlothian Scotland

ISBN: (纸本)9780769549347;9781467350266

Nowadays cloud computing is becoming one of the most used technological solution to achieve scalability and reduce costs. Scalability is a key point for the success of any business involving the Web and providing services to end-user requests that may vary drastically from one time to another. Sizing a system to provide performance guarantees under peak traffic can be cost prohibitive;the main advantage of cloud computing lays in the opportunity to allocate resources on-demand on a pay per use basis. In this paper we extend Flexiscale public cloud with auto scaling mechanisms and compare these mechanisms with those offered by Amazon. the analysis aims at identifying useful patterns for the execution of Web applications in the cloud and at underlining the critical factors that affect the performance of the two providers. We performed a large set of experiments that demonstrated the importance of tuning correctly the auto scaling parameters.

关键词： Cloud computing scalability auto scaling virtualization

来源：评论

学校读者我要写书评

暂无评论

Service brokering in cloud governance

Service brokering in cloud governance

引用

14th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Munteanu, Victor Ion Mindruta, Cristina Fortis, Teodor-Florin West Univ Timisoara Dept Comp Sci Fac Math & Informat Timisoara Romania Inst e Austria Timisoara Romania

ISBN: (纸本)9780769549347;9781467350266

the dawn of Cloud computing has opened new opportunities for IT-based industries, enabling them to cut costs and extend their businesses to a level which was previously hard to attain. While Cloud adoption is an ongoing process, many enterprises are still reluctant to pursue it because its downside outweighs its benefits, especially due to problems related to security and privacy. Coming from Service Oriented Architecture (SOA) Governance, Cloud Governance aims to cover these issues by offering a set of complementary services to the already available Cloud Management ones. this paper covers one of the core aspects of Cloud Governance, its ability to provide service brokering. A semantic approach is proposed where related services and cloud ontologies as well as brokering mechanisms are discussed.

关键词： Cloud governance service brokering semantic services cloud ontology cloud computing

来源：评论

学校读者我要写书评

暂无评论

Benchmarks in the Cloud: the mOSAIC Benchmarking Framework

Benchmarks in the Cloud: The mOSAIC Benchmarking Framework

引用

14th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Rak, Massimiliano Aversano, Giuseppe Univ Naples 2 Dept Informat Engn Via Roma 29 I-81031 Aversa Italy Univ Sannio Dept Informat Engn I-82100 Benevento Italy

ISBN: (纸本)9780769549347;9781467350266

A natural consequence of the pay-per-use business model of Cloud computing, is that Cloud Users need to evaluate and compare different cloud providers in order to choose the best offerings in terms of trade-off among performance and prices. But this is, at the state of art, one of the main lack in the cloud environment: no real grants are offered by providers about the quality of the resources offered and no clear ways exists to compare two different offerings. Moreover the high dynamicity of cloud resources (virtual machines can be added or removed in few minutes) make evaluation of such systems really hard to be done. In this paper we propose a framework for building ad-hoc benchmark applications, whose behaviour is strictly related with user needs and which can be used to compare different provider. the framework is based on the mOSAIC project, which offers a deployable platform and an API for building provider-independent applications. Due to such independence we are able to directly compare different cloud offers. the paper proposes a detailed analysis of the state of art and of the problem of benchmarking in cloud environment, before detailing the proposed architecture and illustrating it briefly with an example.

关键词： Cloud computing Benchmark Cloud Application mOSAIC

来源：评论

学校读者我要写书评

暂无评论

Cloud4SOA: Multi-Cloud Application Management Across PaaS Offerings

Cloud4SOA: Multi-Cloud Application Management Across PaaS Of...

引用

14th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： D'Andria, Francesco Bocconi, Stefano Gorronogoitia Cruz, Jesus Ahtes, James Zeginis, Dimitris ATOS Spain SA Av Diagonal 200 Barcelona 08018 Spain Cyntelix Corp BV NL-3771 LL Barneveld Netherlands Ctr Res & Technol Hellas Thessaloniki 57001 Greece

ISBN: (纸本)9780769549347;9781467350266

Cloud Platform as a Service (PaaS) is a novel paradigm that enables software developers to create (develop or integrate), deploy, execute, and manage business applications, using a service provided by a third party. the diversity and heterogeneity of the existing PaaS offerings raises several interoperability challenges. the actual Platform as a Service market is still quite young, chaotic and highly fragmented, dominated by a few providers which use and promote incompatible standards and formats. this introduces adoption barriers due to the lock-in issues that prevent the portability of data and software from one PaaS to another. Moreover, software developers do not only need to deploy applications into a specific Cloud platform, but also to migrate applications from one Cloud platform to another, and to manage distributed applications spanning multiple PaaS. In this paper, we present a multi-cloud PaaS management as a result of the Cloud4SOA European project that addresses these challenges.

关键词： Cloud computing Platform as a Service Multi-cloud Management interoperability portability

来源：评论

学校读者我要写书评

暂无评论

the Flexiformalist Manifesto 14th

The Flexiformalist Manifesto

引用

14th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Kohlhase, Michael Jacobs Univ Bremen Bremen Germany

In this manifesto, we develop the "Flexiformalist Program". this may be thought of as a modern extension of Hilbert9;s "Formalist Program", which solved the foundational crisis of mathematics bu... 详细信息

ISBN: (纸本)9780769549347;9781467350266

In this manifesto, we develop the "Flexiformalist Program". this may be thought of as a modern extension of Hilbert's "Formalist Program", which solved the foundational crisis of mathematics but remained purely theoretical: Even though formal representations are a prerequisite for computer support in mathematics, formalization is a possibility that is usually unconsummated and thus does not have any practical influence on day-to-day mathematics. the Flexiformalist Program aims to change this and calls for 1. the development of a regime of partially formalizing a. mathematical knowledge into a modular ontology of mathematical theories (content commons), and b. mathematical documents by semantic annotations and links into the content commons (semantic documents), 2. the establishment of a software infrastructure with a. a distributed network of archives that manage the content commons and collections of semantic documents, b. semantic web services that perform tasks to support current and future mathematic practices c. active document players that present semantic documents to readers and give access to respective 3. the re-development of a comprehensive part of mathematical knowledge and the mathematical documents that carries it into a flexiformal digital library of mathematics (FDLM). We believe that such a flexiformal digital library will significantly empower mathematicians, scientists, and engineers in research, education, and application. Our experiences with early approximations of the FDLM show that the approach can be profitably transferred to other domains in science, technology, and engineering.

关键词： Web services digital libraries document handling mathematics computing semantic Web

来源：评论

学校读者我要写书评

暂无评论

Minimizing Resource Rent Loss while Maximizing User Availability in Cloud Applications through Online Switching of the Scaling Method

Minimizing Resource Rent Loss while Maximizing User Availabi...

引用

14th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Frincu, Marc E. Spataru, Adrian F. Res Inst E Austria Timisoara Romania W Univ Timisoara Timisoara Romania

ISBN: (纸本)9780769549347;9781467350266

Clouds offer access to virtually unlimited resources. Applications requiring a variable number of resources (i.e., elastic) are hence ideal for such a scenario. As cloud resources are usually paid by the hour applications need efficient ways of predicting their requirements in order to reduce costs. In addition we need to maximize user satisfaction through high application availability. Finding the best balance between them is a crucial task. In this paper we consider the case of commercial web applications and focus on the hit rate as scaling factor. Since it is known that no scaling algorithm can have a definite edge over the rest we propose three strategies for online scaling strategy switching. the first one chooses at each step always the best strategy. the second one focuses on analyzing the probability distribution of the historic hit rate and determining the best scaling method for it. Finally, the third one relies on changing the method without needing to know the distribution through random choices. Results show that given the fluctuations and uncertainty of cloud environments and user behavior the most suited method for online selection of the scaling strategy is the first one based on the best strategy.

关键词： cloud computing elastic applications scaling methods adaptive scaling

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 9th international symposium on symbolic and numeric algorithms for scientific computing, SYNASC 2007: Preface

Proceedings - 9th International Symposium on Symbolic and Nu...

引用

Proceedings - 9th international symposium on symbolic and numeric algorithms for scientific computing, SYNASC 2007 2007年 xi页

作者： Anon

No abstract available

ISBN: (纸本)0769530788

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

Solving, Reasoning, and Programming in Common Logic

Solving, Reasoning, and Programming in Common Logic

引用

international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Temur Kutsia Mircea Marin Research Institute for Symbolic Computation Johannes Kepler University Linz Linz Austria West University of Timisoara Timisoara Romania

Common Logic (CL) is a recent ISO standard for exchanging logic-based information between disparate computer systems. Sharing and reasoning upon knowledge represented in CL require equation solving over terms of this language. We study computationally well-behaved fragments of such solving problems and show how they can influence reasoning in CL and transformations of CL expressions.

关键词： Syntactics Cognition Equations Standards Complexity theory Semantics Programming

来源：评论

学校读者我要写书评

暂无评论

Relating Two Metric Semantics for Parallel Rewriting of Multisets

Relating Two Metric Semantics for Parallel Rewriting of Mult...

引用

international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)

作者： Gabriel Ciobanu Eneia Nicolae Todoran Institute of Computer Science Romanian Academy Iaşi Iasi Romania Department of Computer Science Technical University of Cluj-Napoca Cluj-Napoca Romania

In this paper we employ the mathematical methodology of metric semantics in defining and relating a denotational and an operational semantics for an abstract concurrent language embodying the following features: parallel composition is based on maximal parallelism, and computations are specified by means of multiset rewriting rules. We relate these semantics, and compare them in terms of this combination of concepts. the semantic models are designed by using continuations for concurrency.

关键词： Semantics Biomembranes Extraterrestrial measurements Concurrent computing Syntactics Computational modeling

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共59页 << < 30 31 32 33 34 35 36 37 38 39 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：