An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,

Source URL: www.cs.purdue.edu

• Concurrency control
• Computing
• Edsger W. Dijkstra
• Concurrent computing
• Computer programming
• Concurrency
• Transaction processing
• Synchronization
• Lock
• Monitor
• Parallel computing
• Granularity

1/46 LEI YU, Ph.D., P.E. Dean and Professor College of Science, Engineering and Technology, Texas Southern University, Houston, USA Contact

Source URL: coset.tsu.edu

Low Cost Instruction Cache Designs for Tag Comparison Elimination Youtao Zhang Jun Yang Computer Science Department Computer Science and Engineering Department University of Texas at Dallas

Source URL: people.cs.pitt.edu

Design of Concept Libraries for C++ Andrew Sutton and Bjarne Stroustrup Texas A&M University Department of Computer Science and Engineering {asutton, bs}@cse.tamu.edu

Source URL: www.stroustrup.com

Evaluating Unexpected Change in a Distributed Collection Luis Meneses, Richard Furuta and Frank Shipman Center for the Study of Digital Libraries and Department of Computer Science and Engineering Texas A&M University Co

Source URL: www.ieee-tcdl.org

Neural Personalized Ranking for Image Recommendation Wei Niu, James Caverlee, Haokai Lu Department of Computer Science and Engineering, Texas A&M University {wei,caverlee,hlu}@cse.tamu.edu ABSTRACT

Source URL: faculty.cse.tamu.edu

Who is the Barbecue King of Texas?:⇤ A Geo-Spatial Approach to Finding Local Experts on Twitter Zhiyuan Cheng, James Caverlee, Himanshu Barthwal, and Vandana Bachani Department of Computer Science and Engineering Texas

Source URL: faculty.cse.tamu.edu

TAPER: A Contextual Tensor-Based Approach for Personalized Expert Recommendation Hancheng Ge, James Caverlee, Haokai Lu Department of Computer Science and Engineering Texas A&M University

Source URL: faculty.cse.tamu.edu

Uncovering the Spatio-Temporal Dynamics of Memes in the Presence of Incomplete Information Hancheng Ge1 , James Caverlee1 , Nan Zhang2 , Anna Squicciarini3 1 Department of Computer Science and Engineering, Texas A&M Uni

Source URL: faculty.cse.tamu.edu

Spatial Influence vs. Community Influence: Modeling the Global Spread of Social Media Krishna Y. Kamath, James Caverlee, Zhiyuan Cheng Department of Computer Science and Engineering Texas A&M University College Station,

Source URL: faculty.cse.tamu.edu