Traquest model a novel model for ACID concurrent computations /

QR kód

Traquest model a novel model for ACID concurrent computations /

Atomicity, consistency, isolation and durability are essential properties of many distributed systems. They are often abbreviated as the ACID properties. Ensuring ACID comes with a price: it requires extra computing and network capacity to ensure that the atomic operations are done perfectly, or the...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Rátai Dániel Balázs Horváth Zoltán Porkoláb Zoltán Tóth Melinda
Testületi szerző:	Conference of PhD Students in Computer Science (12.) (2020) (Szeged)
Dokumentumtípus:	Cikk
Megjelent:	University of Szeged, Institute of Informatics Szeged 2021
Sorozat:	Acta cybernetica 25 No. 2
Kulcsszavak:	Algoritmus, Programozás
Tárgyszavak:	Természettudományok Számítás- és információtudomány
doi:	10.14232/actacyb.288765
Online Access:	http://acta.bibl.u-szeged.hu/75618

Hasonló tételek

Code generation from UML models [abstract] /
Szerző: Frohner Ákos, et al.
Megjelent: (2000)

Improved loop execution modeling in the Clang static analyzer
Szerző: Szécsi Péter György, et al.
Megjelent: (2022)

Modeling Dew Computing in DISSECT-CF-Fog
Szerző: Márkus András, et al.
Megjelent: (2022)

Probability model for non-homogeneous multiprogramming computer system
Szerző: Sztrik János
Megjelent: (1983)

Identifying concurrent behaviours in Erlang legacy systems
Szerző: Erdei Zsófia, et al.
Megjelent: (2024)

Towards a unified model of computation with correctness proofs [abstract] /
Szerző: Erdélyi Gáspár
Megjelent: (2006)

Model checking of visual modeling languages [abstract] /
Szerző: Schmidt Ákos
Megjelent: (2004)

Automata depository model with autonomous robots
Szerző: Szabó Zoltán, et al.
Megjelent: (2010)

Model-based development of graphical user interfaces [abstract] /
Szerző: Tóth Dániel, et al.
Megjelent: (2006)

A probability model for priority processor-shared multiprogrammed computer systems
Szerző: Sztrik János
Megjelent: (1986)

Uniform computation of complexity metrics in the .NET platform [abstract] /
Szerző: Sillye Ádám, et al.
Megjelent: (2004)

Parallel functional reactive skeletons in concurrent clean [abstract] /
Szerző: Horváth Zoltán, et al.
Megjelent: (2000)

Automatic generation of compiled model transformations [abstract] /
Szerző: Horváth Ákos
Megjelent: (2006)

A queueing model for multiprogrammed computer systems with different I/O times
Szerző: Sztrik János
Megjelent: (1985)

Simulation and formal analysis of workflow models using model transformations [abstract] /
Szerző: Kovács Máté
Megjelent: (2006)

Evaluating well-formedness constraints on incomplete models
Szerző: Semeráth Oszkár, et al.
Megjelent: (2017)

Model-free control based on reinforcement learning [abstract] /
Szerző: Dávid Zoltán, et al.
Megjelent: (2006)

Bluetooth modelling, validation and test suite generation [abstract] /
Szerző: Horváth Endre
Megjelent: (2002)

The basics of roleoriented modelling [abstract] /
Szerző: Csiszár Tibor, et al.
Megjelent: (2002)

Metamodel-based modeling and model transformation framework supporting inheritance and constrants [abstract] /
Szerző: Lengyel László, et al.
Megjelent: (2004)

Improving saturation-based bounded model checking
Szerző: Darvas Dániel, et al.
Megjelent: (2016)

Model driven testing of component based systems [abstract] /
Szerző: Bátori Gábor, et al.
Megjelent: (2006)

An Assignment Model for Scheduling Vehicles with Refueling
Szerző: Árgilán Viktor Sándor, et al.
Megjelent: (2025)

Constructive model of the natural language
Szerző: Shynkarenko Viktor, et al.
Megjelent: (2018)

Approximations of the generalized cascade model
Szerző: Bóta András, et al.
Megjelent: (2013)

On hybrid connectionist-symbolic models
Szerző: Sosík Petr
Megjelent: (1997)

Teleonics as a framework for business modelling and IT system design [abstract] /
Szerző: Horváth Gábor
Megjelent: (2004)

Dependability modeling of fault-tolerant systems using aspect-oriented modeling techniques [abstract] /
Szerző: Domokos Péter, et al.
Megjelent: (2004)

Design and reengineer metadata with the help of business process modelling [abstract] /
Szerző: Horváth Gábor
Megjelent: (2006)

A formalisation of Core Erlang, a concurrent actor language
Szerző: Bereczky Péter, et al.
Megjelent: (2024)

Ein analog-elektrisches Modell zur Simulation der Lymphokinetik
Szerző: Hantos Zoltán M.
Megjelent: (1969)

Modeling of grid monitoring systems [abstract] /
Szerző: Gombás Gábor
Megjelent: (2006)

Parameter optimization of infection models [abstract] /
Szerző: Csernenszky András, et al.
Megjelent: (2010)

Verification of UML 2 state machines by automated model transformation to the SAL model checker [abstract] /
Szerző: Sisak Áron
Megjelent: (2008)

Moment preserving tomographic image reconstruction model
Szerző: Lukity Tibor, et al.
Megjelent: (2024)

On pollution minimization in the optimization models of process network synthesis
Szerző: Imreh Csanád, et al.
Megjelent: (2005)

Modelling a sender-receiver system
Szerző: Vidraşcu Cristian
Megjelent: (2003)

Towards Modelling IoT Workflows
Szerző: Márkus András
Megjelent: (2022)

Analysis of the SCAN service polling model
Szerző: Bunday Brian D.
Megjelent: (1991)

Az NN automata, mint viselkedési modell
Szerző: Győrffy Zoltán, et al.
Megjelent: (1975)