Proceedings of the 2017 International Conference on Foundations of Computer Science

FCS'17 Table of Contents

Editor(s): Hamid R. Arabnia, Fernando G. Tinetti
ISBN: 1-60132-456-1 | Copyright © 2017 CSREA Press | United States of America


GRAPH AND NETWORK BASED ALGORITHMS

Critical Graphs for the Minimum-Vertex-Cover Problem 3-9
Andreas Jakoby, Naveen Kumar Goswami, Eik List, Stefan Lucks
Some Hardness Results for Distance Dominating Set 10-12
Yong Zhang

SOFTWARE SYSTEMS AND RELATED ISSUES

User-level Deterministic Replay via Accurate Non-deterministic Event Capture 15-18
Jeongtaek Lim, Hosang Yoon, Hyunmin Yoon, Yoomee Ko, Minsoo Ryu
Analysis and Evaluation of Locks Designed for NUMA System 19-22
Joohwan Hong, Seokyong Jung, Kihyun Yun, Minsoo Ryu

NOVEL ALGORITHMS

A New Algorithm for Tiered Binary Search 25-31
Ahmed Tarek
Algorithms for the Majority Problem 32-37
Rajarshi Tarafdar, Yijie Han
Investigating the Benefits of Parallel Processing for Binary Search 38-42
Paul Mullins, Gennifer Elise Farrell, C. Ronald Baldwin

 


Administered by
Universal Conference Management Systems & Support (UCMSS)
** San Diego, California, USA **