Searching for authors named "Dachuan Yu" – sorted by Relevance.
-
Short communication Electronic circuit model for proton exchange membrane fuel cells �
- for proton exchange membrane fuel cells � Dachuan Yu, S. Yuvarajan ∗ Electrical and Computer Engineering
- Add To MetaCart
-
Load Sharing in a Hybrid Power System with a PV Panel and a PEM Fuel-Cell
- Load Sharing in a Hybrid Power System with a PV Panel and a PEM Fuel-Cell Dachuan Yu S. Yuvarajan
- Add To MetaCart
-
Verification of Safety Properties for Concurrent Assembly Code
- . Copyright 2004 ACM 1-58113-905-5/04/0009 ...$5.00 Dachuan Yu and Zhong Shao Department of Computer Science
- Cited by 11 (4 self) – Add To MetaCart
-
A Representation of Fω in LF
- A Representation of F! in LF Carsten Schurmann, Dachuan Yu ? , and Zhaozhong Ni Department
- Add To MetaCart
-
V.: Supporting Binary Compatibility with Static Compilation
- Compatibility with Static Compilation £ Dachuan Yu Zhong Shao Valery Trifonov Department of Computer Science
- Cited by 3 (0 self) – Add To MetaCart
-
Better Abstractions for Secure Server-Side Scripting
- -Side Scripting Dachuan Yu Ajay Chander Hiroshi Inamura Igor Serikov It is notoriously difficult to program a
- Cited by 1 (0 self) – Add To MetaCart
-
Building Certified Libraries for PCC: Dynamic Storage Allocation
- Building Certied Libraries for PCC: Dynamic Storage Allocation ? Dachuan Yu Nadeem A. Hamid Zhong
- Cited by 21 (6 self) – Add To MetaCart
-
Supporting Binary Compatibility with Static Compilation
- Abstract Supporting Binary Compatibility with Static Compilation£ �ÝÙ×��ÓØÖ��ÓÒÓÚ�×Ý�Ð���Ù Dachuan
- Add To MetaCart
-
Variance and Generalized Constraints for C# Generics
- Russo 2 , and Dachuan Yu 3 1 EPFL, Lausanne, Switzerland 2 Microsoft Research, Cambridge, U.K. 3 Do
- Add To MetaCart

