Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Manchun Zheng"'
Publikováno v:
Advanced Functional Materials. 33:2209368
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de54a864b5d39a6c80ed58606407be52
https://doi.org/10.1002/adfm.202209368
https://doi.org/10.1002/adfm.202209368
Autor:
Jiayuan Huang, Manchun Zheng, Qiushun Zou, Chongjun Jin, Shan Xing, Yang Shen, Kai He, Xiaoyi She
Publikováno v:
Advanced Functional Materials. 32:2108741
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c32f0f1e343aa1be9fc11e6169555693
https://doi.org/10.1002/adfm.202108741
https://doi.org/10.1002/adfm.202108741
Publikováno v:
EuroMPI/USA
CIVL is a framework for verifying concurrent programs. The framework is built around a language, CIVL-C, that extends sequential C with general-purpose primitives that can be used to model a variety of concurrency dialects, including OpenMP, Pthreads
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::861d59775e971cce8bd46f1ffe666123
https://doi.org/10.1145/3127024.3127032
https://doi.org/10.1145/3127024.3127032
Autor:
Stephen F. Siegel, John G. Edenhofner, Mitchell J. Gerrard, Manchun Zheng, Matthew B. Dwyer, Ziqing Luo, Michael S. Rogers
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662496732
TACAS
TACAS
CIVL is a framework for the analysis and verification of concurrent programs. The front-end translates C programs that use subsets of Pthreads, MPI, OpenMP, or CUDA--alone or in combination--to an intermediate verification language CIVL-C. The back-e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5cbf334cc5c2a6496a02675a55342972
https://doi.org/10.1007/978-3-662-49674-9_57
https://doi.org/10.1007/978-3-662-49674-9_57
Publikováno v:
International Journal on Software Tools for Technology Transfer. 14:653-671
Stateflow is an industrial tool for modeling and simulating control systems in model-based development. In this paper, we present our latest work on automatic verification of Stateflow using model-checking techniques. We propose an approach to system
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df260785a6a336bf89156b6a57cec602
https://doi.org/10.1007/s10009-012-0235-0
https://doi.org/10.1007/s10009-012-0235-0
Autor:
John G. Edenhofner, Manchun Zheng, Matthew B. Dwyer, Stephen F. Siegel, Michael S. Rogers, Timothy K. Zirkel, Ziqing Luo, Andre V. Marianiello
Publikováno v:
SC
There are many ways to express parallel programs: message-passing libraries (MPI) and multithreading/GPU language extensions such as OpenMP, Pthreads, and CUDA, are but a few. This multitude creates a serious challenge for developers of software veri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::02072055b93ed93d58bf0cec39b4fad3
https://doi.org/10.1145/2807591.2807635
https://doi.org/10.1145/2807591.2807635
Publikováno v:
ASE
CIVL is a framework for static analysis and verification of concurrent programs. One of the main challenges to practical application of these techniques is the large number of ways to express concurrency: MPI, OpenMP, CUDA, and Pthreads, for example,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::edf25cb3ad0b04066b0aad1c7e3bc3cf
https://doi.org/10.1109/ase.2015.99
https://doi.org/10.1109/ase.2015.99
Position paper to appear at CSESSP 2015
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94b739dba9d0022e67949820aa0ca845
Publikováno v:
ESEC/SIGSOFT FSE
UML diagrams are gaining increasing usage in Object-Oriented system designs. UML state machines are specifically used in modeling dynamic behaviors of classes. It has been widely agreed that verification of system designs at an early stage will drama
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::717a8bbad76598fefc91a385def268f4
https://doi.org/10.1145/2491411.2494595
https://doi.org/10.1145/2491411.2494595
Autor:
Gabriel Ciobanu, Manchun Zheng
Publikováno v:
ICECCS
TiMo is a process calculus for mobile systems where timers could be to used to control process mobility and interaction. Despite its syntactic simplicity, TiMo is able to describe complex systems. Interesting properties of such systems refers to proc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f9010e45b04c6f555febb52b1305d6f2
https://doi.org/10.1109/iceccs.2013.25
https://doi.org/10.1109/iceccs.2013.25