Technical Reports
NOTE: To obtain a technical report number and submit a technical report, please email: tr-admin at cs.utsa.edu
2013
- CS-TR-2013-006, MoBBED (Mobile Brain-Body-Environment Decision Making) Part II: User Guide, by Jeremy Cockfield, Kyung Min Su and Kay Robbins, Department of Computer Science, University of Texas at San Antonio, Apr. 2013
- CS-TR-2013-005, MoBBED (Mobile Brain-Body-Environment Decision Making) Part I: Database Design, by Jeremy Cockfield, Kyung Min Su and Kay Robbins, Department of Computer Science, University of Texas at San Antonio, Apr. 2013
- CS-TR-2013-002, Multiprocessor Real-Time Systems with Shared Resources: Utilization Bound and Mapping (extended version), by Jian-Jun Han, Dakai Zhu, Xiaodong Wu, Laurence T. Yang and Hai Jin, Department of Computer Science, University of Texas at San Antonio, Jan. 2013
2012
- CS-TR-2012-012, Implementation of the History Aware Programming Language through Translation into Scala, by Md. Shamim Ashik, Department of Computer Science, University of Texas at San Antonio, Dec. 2012
- CS-TR-2012-010, Equivalence of Group-Centric Collaboration with Expedient Insiders (GEI) and LBAC with Collaborative Compartments (LCC), by Tahmina Ahmed, Ravi Sandhu, Khalid Bijon and Ram Krishnan, Department of Computer Science, University of Texas at San Antonio, Aug. 2012
- CS-TR-2012-009, Preference-Oriented Scheduling Framework and its Application to Fault-Tolerant Real-Time Systems (Extended Version), by Yifeng Guo, Hang Su, Dakai Zhu and Hakan Aydin, Department of Computer Science, University of Texas at San Antonio, May 2012
- CS-TR-2012-007, Computing the Frechet Distance Between Folded Polygon, by Atlas F. Cook IV, Anne Driemel, Jessica Sherette and Carola Wenk, Department of Computer Science, University of Texas at San Antonio, Mar. 2012
- CS-TR-2012-006, MoBBED (Mobile Brian-Body-Environment Decision-making) Data Infrastructure (White Paper), by Arif Hossain, Jeremy Cockfield and Kay Robbins, Department of Computer Science, University of Texas at San Antonio, Mar. 2012
- CS-TR-2012-003, Synchronization-Aware Energy Management for VFI-based Multicore Real-Time Systems (Extended Version), by Jian-Jun Han, Xiaodong Wu, Dakai Zhu, Hai Jin, Laurence T. Yang and Jean-Luc Gaudiot, Department of Computer Science, University of Texas at San Antonio, Feb. 2012
- CS-TR-2012-002, An Abstracting Transformation for Amino Acid Polymorphism, by Anthony M. Castaldo, Department of Computer Science, University of Texas at San Antonio, Feb. 2012
- CS-TR-2012-001, Network-based classification of recurrent endometrial cancers using high-throughput DNA methylation data, by Jianhua Ruan, Md. Jamiul Jahid, Fei Gu, Chengwei Lei, Yi-Wen Huang, Ya-Ting Hsu, Paul J. Goodfellow, Chun-Liang Chen, Tim H.-M. Huang, Department of Computer Science, University of Texas at San Antonio, Jan. 2012
2011
- CS-TR-2011-021, A randomized steiner tree approach for biomarker discovery and classification of breast cancer metastasis, by Md. Jamiul Jahid and Jianhua Ruan, Department of Computer Science, University of Texas at San Antonio, Dec. 2011
- CS-TR-2011-020, A random walk based approach for improving protein-protein interaction network and protein complex prediction, by Chengwei Lei and Jianhua Ruan, Department of Computer Science, University of Texas at San Antonio, Dec. 2011
- CS-TR-2011-018, MoBBED Views: A basic viewing infrastructure for mobile brain-body-environment decision-making, by Kay Robbins, Department of Computer Science, University of Texas at San Antonio, Dec. 2011
- CS-TR-2011-016, Refinement-based Design of a Group-centric Secure Information Sharing Model, by Wanying Zhao, Jianwei Niu and William H. Winsborough, Department of Computer Science, University of Texas at San Antonio, Dec. 2011
- CS-TR-2011-015, A Logical Framework for Sequence Diagram with Combined Fragments, by Hui Shen, Mark Robinson and Jianwei Niu, Department of Computer Science, University of Texas at San Antonio, Nov. 2011
- CS-TR-2011-010, Formal Verification of Security Properties in Trust Management Policy, by Jianwei Niu, William H. Winsborough and Mark Reith, Department of Computer Science, University of Texas at San Antonio, May 2011
- CS-TR-2011-009, Towards Practical Privacy Policy Enforcement, by William H. Winsborough, Jeffery von Ronne, Omar Chowdhury, Jianwei Niu, and Md. Shamim Ashik, Department of Computer Science, University of Texas at San Antonio, May 2011
- CS-TR-2011-008, Guided Reverse Analysis of Contingent Properties, by Jeffery von Ronne, Keyvan Nayyeri, and Zi Yan, Department of Computer Science, University of Texas at San Antonio, May 2011
- CS-TR-2011-004, Efficient Edge Anonymization of Large Social Graphs, by Lijie Zhang and Weining Zhang, Department of Computer Science, University of Texas at San Antonio, Apr. 2011
- CS-TR-2011-002, Enforceable and Verifiable Stale-Safe Security Properties in Distributed Systems, by Jianwei Niu, Ram Krishnan, Jared F. BEnnatt, Ravi Sandhu and William H. Winsborough, Department of Computer Science, University of Texas at San Antonio, Apr. 2011
- CS-TR-2011-001, On the Management of User Obligations, by Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu and Keith Irwin, Department of Computer Science, University of Texas at San Antonio, Mar. 2011
2010
- CS-TR-2010-014, Global Scheduling Based Reliability-Aware Power Management for Multiprocessor Real-Time Systems, by Xuan Qi, Dakai Zhu and Hakan Aydin, Department of Computer Science, University of Texas at San Antonio, Sept. 2010
- CS-TR-2010-012, POET: A Scripting Language For Applying Parameterized Source-to-source Program Transformations, by Qing Yi, Department of Computer Science, University of Texas at San Antonio, Sept. 2010
- CS-TR-2010-011, Collective Specification and Verification of Behavioral Models and Object-oriented Implementations, by Qing Yi, Jianwei Niu and Anitha R. Marneni, Department of Computer Science, University of Texas at San Antonio, Aug. 2010
- CS-TR-2010-010, Evaluating the Role of Optimization-Specific Search Heuristics in Effective Autotuning, by Jichi Guo, Qing Yi and Apan Qasem, Department of Computer Science, University of Texas at San Antonio, Jul. 2010
- CS-TR-2010-009, Energy Efficient Block-Partitioned Multicore Processors for Parallel Applications, by Xuan Qi and Dakai Zhu, Department of Computer Science, University of Texas at San Antonio, Jul. 2010
- CS-TR-2010-008, Identifying Unnecessary Bounds Checks Through Block-Qualified Variable Elimination, by Jeffery von Ronne, Department of Computer Science, University of Texas at San Antonio, Jul. 2010
- CS-TR-2010-007, Source Capture Time Analysis of Privacy Communication Protocols for Wireless Sensor Networks, by Pengjun Pan and Rajendra V. Boppana, Department of Computer Science, University of Texas at San Antonio, Jun. 2010
- CS-TR-2010-006, Failure Feedback for User Obligation Systems, by Murillo Pontual, Keith Irwin, Omar Chowdhury, William H. Winsborough and Ting Yu, Department of Computer Science, University of Texas at San Antonio, Jun. 2010
- CS-TR-2010-005, SIDEKICK: Genomic data driven analysis and decision-making framework, by Mark Doderer, Kihoon Yoon and Kay A. Robbins, Department of Computer Science, University of Texas at San Antonio, Jun. 2010
- CS-TR-2010-003, Formal Analysis of Combined Fragments in Sequence Diagrams, by Hui Shen, Mark Robinson and Jianwei Niu, Department of Computer Science, University of Texas at San Antonio, Jun. 2010
- CS-TR-2010-002, Automated Programmable Code Transformation For Portable Performance Tuning, by Qing Yi, Department of Computer Science, University of Texas at San Antonio, Apr. 2010
- CS-TR-2010-001, Safe, Multiphase Bounds Check Elimination in Java, by Andreas Gampe, David Niedzielski, Jeffery von Ronne, and Kleanthis Psarris, Department of Computer Science, University of Texas at San Antonio, Jan. 2010
2009
- CS-TR-2009-011, Toward Practical Authorization-dependent User Obligation Systems, by Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu and Keith Irwin, Department of Computer Science, University of Texas at San Antonio, Dec. 2009
- CS-TR-2009-009, Using Dead Blocks as a Virtual Victim Cache, by Samira Khan, Daniel A. Jimenez, Doug Burger and Babak Falsafi, Department of Computer Science, University of Texas at San Antonio, Sept. 2009
- CS-TR-2009-007, Batch Forwarding in Wireless Sensor Networks, by Turgay Korkmaz, Department of Computer Science, University of Texas at San Antonio, Aug. 2009
- CS-TR-2009-006, Automated Timer Generation for Empirical Tuning, by Josh Magee, Qing Yi and Clint Whaley, Department of Computer Science, University of Texas at San Antonio, Jul. 2009
- CS-TR-2009-005, An Optimal Boundary Fair Scheduling Algorithm for Multiprocessor Real-Time Systems, by Dakai Zhu, Xuan Qi, Daniel Mosse and Rami Melhem, Department of Computer Science, University of Texas at San Antonio, Jun. 2009
- CS-TR-2009-004, Real-Time Fire Simulation, by SARAYUTH SANTIKONGKA, Department of Computer Science, University of Texas at San Antonio, Jun. 2009
- CS-TR-2009-003, Automatic Generation of Implementations For Object-Oriented Abstractions, by Qing Yi, Jianwei Niu, Anitha Ancha, Jeyashree Lakshmipathy, Department of Computer Science, University of Texas at San Antonio, May 2009
- CS-TR-2009-002, Formal Models for Group-Centric Secure Information Sharing, by Ram Krishnan, Ravi Sandhu, Jianwei Niu, William H.Winsborough, Department of Computer Science, University of Texas at San Antonio, Mar. 2009
- CS-TR-2009-001, Shortest Path Problems on a Polyhedral Surface, by Atlas F. Cook IV and Carola Wenk, Department of Computer Science, University of Texas at San Antonio, Feb. 2009
2008
- CS-TR-2008-017, Theoretical Foundation for Model Checking Role Containment in RT, by Mark Reith, Jianwei Niu and William H. Winsborough, Department of Computer Science, University of Texas at San Antonio, Dec. 2008
- CS-TR-2008-016, Multi-Path Planning for Mobile Element to Prolong the Lifetime of Wireless Sensor Networks, by Dakai Zhu, Yifeng Guo and Ali Tosun, Department of Computer Science, University of Texas at San Antonio, Dec. 2008
- CS-TR-2008-015, GPLBrowse: Architectural Overview, by Cory Burkhardt, Department of Computer Science, University of Texas at San Antonio, Nov. 2008
- CS-TR-2008-013, Formalize UML 2 Sequence Diagrams, by Hui Shen, Aliya Virani, and Jianwei Niu, Department of Computer Science, University of Texas at San Antonio, Sep. 2008
- CS-TR-2008-012, Stale-Safe Security Properties for Group-Based Secure Information Sharing, by Ram Krishnan, Jianwei Niu, Ravi Sandhu and William H. Winsborough, Department of Computer Science, University of Texas at San Antonio, Aug. 2008
- CS-TR-2008-011, Min-Link Shortest Path Maps and Fréchet Distance, by Atlas F. Cook IV and Carola Wenk, Department of Computer Science, University of Texas at San Antonio, Jul. 2008
- CS-TR-2008-010, GEODESIC FRÉCHET DISTANCE WITH POLYGONAL OBSTACLES, by Atlas F. Cook IV and Carola Wenk, Department of Computer Science, University of Texas at San Antonio, Jul. 2008
- CS-TR-2008-009, A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination, by David Niedzielski, Andreas Gampe, Jeffery von Ronne and Kleanthis Psarris, Department of Computer Science, University of Texas at San Antonio, Jun. 2008
- CS-TR-2008-008, Mapping microarray chip feature IDs to Gene IDs for microarray platforms in NCBI GEO, by Cory Burkhardt and Kay A. Robbins, Department of Computer Science, University of Texas at San Antonio, Jun. 2008; updated Nov. 2008
- CS-TR-2008-007, Energy Management for Periodic Real-Time Tasks with Variable Assurance Requirements, by Dakai Zhu, Xuan Qi and Hakan Aydin (GMU), Department of Computer Science, University of Texas at San Antonio, Jun. 2008
- CS-TR-2008-006, RF Communication for LEGO/Handy Board with Tmote, by Dakai Zhu and Ali Tosun, Department of Computer Science, University of Texas at San Antonio, May 2008
- CS-TR-2008-005, Reliability-Aware Energy Management for Periodic Real-Time Tasks, by Dakai Zhu and Hakan Aydin (GMU), Department of Computer Science, University of Texas at San Antonio, Mar. 2008
- CS-TR-2008-003, Simple and Effective Adaptive Routing Algorithms Using Multi-Layer Wormhole Networks, by Kyung Min Su and Ki Hwan Yum, Department of Computer Science, University of Texas at San Antonio, Feb. 2008
- CS-TR-2008-002, ATLAS Installation Guide, by R. Clint Whaley, Department of Computer Science, University of Texas at San Antonio, Jan. 2008
- CS-TR-2008-001, Achieving accurate and context-sensitive timing for code optimization, by R. Clint Whaley and Anthony M. Castaldo, Department of Computer Science, University of Texas at San Antonio, Jan. 2008
2007
- CS-TR-2007-015, Personalized Multimedia Retrieval: The New Trend, by N. Sebe and Q. Tian, Department of Computer Science, University of Texas at San Antonio, Dec. 2007
- CS-TR-2007-014, Learning Microarray Gene Expression Data by Hybrid Discriminant Analysis, by Y. Lu, Q. Tian, M. Sanchez, J. Neary, F. Liu, and Y. Wang, Department of Computer Science, University of Texas at San Antonio, Dec. 2007
- CS-TR-2007-013, Interactive Semi-Supervised Learning for Microarray Analysis, by Y. Lu, Q. Tian, F. Liu, M. Sanchez, and Y. Wang, Department of Computer Science, University of Texas at San Antonio, Dec. 2007
- CS-TR-2007-012, Integrating Discriminant and Descriptive Information for Dimension Reduction and Classification, by J. Yu, Q. Tian, T. Rui, and T.S. Huang, Department of Computer Science, University of Texas at San Antonio, Dec. 2007
- CS-TR-2007-011, Feature Selection Using Principal Feature Analysis, by Y. Lu, I. Cohen, X. Zhou, and Q. Tian, Department of Computer Science, University of Texas at San Antonio, Dec. 2007
- CS-TR-2007-010, FADA: An Efficient Dimension Reduction Scheme for Image Classification, by Y. Lu, J. Ma, and Q. Tian, Department of Computer Science, University of Texas at San Antonio, Dec. 2007
- CS-TR-2007-008, GPLBrowse: An Interactive Platform Browser for NCBI GEO, by Kay A. Robbins and Cory Burkhardt, Department of Computer Science, University of Texas at San Antonio, Dec. 2007
- CS-TR-2007-007, Intra- and inter- platform renormalization and analysis of microarray data from the NCBI GEO database, by Kay A. Robbins and Cory Burkhardt, Department of Computer Science, University of Texas at San Antonio, Dec. 2007
- CS-TR-2007-005, Dynamic Routing, by Neil Kalinowski and Carola Wenk, Department of Computer Science, University of Texas at San Antonio, Aug. 2007
- CS-TR-2007-004, Geodesic Frechet and Hausdorff distance inside a simple polygon, by Atlas F. Cook IV and Carola Wenk, Department of Computer Science, University of Texas at San Antonio, Aug. 2007
- CS-TR-2007-003, Automated Transformation for Performance-Critical Kernels, by Qing Yi and R. Clint Whaley, Department of Computer Science, University of Texas at San Antonio, Jun. 2007
- CS-TR-2007-002, Error Analysis of Various Forms of Floating Point Dot Products, by Anthony M. Castaldo, R. Clint Whaley, and Anthony T. Chronopoulos, Department of Computer Science, University of Texas at San Antonio, May. 2007
- CS-TR-2007-001, Energy Efficient Redundant Configurations for Reliable Servers in Distributed Systems, by Dakai Zhu, Rami Melhem and Daniel Mosse, Department of Computer Science, University of Texas at San Antonio, Feb. 2007
2006
- CS-TR-2006-011, Learning Image Manifolds by Semantic Subspace Projection, by Jie Yu and Qi Tian, Department of Computer Science, University of Texas at San Antonio, Oct. 2006
- CS-TR-2006-010, A Self-Supervised Learning Framework for Classifying Microarray Gene Expression Data, by Yijuan Lu, Qi Tian, Feng Liu, Maribel Sanchez and Yufeng Wang, Department of Computer Science, University of Texas at San Antonio, Oct. 2006
- CS-TR-2006-009, Adaptive Discriminant Projection for Content-based Image Retrieval, by Jie Yu and Qi Tian, Department of Computer Science, University of Texas at San Antonio, Oct. 2006
- CS-TR-2006-008, Constructing Descriptive and Discriminant Features for Face Classification, by Jie Yu and Qi Tian, Department of Computer Science, University of Texas at San Antonio, Oct. 2006
- CS-TR-2006-007, Toward Robust Distance Metric Analysis for Similarity Estimation, by Jie Yu, Jaume Amores, Nicu Sebe and Qi Tian, Department of Computer Science, University of Texas at San Antonio, Oct. 2006
- CS-TR-2006-006, POET: Parameterized Optimizations for Empirical Tuning, by Qing Yi, Keith Seymour, Haihang You, Richard Vuduc and Dan Quinlan, Department of Computer Science, University of Texas at San Antonio, Sep. 2006
- CS-TR-2006-005, SSA-Based Mobile Code: Implementation and Empirical Evaluation, by Wolfram Amme, Jeffery von Ronne and Michael Franz, Department of Computer Science, University of Texas at San Antonio, Aug. 2006
- CS-TR-2006-004, SafeTSA: An Inherently Type-Safe SSA-based Code Format, by Jeffery von Ronne, Wolfram Amme and Michael Franz, Department of Computer Science, University of Texas at San Antonio, Aug. 2006
- CS-TR-2006-003, Energy Efficient Redundant Configuration for Reliable Parallel Servers, by Dakai Zhu, Rami Melhem and Daniel Mosse, Department of Computer Science, University of Texas at San Antonio, May, 2006
- CS-TR-2006-002, Privacy-Preserving Decision Tree Mining based on Random Substitutions, by Jim Dowd, Shouhuai Xu and Weining Zhang, Department of Computer Science, University of Texas at San Antonio, Mar. 2006
- CS-TR-2006-001, Reliability-Aware Dynamic Energy Management in Dependable Embedded Real-Time Systems, by Dakai Zhu, Department of Computer Science, University of Texas at San Antonio, Jan. 2006