Wang, Liqiang - Department of Computer Science, University of Wyoming

Advanced Search

Wang, Liqiang - Department of Computer Science, University of Wyoming

An Integrated Framework for Checking Concurrency-related Programming Qichang Chen and Liqiang Wang
HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis Qichang Chen and Liqiang Wang
Running Smart Process Based on Goals Zongmin Shang1
MRGIS: A MapReduce-Enabled High Performance Workflow System for GIS Qichang Chen, Liqiang Wang
Analyzing Concurrent Programs for Potential Programming Errors1 Qichang Chen, Liqiang Wang, Ping Guo, and He Huang
Runtime Analysis of Atomicity for Multithreaded Programs
A. Bouajjani and W.-N. Chin (Eds.): ATVA 2010, LNCS 6252, pp. 353358, 2010. Springer-Verlag Berlin Heidelberg 2010
Static Analysis of Atomicity for Algorithms Using Non-Blocking Synchronization
Automated Type-Based Analysis of Data Races and Atomicity
P&P: a Combined Push-Pull Model for Resource Monitoring in Cloud Computing Environment
Analysis of Synchronization Errors for Multithreaded A Dissertation Presented
Detection of Deadlock Potentials in Multi-Threaded Programs Rahul Agarwal1
Auto-Tuning CUDA Parameters for Sparse Matrix-Vector Multiplication on GPUs
A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows
Future Generation Computer Systems 25 (2009) 568576 Contents lists available at ScienceDirect
Modern Software Engineering Concepts and
SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs
Geophys. J. Int. (2011) 186, 311330 doi: 10.1111/j.1365-246X.2011.05031.x GJISeismology
International Journal of System Assurance Engineering and
Data Replication in Data Intensive Scientific Applications with Performance Guarantee