Zobrazeno 1 - 10
of 20
pro vyhledávání: '"SHANGRU WU"'
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 30:1-49
Atomicity is a correctness criterion to reason about isolated code regions in a multithreaded program when they are executed concurrently. However, dynamic instances of these code regions, called transactions, may fail to behave atomically, resulting
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::47dd96a6520ae95d8c75f3ceea7715c9
https://doi.org/10.1145/3412377
https://doi.org/10.1145/3412377
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 25:1-44
Complete dynamic control flow is a fundamental kind of execution profile about program executions with a wide range of applications. Tracing the dynamic control flow of program executions for a brief period easily generates a trace consisting of bill
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c41a1ce8f097916fa9e2a9f9284f25ba
https://doi.org/10.1145/2963094
https://doi.org/10.1145/2963094
ASP: Abstraction Subspace Partitioning for Detection of Atomicity Violations with an Empirical Study
Publikováno v:
IEEE Transactions on Parallel and Distributed Systems. 27:724-734
Dynamic concurrency bug detectors predict and then examine suspicious instances of atomicity violations from executions of multithreaded programs. Only few predicted instances are real bugs. Prioritizing such instances can make the examinations cost-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::913dbc1b989e81a5acd15315ccc5f5d3
https://doi.org/10.1109/tpds.2015.2412544
https://doi.org/10.1109/tpds.2015.2412544
Publikováno v:
Machine Learning and Intelligent Communications ISBN: 9783319735634
MLICOM (1)
MLICOM (1)
Under the background that SSD is more and more popular, this paper shows an efficient implementation of an SSD device designed for special function and interface on Xilinx SoC platform. The Device uses MLC NAND Flash as storage chips and uses Xilinx
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01822c7b8b201ea056dc0ba8e19caa20
https://doi.org/10.1007/978-3-319-73564-1_67
https://doi.org/10.1007/978-3-319-73564-1_67
Publikováno v:
Machine Learning and Intelligent Communications ISBN: 9783319735634
MLICOM (1)
MLICOM (1)
For the validation of eMMC device performance problems involving the effectiveness of testing and non-real time on parameters controlling, it may not be possible to obtain the performance data flexibly and efficiently, requiring consideration of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a072042068e6bf07d72422aa45d8507
https://doi.org/10.1007/978-3-319-73564-1_66
https://doi.org/10.1007/978-3-319-73564-1_66
Publikováno v:
IEEE Transactions on Parallel and Distributed Systems. 26:13-23
Many large-scale multithreaded programs incur deadlock bugs. Existing deadlock warning detection techniques only report warning scenarios, which may or may not be real deadlocks. Each warning should be further verified on whether it may manifest into
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5749b5fab335761280d6c3ee6f3882f7
https://doi.org/10.1109/tpds.2014.2307864
https://doi.org/10.1109/tpds.2014.2307864
Publikováno v:
2017 First International Conference on Electronics Instrumentation & Information Systems (EIIS).
This paper describes the implementation of video encryption network card based on FPGA to ensure data secure in the process of Internet transmission. The overall design of the system is introduced. FPGA is used to implement data encryption and contro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1c55a428d96f2a6c0550618434f91956
https://doi.org/10.1109/eiis.2017.8298696
https://doi.org/10.1109/eiis.2017.8298696
Publikováno v:
ACM Transactions on Software Engineering & Methodology; Dec2020, Vol. 30 Issue 1, p1-49, 49p
Publikováno v:
Geo-spatial Information Science. 15:17-25
A novel method is proposed to automatically extract foreground objects from Martian surface images. The characteristics of Mars images are distinct, e.g. uneven illumination, low contrast between foreground and background, much noise in the backgroun
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f24193f839970f6ee4c525633f4cc602
https://doi.org/10.1080/10095020.2012.708147
https://doi.org/10.1080/10095020.2012.708147
Publikováno v:
QRS
Many two-phase based dynamic concurrency bug detectors predict suspicious instances of atomicity violation from one execution trace, and examine each such instance by scheduling a confirmation run. If the amount of suspicious instances predicted is l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa9d95407e4005f77fdff9fdbd1afe90
https://doi.org/10.1109/qrs.2015.46
https://doi.org/10.1109/qrs.2015.46