咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是51-60 订阅
排序:
Parallel Integer Polynomial Multiplication  18
Parallel Integer Polynomial Multiplication
收藏 引用
18th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Chen, Changbo Covanov, Svyatoslav Mansouri, Farnam Maza, Marc Moreno Xie, Ning Xie, Yuzhen Univ Western Ontario Dept Comp Sci London ON N6A 5B7 Canada
We propose a new algorithm for multiplying dense polynomials with integer coefficients in a parallel fashion, targeting multi-core processor architectures. Complexity estimates and experimental comparisons demonstrate... 详细信息
来源: 评论
Distributed Resource Identification Service for Cloud Environments
Distributed Resource Identification Service for Cloud Enviro...
收藏 引用
15th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Panica, Silviu Petcu, Dana West Univ Timisoara Res Inst E Austria Timisoara Romania
Resource identification in massive deployed distributed systems, like the cloud environments, is a common problem when multiple types of resources need to be managed. this is the case of platform as a service (PaaS) w... 详细信息
来源: 评论
SMT solvers for Testing, Program Analysis and Verification at Microsoft
SMT solvers for Testing, Program Analysis and Verification a...
收藏 引用
11th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Bjorner, Nikolaj Microsoft Res Redmond WA 98074 USA
Modern program analysis and model-based tools are increasingly complex and multi-faceted software systems. However, at their core is invariably a component using logic for describing states and transformations between... 详细信息
来源: 评论
Solving 2-D Pattern Matching using Networks of Polarized Picture Processors With Circular Permutation  19
Solving 2-D Pattern Matching using Networks of Polarized Pic...
收藏 引用
19th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Popescu, Stefan Univ Bucharest Fac Math & Comp Sci Bucharest Romania
We define a new bio-inspired computational model for deciding 2-dimensional languages that is directly derived from the one in [13]. the described model has a slightly different accepting protocol as the previous one ... 详细信息
来源: 评论
Strong convergence of the projection method in convex feasibility problem
Strong convergence of the projection method in convex feasib...
收藏 引用
9th international symposium on symbolic and numeric algorithms for scientific computing
作者: Stefan, Maruster W Univ Timisoara Dept Informat Timisoara Romania
the strong convergence properties of the projection method for convex feasibility problem are investigated in the frame of a real Hilbert space. the significant role of the regularity properties for strong convergence... 详细信息
来源: 评论
On computing mesh root systems and the isotropy group for simply-laced Dynkin diagrams
On computing mesh root systems and the isotropy group for si...
收藏 引用
14th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Felisiak, Mariusz Simson, Daniel Nicolaus Copernicus Univ Fac Math & Comp Sci Torun Poland
We continue and complete a Coxeter spectral study (presented in our talk given in SYNASC11, Timisoara, September 2011 [6]) of the root systems in the sense of Bourbaki [4], the mesh geometries Gamma(R-Delta, phi(A)) o... 详细信息
来源: 评论
On Kahan's Rules for Determining Branch Cuts
On Kahan's Rules for Determining Branch Cuts
收藏 引用
13th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Chyzak, Frederic Davenport, James H. Koutschan, Christoph Salvy, Bruno Inria Rocquencourt Algorithms Project Rocquencourt France Univ Bath Dept Comp Sci Bath BA2 7AY Avon England Johannes Kepler Univ Linz RISC Linz Linz Austria
In computer algebra there are different ways of approaching the mathematical concept of functions, one of which is by defining them as solutions of differential equations. We compare different such approaches and disc... 详细信息
来源: 评论
Stepping Up
Stepping Up
收藏 引用
15th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Jackson, Adrian Univ Edinburgh EPCC Edinburgh EH9 3JZ Midlothian Scotland
Computational simulation is an important research tool for modern scientists. there are a range of different scales of high performance computing (HPC) resources available to scientists, from laptop and desktop machin... 详细信息
来源: 评论
A fault-tolerant distributed solution for the parallel Gaussian reduction of huge arrays  14th
A fault-tolerant distributed solution for the parallel Gauss...
收藏 引用
14th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Mocanu, Adrian Tapus, Nicolae Univ Politehn Bucuresti Dept Comp Sci Bucharest Romania
Solving a linear system of equations is a common task performed for most of the scientific experiments. Everyday, these applications increase their demands, pushing the computational capacity to the limits. At a certa... 详细信息
来源: 评论
A Grid Enabled Quantum Computer Simulator
A Grid Enabled Quantum Computer Simulator
收藏 引用
11th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Caraiman, Simona Archip, Alexandru Manta, Vasile Gh Asachi Tech Univ Dept Comp Sci Iasi Romania
Simulation of quantum computers using classical computers is a computationally hard problem, requiring a huge amount of operations and storage. Grid systems are a good choice for simulating quantum algorithms, since t... 详细信息
来源: 评论