Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Anh-Hoang Truong"'
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. 32:791-818
Software transactional memory (STM) programs usually use more memory resources than traditional programs. Therefore, estimating an upper bound of memory resources used by an STM program is crucial for optimizing the program and reducing the risks of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::beefa579d10a810f2e1cdd52a2da8ebb
https://doi.org/10.1142/s0218194022500139
https://doi.org/10.1142/s0218194022500139
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. 29:1313-1345
This paper proposes a transformation-based method to automatically generate functional test cases from use cases named USLTG (Use case Specification Language (USL)-based Test Generation). We first focus on developing a modeling language named Test Ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28dd3cd34ea59cb6b8e0100a0e551c00
https://doi.org/10.1142/s0218194019500414
https://doi.org/10.1142/s0218194019500414
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.
Autor:
Anh-Hoang Truong, Ngoc-Khai Nguyen
Publikováno v:
SoICT
In our previous works, we proposed several type systems that can guarantee log memory bounds of transactional programs. One drawback of these type systems is their restricted compositionality. In this work, we develop a type system that is completely
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::654ba6cc9fd7eb1011eee723a0f1a216
https://doi.org/10.1145/3155133.3155183
https://doi.org/10.1145/3155133.3155183
Publikováno v:
2017 4th NAFOSTED Conference on Information and Computer Science.
Design by contract and relational interface theories are powerful for specifying component-based systems. We extend these theories with real-time properties so that our technique can model component-based real-time systems. In addition, we use linear
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7cdb01e4c094241860d7c3a896f5e062
https://doi.org/10.1109/nafosted.2017.8108069
https://doi.org/10.1109/nafosted.2017.8108069
Publikováno v:
2017 4th NAFOSTED Conference on Information and Computer Science.
We present a model-based testing approach for reactive systems where both test inputs and expected results are generated from ‘restricted’ Event-B specifications. We show that it is possible to automatically build the restricted Event-B specifica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9a19dca1a25e187cb4f84aa902c6c33e
https://doi.org/10.1109/nafosted.2017.8108065
https://doi.org/10.1109/nafosted.2017.8108065
Publikováno v:
Key Engineering Materials. 596:224-228
We demonstrated the fabrication of silicon nanowire (SiNW) sensors by focused ion beam (FIB) method and determined the effects of changes of nanowire parameters of width and wire-number on the SiNW electrical property. SiNW sensors were fabricated on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b871ab09365fcf2227cdacf4bf64289d
https://doi.org/10.4028/www.scientific.net/kem.596.224
https://doi.org/10.4028/www.scientific.net/kem.596.224
Publikováno v:
Key Engineering Materials. 534:251-256
A high sensitive mass biosensor using a piezoresistive hole-type microcantilever has been developed. To optimize the cantilever shape for high sensitivity easily, we demonstrate frame-type cantilevers with holes on the surface fabricated by Focused I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e5a071c275f291af9e52332eb48087a
https://doi.org/10.4028/www.scientific.net/kem.534.251
https://doi.org/10.4028/www.scientific.net/kem.534.251
Publikováno v:
Theoretical Aspects of Computing – ICTAC 2016 ISBN: 9783319467498
ICTAC
ICTAC
During the execution of multi-threaded and transactional programs, when new threads are created or new transactions are started, memory areas called logs are implicitly allocated to store copies of shared variables so that the threads can independent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::48581e3ca9c35ff02f3e77798f84b30b
https://doi.org/10.1007/978-3-319-46750-4_6
https://doi.org/10.1007/978-3-319-46750-4_6
Publikováno v:
Distributed Computing and Internet Technology ISBN: 9783319280332
ICDCIT
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
https://doi.org/10.1007/978-3-319-28034-9_21