Výsledky vyhledávání - "Xuan-Tung Vu"

A Type System for Counting Logs of Multi-threaded Nested Transactional Programs

Autor: Xuan-Tung Vu, Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang

Publikováno v: Distributed Computing and Internet Technology ISBN: 9783319280332
ICDCIT

We present a type system to estimate an upper bound for the resource consumption of nested and multi-threaded transactional programs. The resource is abstracted as transaction logs. In comparison to our previous work on type and effect systems for Tr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1f820d79f87e4db895d5bd2c4e2ee958
https://doi.org/10.1007/978-3-319-28034-9_21

Zobrazit plný text záznamu

A type system for finding upper resource bounds of multi-threaded programs with nested transactions

Autor: Anh-Hoang Truong, Xuan-Tung Vu, Martin Steffen, Mai Thuong Tran

Publikováno v: SoICT

We present a static, compositional analysis based on a type and effect system to estimate an upper bound for the resource consumption of nested and multi-threaded transactional programs. This work extends our previous type system for Transactional Fe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::bcc88ab59d29a215045f3069bf7b2641
https://doi.org/10.1145/2350716.2350722

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání