Depending on the amount of data to process, file generation may take longer.

If it takes too long to generate, you can limit the data by, for example, reducing the range of years.

Report

Works title

Relaxing Real-time Order in Opacity and Linearizability

Authors

[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] employee

Work ID

r494897_2016

Keywords
EN
  • correctness
  • opacity
  • linearizability
  • deferred update replication
Date

25.10.2016

Language

english

Number of pages or volume of work

52

Type of work

research report

This website uses cookies to remember the authenticated session of the user. For more information, read about Cookies and Privacy Policy.