Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Mai Thuong Tran"'
Publikováno v:
Tạp chí Khoa học, Vol 53, Iss 2B, Pp 29-38 (2024)
Children with disabilities are a vulnerable group of children who face many difficulties in life and lack basic social skills. By selecting a typical case study, the Vocational Education and Training Center for People with Disabilities in Nghe An
Externí odkaz:
https://doaj.org/article/0ce03c3cf26c45289e3b365ee7c107a3
Publikováno v:
In Journal of Logic and Algebraic Programming April 2012 81(3):257-283
Publikováno v:
Mathematical Structures in Computer Science. 26:561-605
This paper formalizes the observable interface behaviour ofopensystems for a strongly-typed, concurrent object-oriented language with single-class inheritance. We formally characterize the observable behaviour in terms of interactions at the program-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::daa4b494cc33df3bb7e35f81d0ea6b14
https://doi.org/10.1017/s0960129514000255
https://doi.org/10.1017/s0960129514000255
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783642405600
SEFM
SEFM
We present an effect-based static analysis to calculate upper bounds on multithreaded and nested transactions as measure for the resource consumption in an execution model supporting implicit join synchronization. The analysis is compositional and ta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1c4f93856a4bc6f8584fdbb74b22450c
https://doi.org/10.1007/978-3-642-40561-7_15
https://doi.org/10.1007/978-3-642-40561-7_15
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
The Journal of Logic and Algebraic Programming
There are many mechanisms for concurrency control in high-level programming languages. In Java, the original mechanism for concurrency control, based on synchronized blocks, is lexically scoped. For more flexible control, Java 5 introduced non-lexica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::74c2f23427f2b9adcdbd794fbe5d5293
Publikováno v:
Fundamentals of Software Engineering ISBN: 9783642293191
FSEN
FSEN
There are many mechanisms for concurrency control in high-level programming languages. In Java, the original mechanism for concurrency control, based on synchronized blocks, is lexically scoped. For more flexible control, Java 5 introduced non-lexica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f60f08a390f0b27712c770911313623f
https://doi.org/10.1007/978-3-642-29320-7_11
https://doi.org/10.1007/978-3-642-29320-7_11
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
https://doi.org/10.1145/2350716.2350722
Autor:
Martin Steffen, Thi Mai Thuong Tran
Publikováno v:
KSE
This paper discusses different choices in the design of object-oriented, concurrent language from the perspective of observability. Observability takes the standpoint that two ``program fragments'' are observably equivalent if one can be replaced by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c638db44f65e733cabaaf62277b01c2
https://doi.org/10.1109/kse.2011.28
https://doi.org/10.1109/kse.2011.28
Publikováno v:
2010 Second International Conference on Knowledge and Systems Engineering.
Many concurrency models have been developed for high-level programming languages such as Java. A trend here is towards more flexible concurrency control protocols, going beyond the original Java multi-threading treatment based on lexically-scoped con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf6b2ff1e33d9d9c8fb50f88fdd51ba0
https://doi.org/10.1109/kse.2010.9
https://doi.org/10.1109/kse.2010.9