Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Verification of Concurrent Assembly Programs with a Petri Net Based Safety PolicyWang, Shengyuan ; Liang, Yingyi ; Dong, YuanTsinghua science and technology, 2007-12, Vol.12 (6), p.684-690 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Architecture Design of Computing Intensive SoCsYue, Yao ; Zhang, Chunming ; Wang, Haixin ; Bai, Guoqiang ; Chen, HongyiTsinghua science and technology, 2009-08, Vol.14 (4), p.504-511 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Out-of-Bounds Array Access Fault Model and Automatic Testing Method StudyGao, Chuanping ; Duan, Miyi ; Tan, Liqun ; Gong, YunzhanTsinghua science and technology, 2007-07, Vol.12 (S1), p.14-19 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
An Open Platform for Processing IFC Model VersionsNour, Mohamed ; Beucke, KarlTsinghua science and technology, 2008-10, Vol.13 (S1), p.126-131 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Data Dependence Graph Directed Scheduling for Clustered VLIW Architectures杨旭 何虎 孙义和Tsinghua science and technology, 2010-06, Vol.15 (3), p.299-306 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Performance Comparison of IP-Networked StorageJu, Dapeng ; Liu, Chuanyi ; Wang, Dongsheng ; Liu, Hong ; Tang, ZhizhongTsinghua science and technology, 2009-02, Vol.14 (1), p.29-40 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Reducing Network Traffic of Token Protocol Using Sharing Relation CacheWang, Haixia ; Wang, Dongsheng ; Li, Peng ; Wang, Jinglei ; Li, ChongminTsinghua science and technology, 2007-12, Vol.12 (6), p.691-699 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Practical Strategies to Improve Test EfficiencyDing, Zhigang ; Wang, Hongcheng ; Ling, LiangheTsinghua science and technology, 2007-07, Vol.12 (S1), p.250-254 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |