| 2007 |
|---|
| 6 | EE | Ninh-Thuan Truong,
Viet Ha Nguyen:
Using B to Verify the Weaving of Aspects.
APSEC 2007: 199-205 |
| 2006 |
|---|
| 5 | EE | Gene Cooperman,
Viet Ha Nguyen,
Igor Malioutov:
Parallelization of Geant4 Using TOP-C and Marshalgen.
NCA 2006: 48-55 |
| 2004 |
|---|
| 4 | | Gene Cooperman,
Viet Ha Nguyen:
Marshalgen: Marshaling Objects in the Presence of Polymorphism.
International Conference on Internet Computing 2004: 17-23 |
| 3 | | Gene Cooperman,
Xiaoqin Ma,
Viet Ha Nguyen:
Static Performance Evaluation for Memory-Bound Computing: The MBRAM Model.
PDPTA 2004: 435-441 |
| 2003 |
|---|
| 2 | EE | Gene Cooperman,
Xiaoqin Ma,
Viet Ha Nguyen:
DPG: A Cache-Efficient Accelerator for Sorting and for Join Operators
CoRR cs.DB/0308004: (2003) |
| 2002 |
|---|
| 1 | EE | Viet Ha Nguyen,
Tsutomu Ishikawa,
Akinori Abe:
A mechanism for inferring approximate solutions under incomplete knowledge based on rule similarity.
Systems and Computers in Japan 33(9): 78-89 (2002) |
