The version of Program in PDF is available

Morning
Afternoon
Note: ASIS = Advances in Security and Information Systems
ASE = Advances in Software Engineering
ESVD = Embedded Systems and VLSI Design
HPC = High Performance Computing
IBPMR = Image-Based Processing, Modeling and Rendering
SC = Scientific Computing
Wednesday, October 19, 2011
8:00 - 9:00
9:00 - 9:30
9:30 - 10:30
10:30 - 10:45
10:45 - 11:00
11:00 - 12:00
14:00 - 15:00
15:00 - 16:00
16:00 - 16:15
Parallel session 1 (HPC1) - Room 401B4
Parallel session 2 (ASIS1) - Room 402B4
Chair: Dinh Phung (Curtin, Australia)
Chair: Duong Tuan Anh (HCMUT)
16:15 - 16:45 C 2 Reception & Registration
Opening
Plenary session 1 - Main Hall (A4 Hall)
Chair: Nam Thoai (HCMUT)
Intel® Technology for HPC and the Road to Exascale
David S. Scott (Intel, Hong Kong)
Photo session
Coffee break
Plenary session 2 - Main Hall (A4 Hall)
Chair: Josef Kueng (Linz, Austria)
Ultra Low Power Consumption Data-Driven Networking System - Aiming at the Emergency-Oriented Infrastructure-less Network
Hiroaki Nishikawa (Tsukuba, Japan) and Hiroshi Ishii (Tokai, Japan)
Lunch break
Plenary session 3 - Main Hall (A4 Hall)
Chair: Hiroshi Ishii (Tokai, Japan)
Access Controlled Maritime Automatic Identification System Data Streams
Stéphane Bressan (Singapore)
Close Encounter with Large-Scale Pattern Recognition from Sensor Data
Dinh Phung (Curtin, Australia)
Coffee break
LIR: an approach to apply coordinated checkpointing to light- 16:15 - 16:45 EEHOT: an efficient algorithm for finding time series discords
weight replay technique
Do H. D. Tien, Nguyen H. T. Vy, Tran D. Hoa, Mai T. Son, Duong
Pham Thanh Phuong, Nam Thoai
T. Anh
16:45 - 17:15 Enhanced SOM application for intrusion detection system by 16:45 - 17:15 Handling workflow exceptions by conditional activity replacement
anomaly behavior
Le Ngoc Tien, Huynh Hai Au, Bui Thanh Phong, Le Ngoc Tan,
Trinh Ngoc Minh
Tran Khanh Dang, Tuan Anh Dang, Tuan Huynh Ngoc
17:15 - 17:45 Parallel Quicksort with OpenMP 3.0 task construct
17:15 - 17:45 Green-thumb phone: development of AR-based plant
Ratthaslip Ranokphanuwat, Surin Kittitornkun
recommendation service on smart phone
Takahiro Kawamura, Norihito Mishiro, Akihiko Ohsuga
Parallel session 3 (ESVD1) - Room 403B4
Chair: Le Ngoc Minh (HCMUT)
16:15 - 16:45 Towards a verification approach for asynchronous circuits
Thang H. Bui, Anh-Vu Dinh-Duc, Bao D. Ho, Tin T. Nguyen
16:45 - 17:15 Dynamic power management for periodic tasks in real-time embedded
systems
Vu Chi Hieu, Anh-Vu Dinh-Duc
17:15 - 17:45 Speed up processing time for embedded applications
Anh-Vu Dinh-Duc

