Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Rong-Shiung Wu"'
Publikováno v:
ASE
In this work, we discuss testing automation issues for kernel code on a high-capacity network-attached storage (NAS) in early development phases when the hardware may not be ready. We propose to construct a high-fidelity versatile emulator for hard d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd09fc49e9e80ccc90c4be057732c3cc
https://doi.org/10.1145/1321631.1321720
https://doi.org/10.1145/1321631.1321720
Autor:
Rong-Shiung Wu, 吳榮軒
93
SDL is a formal standardized notation for the speci‾cation of systems. It is intended to describe event-driven, real-time and interactive applications involving many concurrent activities that communicate with discrete signals. It describes
SDL is a formal standardized notation for the speci‾cation of systems. It is intended to describe event-driven, real-time and interactive applications involving many concurrent activities that communicate with discrete signals. It describes
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/17879053050052701899
Autor:
Rong-Shiung, Wu
Thesis (M.A.)--National Taiwan University Graduate Institute of Electrical Engineering
Includes bibliographical references
Includes bibliographical references
Publikováno v:
Proceedings of the Twenty-Second IEEE/ACM International Conference: Automated Software Engineering; 11/ 5/2007, p505-508, 4p
Autor:
Farn Wang
This book constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004. The 24 revised full papers presented together with