Technical Reports - 2008
UH-CS-08-19
Fast Filtering Heuristics for Perfect Bipartite Matchings
Rakesh M. Verma and Jack Wiedrick
December 20, 2008
UH-CS-08-18
Robust Topology Engineering in Multi-Radio Multi-Channel Wireless Networks
Cunqing Hua and Rong Zheng
January 17, 2009
UH-CS-08-17
Redundancy Tolerant Communication on Volatile Nodes
Nagarajan Kanna, Jaspal Subhlok,Edgar Gabriel,Margaret Cheung and David Anderson
December 05, 2008
UH-CS-08-16
Obstacle Discovery in Distributed Actuator and Sensor Networks
Rong Zheng and Amit Pendharkar
December 20, 2008
UH-CS-08-15
A Note on An NP-completeness Proof for Cryptographic Protocol Insecurity
Zhiyao Liang and Rakesh M. Verma
October 05, 2008
UH-CS-08-14
Complexity of Checking Freshness of Cryptographic Protocols
Zhiyao Liang, Rakesh M. Verma
September 27, 2008
UH-CS-08-13
Compression of Human Motion Capture Data Using Motion Pattern Indexing
Qin Gu, Jingliang Peng† and Zhigang Deng
September 02, 2008
UH-CS-08-12
Modeling and Analysis of LEAP, a Key Management Protocol for Wireless Sensor Networks
Rakesh M. Verma † and Bailey E. Basile ‡
August 08, 2008
UH-CS-08-11
An Algorithm to Detect Stepping-Stones in the Presence of Chaff Packets
Ying-Wei Kuo and Shou-Hsuan Stephen Huang
July 23, 2008
UH-CS-08-10
Discovering Regional Co-location Patterns for Sets of Continuous Variables in Spatial Datasets
Christoph F. Eick, Rachana Parmar, Wei Ding, Tomasz Stepinski1, Jean-Philippe Nicot
July 9, 2008
UH-CS-08-09
Construction and Evaluation of Coordinated Performance Skeletons
Qiang Xu and Jaspal Subhlok
May 26, 2008
UH-CS-08-08
Efficient Discovery of Loop Nests in Communication Traces of Parallel Programs
Qiang Xu and Jaspal Subhlok
May 26, 2008
UH-CS-08-07
"Logicalization" of MPI Communication Traces
Qiang Xu, Ravi Prithivathi, Jaspal Subhlok and Rong Zheng
May 26, 2008
UH-CS-08-06
A Quantitative Comparison of Checkpoint with Restart and Replication in Volatile Environments
Rong Zheng anf Jaspal Subhlok
June 23, 2008
UH-CS-08-05
Expressive Speech Animation Synthesis with Phoneme-Level Controls
Zhigang Deng and Ulrich Neumann
April 20, 2008
UH-CS-08-04
A Multi-Dimensional Data Organization That Assists In The Parsing And Production Of A Sentence
W. Faris and K. Cheng
March 28, 2008
UH-CS-08-03
An Object-Oriented Approach In Representing And Parsing The English Grammar
W. Faris and K. Cheng
February 28, 2008
UH-CS-08-02
Real Cryptographic Protocol with an Insider Attacker:
Improving Techniques for Proving Undecidability of Checking Security Goals
Zhiyao Liang and Rakesh M. Verma
February 27, 2008
UH-CS-08-01
Robust Channel Assignment for Link-level Resource Provisioning in Multi-Radio
Multi-Channel Wireless Networks
Cunqing Hua, Rong Zheng and Song Wei
February 25, 2008