Morning
Afternoon
11:15 - 11:45 Virtual machine image packaging method for cloud-based
virtual laboratory
Lam Khang Vo, Tran Vu Pham
11:45 - 12:15 Cost-performance of fault tolerance in distributed systems
Yong Meng Teo, Ba Linh Luong, Yingwen Song, Nam Thoai
Plenary session 5 - Main Hall (B4 Hall)
Chair: Michael S. Brown (Singapore)
14:00 - 15:00 Real-timed Interface Behaviour Specification and Verification
Dang Van Hung (Hanoi, Vietnam)
15:00 - 15:15
Parallel session 7 (SC1) - Room 401B4
Chair: Nguyen Anh Thi (HCMUT)
15:15 - 15:45 Dual analysis by stabilized displacement and equilibrium
meshfree methods
Canh V. Le
15:45 - 16:15 Application of online-trained ANN and parallel computing in
2D Airfoil optimization
Tran Quang Khai, Tran Van Hoai, Nguyen Anh Thi
16:15 - 16:45 A singular ES-FEM for 2D crack growth simulation
Nguyen Xuan Hung, Nguyen Thoi Trung
Thursday, October 20, 2011
8:00 - 8:30 Reception & Registration
Plenary session 4 - Main Hall (B4 Hall)
Chair: Remi Manceau (ENSMA, France)
8:30 - 9:30 Business Analytics on High-Performance Computing (HPC) Cloud Model
Vikas Mathur (IBM, Singapore)
9:30 - 10:30 Semantic Based Integration of Decision Support Systems
Josef Kueng (Linz, Austria)
10:30 - 10:45
Coffee break
Parallel session 4 (HPC2) - Room 401B4
Parallel session 5 (ASIS2) - Room 405B4
Chair: Pham Tran Vu (HCMUT)
Chair: Bui Hoai Thang (HCMUT)
10:45 - 11:15 A cloud-based HPC cluster model for academic institution 10:45 - 11:15 A novel framework for LBS privacy preservation in dynamic
Pham Van Hau, Dang Huynh Tu, Tran Manh Ha, Nguyen Duc
contexts
Cuong
Nguyen Duy Vu Le, Le Vinh Nguyen, Ngoc Tuan Nguyen, Son
Thanh Do, Trung Hien Tran, Tran Khanh Dang
11:15 - 11:45 An OpenLS-based middleware supporting location-based services
Vo Minh Tam, Tran Luong Khiem, Phan Trong Nhan, Ngo Nguyen
Nhat Minh
11:45 - 12:15 A pragmatic database pentesting solution to deal with securityrelated
side effects
Thanh Tung Nguyen, Tran Khanh Dang
Lunch break
Coffee break
Parallel session 8 (ASE1) - Room 405B4
Chair: Le Thanh Van (HCMUT)
15:15 - 15:45 Challenges and issues in collaborative software developments
Robail Yasrab, Javed Ferzund, Saad Razzaq
15:45 - 16:15 A formal model for concurrent real-time component-based systems
Do Van Chieu, Dang Van Hung
16:15 - 16:45 Model checking Petri nets using NuSMV
Thang H. Bui, Phuong B. K. Dang
Parallel session 6 (ESVD2) - Room 403B4
Chair: Tran Ngoc Thinh (HCMUT)
10:45 - 11:15 Wireless applications in manufacturing and risks of applying in GMP
areas
Jennie E. Montaño, Hamid Shahnasser
11:15 - 11:45 Non-coherent sequence detection and correction mechamism for mesh
communication system
Wahidah Hashim, Hafizal Mohamad, Nordin Ramli
11:45 - 12:15 Low hardware complexity of FIR digital filter based on double-base
number system
Minh Son Nguyen, Thanh Hieu Bui, Jongsoo Kim
Parallel session 9 (ESVD3) - Room 403B4
Chair: Ottar Johnsen (Switzerland)
15:15 - 15:35 Algorithms for optimized code distribution in wireless sensor networks
Quan Le-Trung
15:35 - 15:55 The map-matching method of GPS data using Google JavaScript API
Services
Quang-Huy Nguyen, Anh-Vu Dinh-Duc
15:55 - 16:15 An efficient TCP reassembly technique on FPGA
Tran Huy Vu, Tran Ngoc Thinh, Nguyen Quoc Tuan, Nguyen Tran
Huu Nguyen
16:15 - 16:35 Complex multi-pattern matching architecture for NIDS on FPGA
Van Quoc Dung, Tran Trung Hieu, Tran Ngoc Thinh

