• slot 5 ribu
  • togel sgp
  • slot gacor
  • bsislot88
  • slot deposit dana
  • permainan slot gacor
  • bonanza88
  • infini88 slot
  • nexus slot
  • slot gacor rtp
  • live slot
  • dewaslot88
  • situs togel terbesar
  • judi bola88
  • rtp4d
  • judi slot online deposit 10 ribu qris maxwin
  • rtp slot gacor hari ini
  • wangi slot gacor hari ini
  • slot deposit dana resmi
  • slot77
  • deposit dana 5000
  • slot pgsoft
  • bocoran rtp slot pragmatic
  • slot deposit pulsa
  • slot gacor
  • slot deposit linkaja
  • slot deposit ovo
  • slot pulsa
  • slot online
  • agenasia
  • slot demo pragmatic
  • alibaba66
  • slot olympus
  • rtp slot gacor
  • rtp slot terbaru
  • rtp live
  • rtp slot gacor hari ini
  • rtp slot
  • raja slot88
  • depo 25 bonus 25
  • slot deposit 5000
  • slot gacor88
  • slot4d
  • slot gacor
  • pg slot
  • mix parlay
  • rtp slot gacor
  • slot olympus
  • rtp live slot
  • slot gacor
  • dewaslot88
  • slot demo
  • slot online
  • link slot joker123
  • slot gacor
  • bandar togel
  • slot online hari ini
  • slot gacor terbaru
  • slot gacor jam sekarang
  • rtp slot gacor
  • rtp slot online
  • pola slot gacor
  • link slot gacor
  • slot dana 10k
  • slot online terbaik
  • slot gacor anti rungkad
  • panen138
  • slot olympus
  • slot dana
  • duniasport
  • deposit dana 5000
  • slot demo
  • rtp slot malam ini
  • slot gacor malam ini
  • slot terbaik dan terpercaya
  • slot hari ini
  • raja bonanza
  • dewa slot88
  • slot infini88
  • bet77
  • bk8
  • pay4d
  • slotnft88
  • agen777
  • gacor
  • slot gacor777
  • bo slot online
  • rtp slot
  • slot gacor
  • bocoran slot gacor
  • rtp live
  • sbobet
  • joker123
  • slot88 gacor
  • slot dana 10k
  • surgaplay
  • mpo slot
  • slot gacor 88
  • slot gacor
  • akun slot demo pragmatic
  • slot online
  • bocoran rtp live slot
  • slot gacor
  • slot online
  • slot88
  • slot online gacor
  • slot gacor resmi
  • slot deposit pulsa tanpa potongan
  • slot deposit dana
  • slot online
  • rtp live slot
  • slot gacor
  • sbobet
  • slot online
  • slot gacor terbaru
  • slot gacor
  • bocoran rtp slot pragmatic
  • daftar slot gacor
  • surgadewa
  • situs slot gacor
  • slot gacor resmi
  • pg slot
  • idn poker
  • rtp slot online
  • joker123
  • slot gacor
  • judi bola
  • rtp slot
  • slot gacor
  • demo
  • pg slot
  • slot deposit pulsa
  • bonanza88
  • olympus88
  • slot bca
  • slot bni
  • slot dana
  • slot danamon
  • slot bri
  • slot gopay
  • slot linkaja
  • slot ovo
  • link slot gacor
  • bet88
  • dewaslot88
  • judi bola sbobet
  • rtp live slot
  • sbobet
  • slot88nft
  • bangkabarat
  • SLOT RTP TERTINGGI
  • SLOT HOKI
  • MPO SLOT
  • SLOT MPO
  • SLOT DEPOSIT DANA
  • PKV GAMES
  • IDN POKER
  • IDN PLAY
  • QQ ONLINE
  • DOMINO QQ
  • SLOT DEPOSIT QRIS
  • SLOT DANA
  • SLOT88
  • SLOT88
  • SPACEMAN
  • SLOT88NFT
  • slot online
  • idn slot gacor
  • pragmatic
  • slot gacor
  • slot88
  • slot deposit pulsa 10 ribu
  • togel online
  • slot deposit dana
  • slot 5000
  • win88
  • daftar slot gacor
  • bocoran admin jarwo
  • ratu slot88
  • kingcobratoto
  • bandar togel online
  • slot pulsa
  • slot dana
  • slot bca
  • pgslot
  • slot gacor
  • slot bca
  • slot dana
  • slot gacor
  • slot777
  • slot deposit pulsa 5rb
  • slot gacor
  • slot777
  • slot gacor
  • slot777
  • slot pulsa
  • slot online
  • slot88
  • bocoran rtp slot gacor
  • Cô Nguyễn Thị Thanh Huyền bảo vệ thành công luận án Tiến sĩ

    Ngày 21 tháng 12 năm 2018, tại Trường Đại học Paris 13, cô Nguyễn Thị Thanh Huyền, giảng viên bộ môn Công nghệ phần mềm, Khoa CNTT, ĐHSPHN đã bảo vệ thành công luận án Tiến sĩ trong lĩnh vực công nghệ phần mềm với tiêu đề "Quasi Optimal model checking for concurrent systems". 

    Dưới đây là tóm tắt luận án và một số hình ảnh trong buổi lễ bảo vệ.

    Predator Accelerator FG

    Abstract

    By exhaustively exploring all possible behaviours of the system, model checking has to face the state space explosion problem. We target the verification of concurrent programs. Dynamic partial-order reduction (DPOR), is a mature approach to mitigate the state explosion problem based on Mazurkiewicz trace theory, whereas unfolding is still at an initial state for targetting programs.

    We propose to combine DPOR and unfolding into an algorithm called Unfolding based POR. In order to obtain optimality, the algorithm is forced to compute sequences of transitions known as alternatives.

    In this thesis, we prove that computing alternatives in optimal DPOR is an NP-complete problem. As a trade-off solution, we propose a hybrid approach called Quasi-Optimal POR (QPOR). In particular, we provide a new notion of k-partial alternative and a polynomial algorithm to compute alternative executions.

    Another main algorithmic contribution is to represent causality and conflict as a set of trees where events are encoded as one or two nodes in two different trees. We show that checking causality and conflict between events amounts to an efficient traversal in one of these trees. We also implement the algorithm and data structures in a new tool. Besides the algorithmic improvements guaranteed by QPOR, parallelization is another way to speed up the unfolding exploration, thus we propose a parallel algorithm based on parallelizing QPOR.

    Finally, we conduct experiments on the sequential implementation of QPOR and compare the results with other state-of-art testing and verification tools to evaluate the efficiency of our algorithms. The analysis shows that our tool outperforms them.

     

     Ảnh 1: Trình bày kết quả luận án trước hội đồng

      

     Ảnh 2: Chụp ảnh với các GS trong hội đồng sau khi bảo vệ thành công luận án

     

     

    Liên hệ

    KHOA CÔNG NGHỆ THÔNG TIN, ĐHSPHN. 

    Tầng 2, nhà C, 136 Xuân Thủy, Cầu Giấy, Hà Nội.

    • Hot line: (84)  904   031   397
    Bạn đang ở: Home Tin tức - Thông báo Thông báo Cô Nguyễn Thị Thanh Huyền bảo vệ thành công luận án Tiến sĩ

    https://fatamorgana.co.id/

    https://diafrica.org/

    https://diafrica.org/

    http://diafrica.org/

    https://advy.ac.id

    slot

    slot gacor

    slot online

    https://instiper.ac.id/

    https://kyani.ac.id

    https://pelitanusa.ac.id

    slot gacor

    https://lsgi.org/

    https://lsgi.org/

    https://lullabies-of-europe.org/

    https://saint-lazarus.org/

    https://gregkeyes.com/

    slot gacor

    slot

    slot88

    slot online

    slot besar

    slot88

    situs slot gacor

    slot gacor

    slot online

    slot

    slot

    slot88

    slot gacor

    slot88

    slot gacor

    slot hoki

    slot gacor

    slot gacor

    slot88

    slot

    slot gacor

    slot77

    slot gacor

    slot gacor

    slot-gacor

    slot gacor

    slot gacor

    slot gacor

    slot gacor

    slot gacor

    slot gacor

    slot gacor

    https://bdijournal.bekasikab.go.id/public/

    slot gacor

    slot777

    slot88

    slot777

    slot777

    slot88

    rtp slot

    slot gacor

    slot88

    slot

    slot88

    slot gacor

    slot gacor

    slot gacor

    slot88

    slot88

    slot gacor

    slot online

    slot

    rtp slot

    slot gacor

    slot

    slot online

    slot gacor

    slot88

    slot

    slot gacor

    slot online

    slot

    slot88

    slot gacor

    slot88

    slot gacor

    slot gacor

    slot

    slot maxwin

    slot88

    slot gacor

    slot online

    slot777

    slot gacor

    slot

    slot online

    slot

    slot gacor

    slot gacor

    slot

    slot online

    slot

    slot gacor

    slot777

    slot

    slot gacor

    slot online

    slot gacor

    slot88

    slot online

    slot88

    slot gacor

    slot

    slot88

    slot gacor

    slot online

    slot88

    slot gacor

    slot

    slot gacor

    slot88

    slot gacor

    slot

    slot gacor terpercaya

    situs slot gacor

    slot gacor

    slot gacor hari ini

    slot online

    slot88

    slot gacor

    slot

    slot online

    http://pameran.perpusnas.go.id/slot-tergacor/

    slot dana

    slot dana

    slot gacor

    slot

    slot online

    slot gacor

    slot online

    slot

    slot

    slot gacor

    slot online

    slot gacor

    slot88

    slot gacor

    slot88

    slot gacor

    slot online

    slot

    slot online

    slot gacor

    slot gacor

    slot

    slot777

    slot gacor

    slot gacor

    slot

    slot online

    https://perfilman.perpusnas.go.id/slot-gacor/

    slot online

    slot

    slot gacor

    slot88

    slot88

    slot88

    slot gacor

    slot gacor

    slot

    slot online

    slot online

    slot

    slot gacor

    https://pplpdispora.sumutprov.go.id/slot-gacor/

    slot gacor

    slot online

    slot

    slot gacor terbaru

    slot gacor

    slot

    slot online

    http://pplpdispora.sumutprov.go.id/upload/file/

    slot gacor

    slot

    slot online

    slot gacor

    slot

    slot online

    slot online

    slot

    slot gacor

    slot88

    http://book.iaincurup.ac.id/slot-gacor/

    slot gacor

    slot online

    slot gacor

    slot online

    https://cms-dev.nyfw.com/

    https://dpmptsp.jabarprov.go.id/slot-gacor/

    https://ketahananpangan.semarangkota.go.id/situs-slot-gacor/