Login / Signup
Xingwen Xu
Publication Activity (10 Years)
Years Active: 2005-2021
Publications (10 Years): 1
Top Topics
Database
Concurrency Control
Management System
Single Processor
Top Venues
Microprocess. Microsystems
</>
Publications
</>
Xingwen Xu
Material database management system based on heterogeneous multi-processor and computer embedded system.
Microprocess. Microsystems
82 (2021)
Xingwen Xu
,
Shinji Kimura
,
Kazunari Horikawa
,
Takehiko Tsuchiya
Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
(12) (2006)
Xingwen Xu
,
Shinji Kimura
,
Kazunari Horikawa
,
Takehiko Tsuchiya
Transition-based coverage estimation for symbolic model checking.
ASP-DAC
(2006)
Xingwen Xu
,
Shinji Kimura
,
Kazunari Horikawa
,
Takehiko Tsuchiya
Extended abstract: transition traversal coverage estimation for symbolic model checking.
MEMOCODE
(2005)