Morning
8:30 - 9:30
9:30 - 10:30
Plenary session 6 - Main Hall (B4 Hall)
Chair: Hiroaki Nishikawa (Tsukuba, Japan)
Hybrid Temporal LES for the Simulation of Turbulent Flows
Remi Manceau (ENSMA, France)
Recent Trends in Digital Photography: from Consumer Cameras to Hyperspectral Imaging
Michael S. Brown (Singapore)
10:30 - 10:45
Parallel session 10 (SC2) - Room 403B4
Chair: Le Dinh Tuan (HCMUT)
10:45 - 11:15 Buckling analysis of laminated composite plates by the third shear
deformation theory based on NURBS-based isogeometric approach
Thai Hoang Chien, Nguyen Xuan Hung, Nguyen Thoi Trung
11:15 - 11:45 Effects of elastic stresses, drying shrinkage and creep to the
shortening of columns and walls in highrise buildings
Luong Van Hai, Tran Minh Thi, Ang Kok Keng
11:45 - 12:15 Static analysis of composite plate using edge-based smoothed finite
element method based on a C 0 -type higher-order shear deformation
theory
Tran Vinh Loc, Thai Hoang Chien, Nguyen Xuan Hung
Friday, October 21, 2011
Coffee break
Parallel session 11 (ASE2) - Room 405B4
Chair: Dang Van Hung (Hanoi, Vietnam)
10:45 - 11:15 Similarity estimation between student source codes
Huynh Viet Linh, Nguyen Hua Phung, Le Dinh Thuan
11:15 - 11:45 Classifying sorting algorithms
Pham Hong Long, Nguyen Hua Phung
11:45 - 12:15 Logic test-case generation for heap-manipulation programs
Le Thi Nhat Van, Quan Thanh Tho
Afternoon
Parallel session 13 (SC3 + HPC4) - Room 403B4
Lunch break
Parallel session 14 (IBPMR + SC4) - Room 405B4
Chair: Pham Minh Vuong (HCMUT)
Chair: Le Thanh Sach (HCMUT)
14:00 - 14:30 Dynamic analysis of 2D fluid-solid interaction problems by an edge- 14:00 - 14:30 Sound extraction of phonographic records by image recognition
based smoothed finite element method (ES-FEM)
Nguyen Thoi Trung, Phung Van Phuc, Nguyen Xuan Hung
Ottar Johnsen
14:30 - 15:00 A n -sided polygonal edge-based smoothed FEM (n ES-FEM) for 14:30 - 14:50 The optimal block-size for the Block Gram-Schmidt
dynamic analyses of 2D fluid-solid interaction problems
orthogonalization
Phung Van Phuc, Nguyen Thoi Trung
Yoichi Matsuo, Takashi Nodera
15:00 - 15:20 Load balancing for parallel Euler solver on multiblock structured 14:50 - 15:10 Multifunctional optical devices based on Multimode Interference
grids
for all-optical computing
Dang Thai Son, Tran Thanh Tinh, Nguyen Anh Thi
Trung-Thanh Le
15:20 - 15:50 Dynamic analysic of 2D fluid-solid interaction problems by an alpha 15:10 - 15:30 All-optical Hartley transforms based on Multimode Interference
finite element method (αFEM)
on an SOI platform
Nguyen Ngoc Nhan, Phung Van Phuc, Nguyen Thoi Trung
Trung-Thanh Le
19:00 - 22:00 Conference Banquet & Closing
Parallel session 12 (ASIS3 + HPC3) - Room 504B4
Chair: Nguyen Duc Thai (HCMUT)
10:45 - 11:05 Educational social network
Cuong Duc Nguyen, Dang Bach Bui, Khoi Duy Vo, Sinh Van
Nguyen
11:05 - 11:25 Performance study of virtual nodes for resource allocation
Tran Manh Ha, Thai Thanh Long, Pham Van Hau, Nguyen Duc
Cuong
11:25 - 11:45 Performance constraint and power-aware allocation for user
requests in virtual computing lab
Nguyen Quang Hung, Nam Thoai, Nguyen Thanh Son
11:45 - 12:05 ONTSNETS: an ontology based semantic framework for
requirement engineering to support distributed applications
Atifa Rafique, Kashif Ayub, Muhammad Ilyas