Satisfiability with Index Dependency Hong-Yu LiangJing He OriginalPaper 12 July 2012 Pages: 668 - 677
A Quadratic Lower Bound for Three-Query Linear Locally Decodable Codes over Any Field David P. Woodruff OriginalPaper 12 July 2012 Pages: 678 - 686
On Isomorphism Testing of Groups with Normal Hall Subgroups You-Ming QiaoJayalal Sarma M.N.Bang-Sheng Tang OriginalPaper 12 July 2012 Pages: 687 - 701
Envy-Free Pricing with General Supply Constraints for Unit Demand Consumers Sungjin ImPin-Yan LuYa-Jun Wang OriginalPaper 12 July 2012 Pages: 702 - 709
Worst-Case Nash Equilibria in Restricted Routing Pin-Yan LuChang-Yuan Yu OriginalPaper 12 July 2012 Pages: 710 - 717
Improving Application Launch Performance on Solid State Drives Yongsoo JooJunhee RyuKang G. Shin Regular Paper 12 July 2012 Pages: 727 - 743
A Parallel Interval Computation Model for Global Optimization with Automatic Load Balancing Yong WuArun Kumar Regular Paper 12 July 2012 Pages: 744 - 753
SWIP Prediction: Complexity-Effective Indirect-Branch Prediction Using Pointers Zi-Chao XieDong TongXu Cheng Regular Paper 12 July 2012 Pages: 754 - 768
Active Store Window: Enabling Far Store-Load Forwarding with Scalability and Complexity-Efficiency Zhen-Hao ZhangXiao-Yin WangKe-Yi Wang Regular Paper 12 July 2012 Pages: 769 - 780
Effectiveness Analysis of DVFS and DPM in Mobile Devices Youngbin SeoJeongki KimEuiseong Seo Regular Paper 12 July 2012 Pages: 781 - 790
Multidimensional Projections for Visual Analysis of Social Networks Rafael Messias MartinsGabriel Faria AnderyRosane Minghim Regular Paper 12 July 2012 Pages: 791 - 810
TangiWheel: A Widget for Manipulating Collections on Tabletop Displays Supporting Hybrid Input Modality Alejandro CataláFernando Garcia-SanjuanJose A. Mocholi Regular Paper 12 July 2012 Pages: 811 - 829
Edit Propagation via Edge-Aware Filtering Wei HuZhao DongGuo-Dong Yuan Regular Paper 12 July 2012 Pages: 830 - 840
A Geometric Approach for Multi-Degree Spline Xin LiZhang-Jin HuangZhao Liu Regular Paper 12 July 2012 Pages: 841 - 850
Hyperspectral Imagery Denoising Using a Spatial-Spectral Domain Mixing Prior Shao-Lin ChenXi-Yuan HuSi-Long Peng Regular Paper 12 July 2012 Pages: 851 - 861
2D-Manifold Boundary Surfaces Extraction from Heterogeneous Object on GPU Ming WangJie-Qing Feng Regular Paper 12 July 2012 Pages: 862 - 871
Lazy Slicing for State-Space Exploration Shao-Bin HuangHong-Tao HuangTao Zhang Regular Paper 12 July 2012 Pages: 872 - 890
An Optimized Divide-and-Conquer Algorithm for the Closest-Pair Problem in the Planar Case José C. PereiraFernando G. Lobo Short Paper 12 July 2012 Pages: 891 - 896
Some Indices of Alphabet Overlap Graph Rong YangZhao-Lan YangHe-Ping Zhang Short Paper 12 July 2012 Pages: 897 - 902