CSC'16 & FCS'16: Tuesday, July 26, 2016 Schedule
To select a different schedule CLICK HERE
7:00am - 5:00pm: REGISTRATION (Second Floor, Conference Lobby: 1-5)
08:00 - 10:20am: During this period, CSC'16 and FCS'16 attendees
are encouraged to participate in sessions belonging
to ABDA (Big Data Analytics), FECS (Education),
HIMS (Health Informatics), ICAI (AI), ICOMP (IoT),
IPCV (Image Processing and Pattern Recognition),
MSV (Modeling, Simulation, Visualization), PDPTA
(HPC), or SERP (Software Engineering) conferences.
These sessions discuss topics that may be of
interest to the CSC'16 and FCS'16 attendees.
10:20 - 10:40am: BREAK
SESSION 3-FCS: QUANTUM COMPUTING, MATRIX OPERATIONS, COMPUTATIONAL
SCIENCE & THEORY, AND FORMAL METHODS
Chairs: TBA
July 26, 2016 (Tuesday); 10:40am - 12:40pm
(LOCATION: Copper Room)
10:40 - 11:00am: Understanding Quantum Computing: A Case Study Using
Shor's Algorithm
Casey J. Riggs, Charlton D. Lewis, Logan O. Mailloux, and
Michael R. Grimaila
United States Air Force, Air Education and Training Command,
Air Force Institute of Technology,
Wright-Patterson Air Force Base, Ohio, USA
11:00 - 11:20am: Oscillation Model for Network Dynamics Caused by Asymmetric
Node Interaction Based on the Symmetric Scaled Laplacian Matrix
Masaki Aida, Chisa Takano, Masayuki Murata
Tokyo Metropolitan University, Japan; Hiroshima City
University, Japan; Osaka University, Japan
11:20 - 11:40am: Concerns Related to Sustainable Transportation Systems
for Urban Freight
Regis Z. Stinson, Peter Keiller
Howard University, Washington, DC, USA
11:40 - 12:00pm: A Simple Instructional Approach for Proving the Non-RE
Status of Non-monotonic Properties of Formal Languages
Gary L. Newell
Department of CS, Northern Kentucky University,
Highland Heights, Kentucky, USA
12:00 - 12:20pm: Formal Methods: A First Introduction Using Prolog to Specify
Programming Language Semantics
Lutz Hamel
Department of CS & Statistics, University of Rhode Island,
Kingston, Rhode Island, USA
12:20 - 12:40pm: User Application Record-Replay Mechanism via Detecting
Kernel-to-User Data Transfer
Hanjun Shin, Seokyoung Jung, Minsoo Ryu
Department of CSE, Hanyang University, Seoul, Korea
12:40 - 01:40pm: LUNCH (On Your Own)
01:40 - 03:00pm: During this period, CSC'16 and FCS'16 attendees
are encouraged to participate in sessions belonging
to ABDA (Big Data Analytics), FECS (Education),
HIMS (Health Informatics), ICAI (AI), ICOMP (IoT),
IPCV (Image Processing and Pattern Recognition),
MSV (Modeling, Simulation, Visualization), PDPTA
(HPC), or SERP (Software Engineering) conferences.
These sessions discuss topics that may be of
interest to the CSC'16 and FCS'16 attendees.
03:00 - 03:40pm: POSTER SESSION A
(INCLUDES POSTER + SHORT & POSITION PAPERS)
July 26, 2016 (Tuesday)
(LOCATION: Hallways of Ballrooms 1-5)
O. CPU Low Power Policy Using PPMU and GPU Low Power Policy
Using the Analysis of GPU Jobs
Kyoungsu Jun, Hyunmin Yoon, Yoonsik Choi, Minsoo Ryu
Department of CSE, Hanyang University, Seoul, Korea;
Department of ECE, Hanyang University, Seoul, Korea
O. ...
SESSION 4-CSC: SIMULATION & COMPUTATIONAL MODELING METHODS + NOVEL
COMPUTATIONAL APPLICATIONS & RELATED ISSUES
Chairs: TBA
July 26, 2016 (Tuesday); 03:40pm - 05:40pm
(LOCATION: Copper Room)
03:40 - 04:00pm: Simulation/Modeling of Pressure and Torque Pulsation for a
Swash-plate Type Piston Motor by Using SimulationX
Jin Woong Sa, Won Jee Chung, Young Hwan Yoon, and
Yong Wook Jeong
School of Mechatronics, Changwon National University, South Korea
04:00 - 04:20pm: The Case for N-Body Simulations in Rust
A. K. Hansen, M. C. Lewis
Department of CS, Trinity University, San Antonio, Texas, USA
04:20 - 04:40pm: Data Deduplication for Firmware Files
Noboru Takeuchi, Mayuko Hirose, Matrazali Noorafiza,
Satoshi Takano, Itaru Koike, Toshiyuki Kinoshita
Graduate School of CS, Tokyo University of Technology,
Hachioji Tokyo, Japan
04:40 - 05:00pm: Simulation Study of Annihilation A + B -> 0 of Diffusing
Particles Created at a Planar Wall
D. di Caprio, J. Stafiej, J. Stepien
ENSCP Chimie, Paristech, Paris, France; Faculty of
Mathematics and Natural Sciences, School of Exact Sciences,
Cardinal Stefan Wyszynski University, Warsaw, Poland;
Institute of Physical Chemistry, Polish Academy of Sciences,
Warsaw, Poland
05:00 - 05:20pm: Optimal Tuning and Comparison of Different Power System Stabilizers
Using Different Performance Indices via Jaya Algorithm
H. Shayeghi, H. A. Shayanfar, A. Younesi, S. Asefi
EE Department, University of Mohaghegh Ardabili, Iran;
Department of EE, College of Technical & Engineering, South
Tehran Branch, Islamic Azad University, Tehran, Iran
05:20 - 05:40pm: Pilot Assignment of Massive MIMO Systems for Pilot Decontamination
Based on Inter-cell Cross Gain
Fang Yong, Mei Sulin
Key Laboratory of Specialty Fiber Optics and Optical Access
Networks, School of Communication and Information Engineering,
Shanghai University, Shanghai, P. R. China
05:40 - 08:30pm: TUTORIALS + DISCUSSIONS
(Please refer to the lists at the begining of the program
book for details)To select a different schedule CLICK HERE