3 Search Results for "Horváth, András"

Document
DOI: 10.4230/LITES-v004-i001-a003
Quantitative Analysis of Consistency in NoSQL Key-Value Stores

Authors: Si Liu, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, and José Meseguer

Published in: LITES, Volume 4, Issue 1 (2017). Leibniz Transactions on Embedded Systems, Volume 4, Issue 1

Abstract
The promise of high scalability and availability has prompted many companies to replace traditional relational database management systems (RDBMS) with NoSQL key-value stores. This comes at the cost of relaxed consistency guarantees: key-value stores only guarantee eventual consistency in principle. In practice, however, many key-value stores seem to offer stronger consistency. Quantifying how well consistency properties are met is a non-trivial problem.  We address this problem by formally modeling key-value stores as probabilistic systems and quantitatively analyzing their consistency properties by both statistical model checking and implementation evaluation. We present for the first time a formal probabilistic model of Apache Cassandra, a popular NoSQL key-value store, and quantify how much Cassandra achieves various consistency guarantees under various conditions. To validate our model, we evaluate multiple consistency properties using two methods and compare them against each other. The two methods are: (1) an implementation-based evaluation of the source code; and (2) a statistical model checking analysis of our probabilistic model.
Cite as

Si Liu, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, and José Meseguer. Quantitative Analysis of Consistency in NoSQL Key-Value Stores. In LITES, Volume 4, Issue 1 (2017). Leibniz Transactions on Embedded Systems, Volume 4, Issue 1, pp. 03:1-03:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@Article{liu_et_al:LITES-v004-i001-a003,
  author =	{Liu, Si and Ganhotra, Jatin and Rahman, Muntasir Raihan and Nguyen, Son and Gupta, Indranil and Meseguer, Jos\'{e}},
  title =	{{Quantitative Analysis of Consistency in NoSQL Key-Value Stores}},
  journal =	{Leibniz Transactions on Embedded Systems},
  pages =	{03:1--03:26},
  ISSN =	{2199-2002},
  year =	{2017},
  volume =	{4},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LITES-v004-i001-a003},
  URN =		{urn:nbn:de:0030-drops-192649},
  doi =		{10.4230/LITES-v004-i001-a003},
  annote =	{Keywords: NoSQL Key-value Store, Consistency, Statistical Model Checking, Rewriting Logic, Maude}
}
Document
DOI: 10.4230/DagSemProc.07461.5
Current results and open questions on PH and MAP characterization

Authors: Levente Bodrog, Armin Heindl, Gábor Horváth, Miklós Telek, and András Horváth

Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)

Abstract
Stochastic processes with matrix exponential kernels have a wide range of applications due to the availability of efficient matrix analytic methods. The characterization of these processes is in progress in recent years. Basic questions like the flexibility, the degree of freedom, the most efficient (canonical) representation of these models are under study. The presentation collects a set of available results and related open questions.
Cite as

Levente Bodrog, Armin Heindl, Gábor Horváth, Miklós Telek, and András Horváth. Current results and open questions on PH and MAP characterization. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{bodrog_et_al:DagSemProc.07461.5,
  author =	{Bodrog, Levente and Heindl, Armin and Horv\'{a}th, G\'{a}bor and Telek, Mikl\'{o}s and Horv\'{a}th, Andr\'{a}s},
  title =	{{Current results and open questions on PH and MAP characterization}},
  booktitle =	{Numerical Methods for Structured Markov Chains},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{7461},
  editor =	{Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.5},
  URN =		{urn:nbn:de:0030-drops-14010},
  doi =		{10.4230/DagSemProc.07461.5},
  annote =	{Keywords: PH distribution, ME distribution, MAP, MEP}
}
Document
DOI: 10.4230/DagSemProc.07461.12
On the Properties of Moments of Matrix Exponential Distributions and Matrix Exponential Processes

Authors: Levente Bodrog, András Horváth, and Miklós Telek

Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)

Abstract
In this paper we provide properties of moments of matrix exponential distributions and joint moments of matrix exponential processes. Based on the provided properties, an algorithm is presented to compute any finite dimensional moments of these processes based on a set of required (low order) moments. This algorithm does not require the computation of any representation of the given process. We present some related examples to demonstrate the potential use of the properties of moments.
Cite as

Levente Bodrog, András Horváth, and Miklós Telek. On the Properties of Moments of Matrix Exponential Distributions and Matrix Exponential Processes. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{bodrog_et_al:DagSemProc.07461.12,
  author =	{Bodrog, Levente and Horv\'{a}th, Andr\'{a}s and Telek, Mikl\'{o}s},
  title =	{{On the Properties of Moments of Matrix Exponential Distributions and Matrix Exponential Processes}},
  booktitle =	{Numerical Methods for Structured Markov Chains},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{7461},
  editor =	{Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.12},
  URN =		{urn:nbn:de:0030-drops-13943},
  doi =		{10.4230/DagSemProc.07461.12},
  annote =	{Keywords: Matrix exponential process, Markov arrival process, Matrix exponential distribution, phase type distribution}
}
  • Refine by Type
  • 3 Document/PDF

  • Refine by Publication Year
  • 1 2017
  • 2 2008

  • Refine by Author
  • 2 Bodrog, Levente
  • 2 Horváth, András
  • 2 Telek, Miklós
  • 1 Ganhotra, Jatin
  • 1 Gupta, Indranil
  • Show More...

  • Refine by Series/Journal
  • 1 LITES
  • 2 DagSemProc

  • Refine by Classification
  • 1 Computer systems organization → Cloud computing
  • 1 Information systems → Key-value stores
  • 1 Software and its engineering → Model checking
  • 1 Theory of computation → Rewrite systems

  • Refine by Keyword
  • 1 Consistency
  • 1 MAP
  • 1 ME distribution
  • 1 MEP
  • 1 Markov arrival process
  • Show More...

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact