Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Duy Khanh Le"'
Publikováno v:
Journal of Military Science and Technology. :60-67
Mixtures of surfactants are the most important ingredients which are combined to improve the application properties of liquid detergent. In this study, we evaluated the biological, chemical, and physical properties of various mixtures of anionic, non
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d80c5a12c9570063b8fca3206b12e089
https://doi.org/10.54939/1859-1043.j.mst.79.2022.60-67
https://doi.org/10.54939/1859-1043.j.mst.79.2022.60-67
Autor:
Duy-Khanh Le, Sergio Ruocco
Publikováno v:
ICCCRI
Performance and reliability are two core challenges for today's cloud data centers. Emerging non-volatile memory (NVM) technologies, which promise large capacity, high-speed, byte-addressable and persistent memory, can offer mitigating benefits. In p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9b66e83b58b9b1461d47d22d6f01442
https://doi.org/10.1109/icccri.2015.29
https://doi.org/10.1109/icccri.2015.29
Publikováno v:
Future Data and Security Engineering ISBN: 9783319127774
FDSE
FDSE
High performance computing (HPC) clouds have become more popular for users to run their HPC applications on cloud infrastructures. Reduction in energy consumption (kWh) for these cloud systems is of high priority for any cloud provider. In this paper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c22c1b356e387ad7404dddea82474ce9
https://doi.org/10.1007/978-3-319-12778-1_19
https://doi.org/10.1007/978-3-319-12778-1_19
Publikováno v:
Modeling, Simulation and Optimization of Complex Processes-HPSC 2012 ISBN: 9783319090627
HPSC
HPSC
Energy efficiency has become an important measurement of scheduling algorithms in virtualized data centers. One of the challenges of energy-efficient scheduling algorithms, however, is the trade-off between minimizing energy consumption and satisfyin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9a31ccf1cb132f1be6d74422e28b5424
https://doi.org/10.1007/978-3-319-09063-4_16
https://doi.org/10.1007/978-3-319-09063-4_16
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783642412011
ICFEM
ICFEM
Mainstream languages such as C/C++ (with Pthreads), Java, and .NET provide programmers with both static and dynamic barriers for synchronizing concurrent threads in fork/join programs. However, such barrier synchronization in fork/join programs is ha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab7d95a2f0d9cb32acd91e9c7ac2e442
https://doi.org/10.1007/978-3-642-41202-8_16
https://doi.org/10.1007/978-3-642-41202-8_16
Publikováno v:
Automated Technology for Verification and Analysis ISBN: 9783319024431
ATVA
ATVA
This paper presents an expressive specification and verification framework for ensuring deadlock freedom of shared-memory concurrent programs that manipulate locks. We introduce a novel delayed lockset checking technique to guarantee deadlock freedom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::18b09e00dd0a36869d15e7bc066d2795
https://doi.org/10.1007/978-3-319-02444-8_21
https://doi.org/10.1007/978-3-319-02444-8_21
Autor:
Huu-Thien-Tan Nguyen, Duy-Khanh Le
Publikováno v:
Computational Collective Intelligence. Technologies and Applications ISBN: 9783642346293
ICCCI (1)
ICCCI (1)
Nowadays, most of search engines rely on keywords provided by users. However, keywords may not be sufficiently representative for the main topic of a web page. When searching for a topic, users input their desirable topic in terms of keywords. Keywor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ad6e9e935affe0f93bfae2b94af9239
https://doi.org/10.1007/978-3-642-34630-9_54
https://doi.org/10.1007/978-3-642-34630-9_54
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783642342806
ICFEM
ICFEM
In the multicore era, verification for concurrent programs is increasingly important. Although state-of-the-art verification systems ensure safe concurrent accesses to heap data structures, they tend to ignore program variables. This is problematic s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e5e80216ab0b29071133ea4399467288
https://doi.org/10.1007/978-3-642-34281-3_4
https://doi.org/10.1007/978-3-642-34281-3_4