Search For:

Displaying 1-7 out of 7 total
An SPMD-Like Algorithm for Parallelizing Molecular Dynamics Using OpenMP
Found in: Computing in Science & Engineering
By Mingze Bai,Shixin Sun,Hong Tang,Yusheng Dou,Glenn V. Lo
Issue Date:July 2013
pp. 48-56
The efficiency and scalability of early efforts to parallelize molecular dynamics calculations on shared-memory systems using OpenMP have been limited by attempts to avoid data race. Recent work has produced better performance, but involves significant rev...
Performance of LAMMPS Code on Intel Quad-Core Xeon
Found in: Network and Parallel Computing Workshops, IFIP International Conference on
By Mingze Bai, Yusheng Dou, Hong Tang, Shixin Sun
Issue Date:October 2009
pp. 156-160
Large-scale Atomic/Molecular Massively Parallel Simulator (LAMMPS) code was examined in an Intel Quad-Core Xeon platform for its speedup and scaling ability. The study shows that the most time-consuming task in the code is force computing and this part can...
Formal Semantics of BPMN Process Models Using YAWL
Found in: Intelligent Information Technology Applications, 2007 Workshop on
By JianHong Ye, ShiXin Sun, Wen Song, LiJie Wen
Issue Date:December 2008
pp. 70-74
The Business Process Modeling Notation (BPMN) is an emerging standard for capturing business processes. However, BPMN lacks a formal semantics and many of its features are subject to interpretation, which is hindered the BPMN as a standard to statically ch...
The Operations and Properties of Reproducibility of the Empty Marking
Found in: Computational Intelligence and Security, International Conference on
By JianHong Ye, ShiXin Sun, Wen Song, Lijie Wen
Issue Date:December 2008
pp. 139-144
Kurt Lautenbach presented sufficient and necessary conditions for reproducibility of the empty marking and proved that the empty marking is reproducible if and only if there is non-negative T-invariant, whose net representations have neither siphons nor tr...
Transformation of BPMN to YAWL
Found in: Computer Science and Software Engineering, International Conference on
By JianHong Ye, ShiXin Sun, Lijie Wen, Wen Song
Issue Date:December 2008
pp. 354-359
Model transformations are frequently applied in business process modeling to bridge between languages on a different level of abstraction and formality. In this paper, we define a transformation between BPMN which is developed to enable business user to de...
A Parallel Algorithm for Simulating Photochemical Reaction
Found in: Network and Parallel Computing Workshops, IFIP International Conference on
By Hongjian Li, Hong Tang, Shixin Sun, Yusheng Dou
Issue Date:October 2008
pp. 258-262
We propose a parallel algorithm for parallel computation in photochemical reactions simulations. The proposed method is a modified version of the force matrix decomposition algorithm. The modification is based on the Bulk Synchronous Parallel architecture ...
Identity-Based Cryptography for Grid
Found in: Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on
By Hongwei Li, Shixin Sun
Issue Date:August 2007
pp. 132-137
In the grid security infrastructure (GSI), the authentication is based on traditional public key infrastructure (PKI). Grid user is in a heavily loaded point both in computation and in communication. This results in a limit for the user on the number of re...