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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

559 篇 会议
7 篇 期刊文献
5 册 图书

馆藏范围

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

日期分布

学科分类号

172 篇 工学
- 170 篇 计算机科学与技术...
- 107 篇 电气工程
- 27 篇 软件工程
- 5 篇 控制科学与工程
- 4 篇 信息与通信工程
- 1 篇 光学工程
- 1 篇 仪器科学与技术
- 1 篇 材料科学与工程（可...
- 1 篇 电子科学与技术（可...
58 篇 理学
- 58 篇 数学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 物理学
19 篇 经济学
- 18 篇 理论经济学
- 1 篇 应用经济学
12 篇 管理学
- 8 篇 管理科学与工程(可...
- 7 篇 工商管理
- 4 篇 图书情报与档案管...
1 篇 法学
- 1 篇 社会学

主题

292 篇 scientific compu...
91 篇 computer science
63 篇 cloud computing
50 篇 computational mo...
36 篇 polynomials
34 篇 algorithm design...
29 篇 algebra
28 篇 computer archite...
25 篇 testing
24 篇 mathematics
22 篇 software algorit...
22 篇 complexity theor...
21 篇 electronic mail
20 篇 monitoring
20 篇 standards
19 篇 grid computing
19 篇 semantics
18 篇 concurrent compu...
18 篇 application soft...
18 篇 distributed comp...

机构

10 篇 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 篇 dorel lucanu
5 篇 ardagna danilo
5 篇 ciprian dobre
5 篇 ruxandra stoean
5 篇 stephen m. watt
5 篇 florin pop
5 篇 simson daniel

语言

571 篇 英文

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

共 571 条记录，以下是121-130 订阅

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

详细简洁

排序：

symbolic Derivation of Mean-Field PDEs from Lattice-Based Models 17

Symbolic Derivation of Mean-Field PDEs from Lattice-Based Mo...

引用

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

作者： Koutschan, Christoph Ranetbauer, Helene Regensburger, Georg Wolfram, Marie-therese Austrian Acad Sci OAW Johann Radon Inst Computat & Appl Math RICAM Altenberger Str 69 A-4040 Linz Austria

ISBN: (纸本)9781509004614

Transportation processes, which play a prominent role in the life and social sciences, are typically described by discrete models on lattices. For studying their dynamics a continuous formulation of the problem via partial differential equations (PDE) is employed. In this paper we propose a symbolic computation approach to derive mean-field PDEs from a lattice-based model. We start with the microscopic equations, which state the probability to find a particle at a given lattice site. then the PDEs are formally derived by Taylor expansions of the probability densities and by passing to an appropriate limit as the time steps and the distances between lattice sites tend to zero. We present an implementation in a computer algebra system that performs this transition for a general class of models. In order to rewrite the mean-field PDEs in a conservative formulation, we adapt and implement symbolic integration methods that can handle unspecified functions in several variables. To illustrate our approach, we consider an application in crowd motion analysis where the dynamics of bidirectional flows are studied. However, the presented approach can be applied to various transportation processes of multiple species with variable size in any dimension, for example, to confirm several proposed mean-field models for cell motility.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

Model-Driven Design of Cloud Applications with Quality-of-Service Guarantees: the MODAClouds Approach MICAS Tutorial 16

Model-Driven Design of Cloud Applications with Quality-of-Se...

引用

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

作者： da Silva, Marcos Aurelio Almeida Ferry, Nicolas Ardagna, Danilo Perez, Juan F. Softeam Paris France SINTEF Trondheim Norway Politecn Milan Dipartimento Elettron Informaz & Bioingn Milan Italy Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England

ISBN: (纸本)9781479984480

the competition between cloud providers has led to an impressive set of cloud solutions offered to consumers. the ability to properly design and deploy multi-cloud applications (i.e., applications deployed on multiple clouds) allows exploiting the peculiarities of each cloud solution and hence optimizing the performance and cost of the applications. However, this is hindered by the large heterogeneity of the existing cloud offerings. In this work, we present the model-driven methodology and tools developed within the MODAClouds European project to support the design of multi-cloud applications. In particular, the proposed framework promotes a model driven approach to help reducing vendor "lock-in", support multi-cloud deployments, and provide solutions for estimating and optimizing the performance of multi-cloud applications at design-time.

关键词： Model-Driven-Development Cloud computing Quality of Service Capacity Allocation Optimization

来源：评论

学校读者我要写书评

暂无评论

Reliable management of virtualized resources using fault trees 16

Reliable management of virtualized resources using fault tre...

引用

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

作者： Butoi, Alexandru Stan, Alexandru Silaghi, Gheorghe Cosmin Univ Babes Bolyai R-3400 Cluj Napoca Romania

ISBN: (纸本)9781479984480

the new trends in distributed computing has changed the way we do computing when talking about cloud infrastructures or high-performance computing. Resource virtualization technologies enabled elasticity of resource provisioning and management through easy replication of virtual nodes or virtual machine migration. In order to provide high availability and reliability in such distributed environments where resources are managed and served in form of virtual machines, specific load balancing and fault strategies are needed. Based on fault tree analysis concepts, we propose a distributed and autonomous approach to manage faults using fault agents able to asses and predict for each virtualized node, its state of fault or future fault. Accordingly, each node can take a decision about accepting future jobs, delegate jobs to own replicated instances or start a live migration process as a second strategy for assuring availability and continuity of the service.

关键词： cloud computing fault tolerant computing fault trees parallel processing resource allocation virtual machines virtualisation cloud infrastructures distributed computing fault agents fault tree analysis high-performance computing load balancing reliable virtualized resource management resource provisioning resource virtualization technologies virtual machine migration Cloud computing Computational modeling Fault tolerance Fault tolerant systems Fault trees Virtual machining Fault trees virtual machines Cloud computing Virtualization Fault tolerant systems Distributed computing Fault tolerant computing Fault tree analysis High Performance computing Load balancing Fault tolerance Computational modeling PARALLEL PROCESSING (COMPUTERS) Resource utilization virtual machining

来源：评论

学校读者我要写书评

暂无评论

Application Deployment and Management in the Cloud 16

Application Deployment and Management in the Cloud

引用

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

作者： Miglierina, Marco Politecn Milan DEIB Milan Italy

ISBN: (纸本)9781479984480

Cloud computing is a revolutionary paradigm that allows to acquire infinite resources on demand and pay only for the actual use. Together with novel software development methodologies, such as Agile and DevOps, the cloud can really help companies in responding to market demand for continuous delivering innovative services, enabling the shift from a silo based release process, where customers, developers and system administrators are almost conflicting among each other, to a unified process, where the shared final objective is that of making the product available to the user. there are two main challenges that have to be faced when approaching the cloud. First of all, the heterogeneity of the offer. More and more cloud services are growing from different providers with no standard yet defined, driving companies towards the lock-in problem. Second, having the possibility to scale from 10s to 1000s of machines implies huge effort in IT management without smart automation systems. this paper is an attempt to review some of the tools among the currently available ones that may help companies simplifying their application release process.

关键词： cloud computing Agile DevOps IT management application deployment application management application release process cloud services continuous delivering innovative services market demand revolutionary paradigm shared final objective silo based release process system administrators Automation Companies Containers Software Standards Virtual machining devops Cloud computing system administrator Companies virtual machines computer software CONTAINERS Automation virtual machining CLOUDS Clouds APPLICATION MANAGEMENT

来源：评论

学校读者我要写书评

暂无评论

Evaluating Weighted Round Robin Load Balancing for Cloud Web Services 16

Evaluating Weighted Round Robin Load Balancing for Cloud Web...

引用

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

作者： Wang, Weikun Casale, Giuliano Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England

ISBN: (纸本)9781479984480

Weighted round robin load balancing is a common routing policy offered in cloud load balancers. However, there is a lack of effective mechanisms to decide the weights assigned to each server to achieve an overall optimal revenue of the system. In this paper, we first experimentally explore the relation between probabilistic routing and weighted round robin load balancing policies. From the experiment a similar behavior is found between these two policies, which makes it possible to assign the weights according to the routing probability estimated from queueing theoretic heuristic and optimization algorithms studied in the literature. We focus in particular on algorithms based on closed queueing networks for multi-class workloads, which can be used to describe application with service level agreements differentiated across users. We also compare the efficiency of queueing theoretic methods with simple heuristics that do not require to specify a stochastic model of the application. Results indicate that queueing theoretical algorithms yield significantly better results than than routings proportional to the VM capacity with respect to throughput maximization.

关键词： Web services cloud computing contracts resource allocation VM capacity closed queueing networks cloud Web services cloud load balancers multiclass workloads optimal revenue optimization algorithms probabilistic routing policy queueing theoretic heuristic queueing theoretic methods routing probability service level agreements stochastic model throughput maximization weighted round robin load balancing policies Heuristic algorithms Load management Monitoring Optimization Round robin Routing Servers Round robin Service level agreements Optimization algorithms Servers Web Service Stochastic models load management Network routing Heuristic algorithms Queueing networks Cloud computing contract Resource utilization Load balancing

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

On computing Solutions of Linear Diophantine Equations with One Non-linear Parameter

On Computing Solutions of Linear Diophantine Equations with ...

引用

10th international symposium on symbolic and numeric algorithms for scientific computing

作者： Groesslinger, Armin Schuster, Stefan Univ Passau Dept Math & Informat D-94030 Passau Germany

ISBN: (纸本)9780769535234

We present an algorithm for solving Diophantine equations which are linear in the variables, but non-linear in one parameter. We are looking for the pointwise solutions, i.e., the solutions for the unknowns in dependence of the value of the parameter. Solving Diophantine equations is central to computing the data dependences of certain codes (loops with certain array accesses) which often occur in scientific computing. Our algorithm enables the computation of data dependences in more general situations than is possible with current algorithms.

关键词： linear diophantine equations non-linear parameter quasi-polynomials automatic loop parallelization polyhedron model

来源：评论

学校读者我要写书评

暂无评论

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

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

来源：评论

学校读者我要写书评

暂无评论

symbolic modelling of database representations

Symbolic modelling of database representations

引用

7th international symposium on symbolic and numeric algorithms for scientific computing

作者： Andreica, A Stuparu, D Mantu, I Univ Babes Bolyai ICT Dept Cluj Napoca Romania

ISBN: (纸本)0769524532

the paper proposes a symbolic model for tackling the theoretical basis of the transformations between the relational database form and its XML representation. the model we propose aims at proving the consistency of such transformations, which are often used in software applications that process databases. On a more abstract level, our aim is to show that the categorial theory developed in symbolic computation can offer tools for systematically tackling the basis of fairly complex problems which rise in software design.

关键词： category theory symbolic modelling databases XML representations of databases representation consistency

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共58页 << < 9 10 11 12 13 14 15 16 17 18 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：