2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing最新文献

Evaluation of the CAP Properties on Amazon SimpleDB and Windows Azure Table Storage 对Amazon SimpleDB和Windows Azure表存储的CAP属性进行评估

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2012-09-26 DOI: 10.1109/SYNASC.2012.60

Simone Benefico, Eva Gjeci, Ricardo Gonzalez Gomarasca, Eros Lever, S. Lombardo, D. Ardagna, E. D. Nitto

{"title":"Evaluation of the CAP Properties on Amazon SimpleDB and Windows Azure Table Storage","authors":"Simone Benefico, Eva Gjeci, Ricardo Gonzalez Gomarasca, Eros Lever, S. Lombardo, D. Ardagna, E. D. Nitto","doi":"10.1109/SYNASC.2012.60","DOIUrl":"https://doi.org/10.1109/SYNASC.2012.60","url":null,"abstract":"The advent of Web 2.0 and the diffusion of cloud computing technologies recently moved the focus of industry and academia to new ways to store information. Web 2.0 applications require new solutions that allow to efficiently store and compute huge amounts of data, providing high performance, high scalability and availability at low costs. Even though relational databases are mature and offer powerful tools to manage data, their scalability limits have brought some of the largest IT companies to adopt less mature solutions, known as NoSQL databases. In 2000, a conjecture, formalized afterwards as the CAP theorem, concerning the Consistency (C), Availability (A) and Partition tolerance (P) of distributed systems was formulated. In this paper we propose a methodology based on the CAP theorem and a framework for the assessment of the CAP properties of cloud NoSQL systems. Furthermore, we provide the results of an extensive set of experiments we performed on Amazon SimpleDB and Windows Azure Table Storage for comparing quantitatively Availability and Consistency of such systems.","PeriodicalId":173161,"journal":{"name":"2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123063768","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Soundness of a Logic-Based Verification Method for Imperative Loops 命令式循环的逻辑验证方法的合理性

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2012-09-26 DOI: 10.1109/SYNASC.2012.63

Madalina Erascu, T. Jebelean

引用次数: 0

Optimized Zero False Positives Perceptron Training for Malware Detection 针对恶意软件检测的优化零误报感知器训练

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2012-09-26 DOI: 10.1109/SYNASC.2012.34

Dragos Gavrilut, Razvan Benchea, Cristina Vatamanu

引用次数: 30

A Distributed Solver for Dense Linear Feasibility Systems 密集线性可行性系统的分布式求解器

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2012-09-26 DOI: 10.1109/SYNASC.2012.53

Andrei Sucila, Mihai Cimpoesu

引用次数: 0

Variable Density Based Genetic Clustering 基于变密度的遗传聚类

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2012-09-26 DOI: 10.1109/SYNASC.2012.31

Andrei Sorin Sabau

{"title":"Variable Density Based Genetic Clustering","authors":"Andrei Sorin Sabau","doi":"10.1109/SYNASC.2012.31","DOIUrl":"https://doi.org/10.1109/SYNASC.2012.31","url":null,"abstract":"From the existing clustering techniques, spatial density-based ones register one of the most promising results in detecting arbitrary shaped data, being robust to outliers and not restricted by various data distributions. The existing literature contains a plethora of density based algorithms but in all cases one or multiple global parameters need to be set, parameters that are seldom easy to set requiring in depth knowledge about the analyzed data. This paper proposes a parameter-free novel genetic clustering algorithm with an original method for encoding clustering solutions relying on density based clustering parameters. Within each clustering solution genotype, gene position, defined by several density based clustering attributes, plays a key role for recovering the encoded partition. Each gene defined density-based cluster can only attract object not already attracted by previously defined clusters. The proposed encoding scheme allows for always valid crossover results, with great offspring variations even when using simple crossover operators. While not requiring any input parameters, experiments involving multiple clustering validation indices as fitness criteria, across both synthetic and real data sets, show comparable results with existing density-based clustering techniques.","PeriodicalId":173161,"journal":{"name":"2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"76 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132473758","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

What is an Equation? 什么是方程?

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2012-09-26 DOI: 10.1109/SYNASC.2012.79

S. Marcus, S. Watt

引用次数: 3

Boolean Evaluation with a Pairing and Unpairing Function 用配对和解配对函数计算布尔值

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2012-09-26 DOI: 10.1109/SYNASC.2012.20

Paul Tarau, Brenda Luderman

引用次数: 5

Relating Two Metric Semantics for Parallel Rewriting of Multisets 关联两个度量语义的多集并行重写

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2012-09-26 DOI: 10.1109/SYNASC.2012.35

Gabriel Ciobanu, E. Todoran

引用次数: 9

Nominal Fusion Calculus 名义融合演算

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2012-09-26 DOI: 10.1109/SYNASC.2012.40

A. Alexandru, Gabriel Ciobanu

引用次数: 4

On Coxeter Spectral Study of Posets and a Digraph Isomorphism Problem 偏置集的Coxeter谱研究及一个有向图同构问题

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2012-09-26 DOI: 10.1109/SYNASC.2012.56

Marcin Gąsiorek, D. Simson, Katarzyna Zając

引用次数: 10