VNU-UET Repository: No conditions. Results ordered -Date Deposited.
https://eprints.uet.vnu.edu.vn/eprints/
1. This is a multi-institution subject-based repository.
2. Subject Specialities:
(a) Multidisciplinary
(b) Science General
(c) Mathematics and Statistics
(d) Physics and Astronomy
(e) Technology General
(f) Computers and IT
(g) Electrical and Electronic Engineering
(h) Mechanical Engineering and Materials
3. The repository is restricted to:
(a) Journal articles
(b) Bibliographic references
(c) Conference and workshop papers
(d) Theses and dissertations
(e) Unpublished reports and working papers
(f) Books, chapters and sections
(g) Multimedia and audio-visual materials
(h) Software
(i) Patents
(j) Other special item types
4. Deposited items may include:
(a) working drafts
(b) submitted versions (as sent to journals for peer-review)
(c) accepted versions (author's final peer-reviewed drafts)
(d) published versions (publisher-created files)
5. Items are individually tagged with:
(a) their version type and date.
(b) their peer-review status.
(c) their publication status.
6. Principal Languages: English; Vietnamese; French
Fri, 29 Mar 2024 18:07:32 +0700Fri, 29 Mar 2024 18:07:32 +0700en An Improved Type System for Counting Logs of Transactional Multi-threaded Programs
https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1741/
Vu, Xuan Tung and Hoang, Truong (2015) An Improved Type System for Counting Logs of Transactional Multi-threaded Programs. In: PAS: the 4th International Seminar on Program Verification, Automated Debugging and Symbolic Computation, 21-23 October 2015, Beijing, China.