搜索页_+Xiaowan+Huang

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

外文资源

内部出版物

中国地质文献-英文(4)

SpringerLink电子期刊(8)

ProQuest学位论文(1)

Elsevier电子期刊(1)

在“SpringerLink电子期刊”中，命中：8条，耗时：0.0139627 秒

在所有数据库中总计命中：14条

1. Meta-analysis of the prognostic value of circulating tumor cells detected with the CellSearch System in colorectal cancer

作者： Xuanzhang Huang ; Peng Gao ; Yongxi Song ; Jingxu Sun ; Xiaowan Chen ; Junhua Zhao…

关键词：Circulating tumor cells ; Colorectal cancer ; CellSearch System ; Prognosis ; Meta ; analysis

刊名：BMC Cancer

出版年：2015

2. Relationship between circulating tumor cells and tumor response in colorectal cancer patients treated with chemotherapy: a meta-analysis

作者： Xuanzhang Huang ; Peng Gao ; Yongxi Song ; Jingxu Sun ; Xiaowan Chen ; Junhua Zhao…

关键词：Circulating tumor cells ; Colorectal cancer ; Chemotherapy ; Tumor response ; Prognosis

刊名：BMC Cancer

出版年：2014

3. Software monitoring with controllable overhead

作者：Xiaowan Huang (1)
Justin Seyster (1) jseyster@cs.stonybrook.edu
Sean Callanan (1)
Ketan Dixit (1)
Radu Grosu (1)
Scott A. Smolka (1)
Scott D. Stoller (1)
Erez Zadok (1)

关键词：Software instrumentation – ; Supervisory control

刊名：International Journal on Software Tools for Technology Transfer (STTT)

出版年：2012

4. InterAspect: aspect-oriented instrumentation with GCC

作者：Justin Seyster (1)
Ketan Dixit (1)
Xiaowan Huang (1)
Radu Grosu (1)
Klaus Havelund (2)
Scott A. Smolka (1)
Scott D. Stoller (1)
Erez Zadok (1)

关键词：Program instrumentation ; Aspect ; oriented programming ; GCC ; Monitoring ; Tracecut

刊名：Formal Methods in System Design

出版年：2012

5.Aspect-Oriented Instrumentation with GCC

作者：Justin Seyster ; Ketan Dixit ; Xiaowan Huang ; Radu Grosu ; Klaus Havelund ; et al.

刊名：Lecture Notes in Computer Science

出版年：2010

6.Dynamic Path Reduction for Software Model Checking

作者：Zijiang Yang ; Bashar Al-Rawi ; Karem Sakallah ; Xiaowan Huang ; Scott Smolka ; et al.

刊名：Lecture Notes in Computer Science

出版年：2009

7.Deep Random Search for Efficient Model Checking of Timed Automata

作者：Radu Grosu ; Xiaowan Huang ; Scott A. Smolka ; Wenkai Tan ; Stavros Tripakis

刊名：Lecture Notes in Computer Science

出版年：2007

8.Deep Random Search for Efficient Model Checking of Timed Automata

作者：Radu Grosu ; Xiaowan Huang ; Scott A. Smolka ; Wenkai Tan ; Stavros Tripakis

刊名：Lecture Notes in Computer Science

出版年：2007

1

按检索点细分(8)

作者(8)

按出版年细分(8)

2015年(1)

2014年(1)

2012年(2)

2010年(1)

2009年(1)

2007年(2)

NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.