咨询与建议

限定检索结果

文献类型

  • 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
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 pa... 详细信息
来源: 评论
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
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... 详细信息
来源: 评论
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
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 p... 详细信息
来源: 评论
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
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 cl... 详细信息
来源: 评论
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
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 opti... 详细信息
来源: 评论
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
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 ... 详细信息
来源: 评论
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
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 depende... 详细信息
来源: 评论
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 Hilbert's "Formalist Program", which solved the foundational crisis of mathematics bu... 详细信息
来源: 评论
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
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 su... 详细信息
来源: 评论
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
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. T... 详细信息
来源: 评论