1. Preface

   • Xiao-Ming Sun

   EditorialNotes 12 July 2012 Pages: 667 - 667

2. Satisfiability with Index Dependency

   • Hong-Yu Liang
   • Jing He

   OriginalPaper 12 July 2012 Pages: 668 - 677

3. A Quadratic Lower Bound for Three-Query Linear Locally Decodable Codes over Any Field

   • David P. Woodruff

   OriginalPaper 12 July 2012 Pages: 678 - 686

4. On Isomorphism Testing of Groups with Normal Hall Subgroups

   • You-Ming Qiao
   • Jayalal Sarma M.N.
   • Bang-Sheng Tang

   OriginalPaper 12 July 2012 Pages: 687 - 701

5. Envy-Free Pricing with General Supply Constraints for Unit Demand Consumers

   • Sungjin Im
   • Pin-Yan Lu
   • Ya-Jun Wang

   OriginalPaper 12 July 2012 Pages: 702 - 709

6. Worst-Case Nash Equilibria in Restricted Routing

   • Pin-Yan Lu
   • Chang-Yuan Yu

   OriginalPaper 12 July 2012 Pages: 710 - 717

7. Pricing Loss Leaders Can be Hard

   • Yi Wu

   Regular Paper 12 July 2012 Pages: 718 - 726

8. Improving Application Launch Performance on Solid State Drives

   • Yongsoo Joo
   • Junhee Ryu
   • Kang G. Shin

   Regular Paper 12 July 2012 Pages: 727 - 743

9. A Parallel Interval Computation Model for Global Optimization with Automatic Load Balancing

   • Yong Wu
   • Arun Kumar

   Regular Paper 12 July 2012 Pages: 744 - 753

10. SWIP Prediction: Complexity-Effective Indirect-Branch Prediction Using Pointers

    • Zi-Chao Xie
    • Dong Tong
    • Xu Cheng

    Regular Paper 12 July 2012 Pages: 754 - 768

11. Active Store Window: Enabling Far Store-Load Forwarding with Scalability and Complexity-Efficiency

    • Zhen-Hao Zhang
    • Xiao-Yin Wang
    • Ke-Yi Wang

    Regular Paper 12 July 2012 Pages: 769 - 780

12. Effectiveness Analysis of DVFS and DPM in Mobile Devices

    • Youngbin Seo
    • Jeongki Kim
    • Euiseong Seo

    Regular Paper 12 July 2012 Pages: 781 - 790

13. Multidimensional Projections for Visual Analysis of Social Networks

    • Rafael Messias Martins
    • Gabriel Faria Andery
    • Rosane Minghim

    Regular Paper 12 July 2012 Pages: 791 - 810

14. TangiWheel: A Widget for Manipulating Collections on Tabletop Displays Supporting Hybrid Input Modality

    • Alejandro Catalá
    • Fernando Garcia-Sanjuan
    • Jose A. Mocholi

    Regular Paper 12 July 2012 Pages: 811 - 829

15. Edit Propagation via Edge-Aware Filtering

    • Wei Hu
    • Zhao Dong
    • Guo-Dong Yuan

    Regular Paper 12 July 2012 Pages: 830 - 840

16. A Geometric Approach for Multi-Degree Spline

    • Xin Li
    • Zhang-Jin Huang
    • Zhao Liu

    Regular Paper 12 July 2012 Pages: 841 - 850

17. Hyperspectral Imagery Denoising Using a Spatial-Spectral Domain Mixing Prior

    • Shao-Lin Chen
    • Xi-Yuan Hu
    • Si-Long Peng

    Regular Paper 12 July 2012 Pages: 851 - 861

18. 2D-Manifold Boundary Surfaces Extraction from Heterogeneous Object on GPU

    • Ming Wang
    • Jie-Qing Feng

    Regular Paper 12 July 2012 Pages: 862 - 871

19. Lazy Slicing for State-Space Exploration

    • Shao-Bin Huang
    • Hong-Tao Huang
    • Tao Zhang

    Regular Paper 12 July 2012 Pages: 872 - 890

20. An Optimized Divide-and-Conquer Algorithm for the Closest-Pair Problem in the Planar Case

    • José C. Pereira
    • Fernando G. Lobo

    Short Paper 12 July 2012 Pages: 891 - 896

21. Some Indices of Alphabet Overlap Graph

    • Rong Yang
    • Zhao-Lan Yang
    • He-Ping Zhang

    Short Paper 12 July 2012 Pages: 897 - 902