Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Ostatecznie spójna replikacja: Algorytmy i metody

2012/07/B/ST6/01230

Słowa kluczowe:

replikacja współbieżność obliczenia równoległe i rozproszone systemy rozproszone modele spójności

Deskryptory:

  • ST6_2: Systemy komputerowe, systemy równoległe i rozproszone, sieci sensorów, systemy wbudowane, systemy cybernetyczne
  • ST6_6: Algorytmika, algorytmy równoległe, rozproszone i sieciowe, algorytmiczna teoria gier

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Politechnika Poznańska, Wydział Informatyki

woj. wielkopolskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Paweł Wojciechowski 

Liczba wykonawców projektu: 3

Konkurs: OPUS 4 - ogłoszony 2012-09-15

Przyznana kwota: 354 540 PLN

Rozpoczęcie projektu: 2013-09-01

Zakończenie projektu: 2017-09-29

Planowany czas trwania projektu: 48 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. laptop, OS X, Core i5 lub nowszy. Za kwotę 9 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (6)
  • Teksty w publikacjach pokonferencyjnych (7)
  1. Proving Opacity of Transactional Memory with Early Release
    Autorzy:
    Konrad Siek, Paweł T. Wojciechowski
    Czasopismo:
    Foundations of Computing and Decision Sciences (rok: 2015, tom: 40(4), strony: 317-335), Wydawca: Publishing House of Poznan University of Technology
    Status:
    Opublikowana
    Doi:
    10.1515/fcds-2015-0018 - link do publikacji
  2. On Mixing Eventual and Strong Consistency: Acute Cloud Types
    Autorzy:
    Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski
    Czasopismo:
    IEEE Transactions on Parallel and Distributed Systems (TPDS) (), Wydawca: Institute of Electrical and Electronics Engineers (IEEE)
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  3. Helenos: A Realistic Benchmark for Distributed Transactional Memory
    Autorzy:
    Paweł Kobyliński, Konrad Siek, Jan Baranowski, Paweł T. Wojciechowski
    Czasopismo:
    Journal of Software: Practice and Experience (rok: 2018, tom: 48(3), strony: 528-549), Wydawca: Wiley
    Status:
    Opublikowana
    Doi:
    10.1002/spe.2548 - link do publikacji
  4. Atomic REST: Distributed Transactions for RESTful Web Services
    Autorzy:
    Paweł T. Wojciechowski, Sebastian Kochman
    Czasopismo:
    IEEE Transactions on Services Computing (TSC) (), Wydawca: Institute of Electrical and Electronics Engineers (IEEE)
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  5. Relaxing Real-time Order in Opacity and Linearizability
    Autorzy:
    Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski
    Czasopismo:
    Journal of Parallel and Distributed Computing (rok: 2017, tom: 100, strony: 57-70), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.007 - link do publikacji
  6. Last-use Opacity: A Strong Safety Property for Transactional Memory with Early Release Support
    Autorzy:
    Konrad Siek, Paweł T. Wojciechowski
    Czasopismo:
    Distributed Computing (), Wydawca: Springer
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  1. Brief Announcement: Eventually Consistent Linearizability
    Autorzy:
    Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski
    Konferencja:
    ACM PODC '15: the 34th ACM Symposium on Principles of Distributed Computing (rok: 2015, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 21-23 lipca
    Status:
    Opublikowana
    Doi:
    link do publikacji
  2. Brief Announcement: On Mixing Eventual and Strong Consistency: Bayou Revisited
    Autorzy:
    Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski
    Konferencja:
    ACM PODC '19: the 38th ACM Symposium on Principles of Distributed Computing (rok: 2018, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 29 lipca - 2 sierpnia
    Status:
    Opublikowana
  3. Having Your Cake and Eating it Too: Combining Strong and Eventual Consistency
    Autorzy:
    Paweł T. Wojciechowski, Konrad Siek
    Konferencja:
    PaPEC '14: the 1st Workshop on Principles and Practice of Eventual Consistency (co-located with EuroSys'14: the 9th ACM SIGOPS European Conference on Computer Systems) (rok: 2014, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 13-16 kwietnia
    Status:
    Opublikowana
    Doi:
    link do publikacji
  4. Atomic RMI 2: Distributed Transactions for Java
    Autorzy:
    Paweł T. Wojciechowski, Konrad Siek
    Konferencja:
    AGERE '16: the 6th Workshop on Programming based on Actors, Agents, and Decentralized Control (in conjunction with SPLASH '16) (rok: 2016, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 30 października
    Status:
    Opublikowana
    Doi:
    link do publikacji
  5. On Safety of Replicated Transactional Memory
    Autorzy:
    Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski
    Konferencja:
    WTTM '14: the 6th Workshop on the Theory of Transactional Memory (in conjunction with ACM PODC '14) (rok: 2014, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 15-18 lipca
    Status:
    Opublikowana
    Doi:
    link do publikacji
  6. A generic model of consistency guarantees for replicated services
    Autorzy:
    Szymon Francuzik, Cezary Sobaniec, Dariusz Wawrzyniak
    Konferencja:
    PaPEC '14: the 1st Workshop on Principles and Practice of Eventual Consistency (co-located with EuroSys'14: the 9th ACM SIGOPS European Conference on Computer Systems) (rok: 2014, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 13-16 kwietnia
    Status:
    Opublikowana
    Doi:
    link do publikacji
  7. The Correctness Criterion for Deferred Update Replication
    Autorzy:
    Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski
    Konferencja:
    TRANSACT '15 : the 10th ACM SIGPLAN Workshop on Transactional Computing (co-located with 47th ACM STOC '15 and 36th ACM PLDI '15 conferences) (rok: 2015, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 15-16 czerwca
    Status:
    Opublikowana
    Doi:
    link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy