Searching for authors named "Dachuan Yu" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
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
Showing 1 through 9.
