Home > Research > Selected Student Publications

Selected Student Publications

The following are some refereed publications authored or co-authored by University of Virginia's Computer Science graduate students.

  1. S. Alspaugh, K.R. Walcott, M. Belanich, G.M. Kapfhammer and M. Soffa, Efficient Time-Aware Prioritization with Knapsack Solvers, ASE Workshop on Empirical Assessment of Software Engineering Languages and Technologies, Atlanta, Georgia, November 2007

  2. R.P. Weistroffer, K.R. Walcott, G. Humphreys and J. Lawrence, Efficient Basis Decomposition for Scattered Reflectance Data, Eurographics Symposium on Rendering, Grenoble, France, June 2007

  3. K.R. Walcott, G. Humphreys and S. Gurumurthi, Dynamic Prediction of Architectural Vulnerability From Microarchitectural State, International Symposium on Computer Architecture, June 2007

  4. E. Cheslack-Postava, N. Goodnight, R. Ng, R. Ramamoorthi and G. Humphreys, 4D Compression and Relighting with High-Resolution Light Transport Matrices, ACM Symposium on Interactive 3D Graphics and Games, April 2007

  5. L. Bolotnyy and G. Robins, Physically Unclonable Function -Based Security and Privacy in RFID Systems, IEEE International Conference on Pervasive Computing and Communications (PerCom'07), NY, March 2007

  6. J. Meng, H. Cook, K. Skadron and D. Weikle, Comparing Doom 3, WarCraft III, PBRT and MESA Using Micro-Architecturally Independent Characteristics, Technical Report CS-2007-04, February 2007

  7. A. Guha, K. Hazelwood and M. Soffa, Reducing Exit Stub Memory Consumption in Code Caches, International Conference on High Performance Embedded Architectures and Compilers (HiPEAC'07), Ghent, Belgium, January 2007

  8. J. Zhang, G. Zhou, C. Huang, S. Son and J. Stankovic, TMMAC: An Energy Efficient Multi-Channel MAC Protocol for Ad Hoc Networks, ACM SIGMOBILE Mobile Computing and Communications Review (ACM MC2R), Special Issue on Localization Technologies and Algorithms, January 2007

  9. S. Eswaran, D. Del Vecchio, G. Wasson and M. Humphrey, Adapting and Evaluating Commercial Workflow Engines for e-Science, IEEE International Conference on e-Science and Grid Computing (e-Science'06), December 2006

  10. S-M. Park, G. Wasson and M. Humphrey, Authorizing Remote Job Execution Based on Job Properties, IEEE International Conference on e-Science and Grid Computing (e-Science'06), December 2006

  11. J. Carnahan and P. Reynolds, Requirements for DDDAS Flexible Point Support, Winter Simulation Conference, December 2006

  12. K. Nohl and D. Evans, Quantifying Information Leakage in Tree-Based Hash Protocols, International Conference on Information and Communications Security, December 2006

  13. D. Del Vecchio, V. Hazlewood and M. Humphrey, Evaluating Grid Portal Security, Supercomputing 2006, Tampa, FL, November 2006

  14. R. Stoleru, P. Vicaire, T. He and J. A. Stankovic, StarDust: A Flexible Architecture for Passive Localization in Wireless Sensor Networks, ACM Conference on Embedded Networked Sensor Systems (SenSys), Boulder, CO, November 2006

  15. S. Lin, J. Zhang, G. Zhou, L. Gu, T. He and J. A. Stankovic, ATPC: Adaptive Transmission Power Control for Wireless Sensor Networks, ACM Conference on Embedded Networked Sensor Systems (SenSys'06), Boulder, Colorado, November 2006

  16. Z. Wu and A. Weaver, Using Web Service Enhancements to Bridge Business Trust Relationships, International Conference on Privacy, Security, and Trust (PST'06), November 2006

  17. P. Kulkarni, W. Zhao, S. Hines, D. Whalley, X. Yuan, R. Engelen, K. Gallivan, J. Hiser, J. Davidson, B. Cai, M. Bailey and H. Moon, K. Cho, Y. Paek, VISTA: VPO Interactive System For Tuning Applications, ACM Transactions on Embedded Computing Systems (TECS), November 2006

  18. Z. Wu and A. C. Weaver, Requirements of Federated Trust Management for Service-Oriented Architectures, International Conference on Privacy, Security, and Trust (PST'06), October 2006

  19. Z. Lu, J. Lach, K. Skadron and M. R. Stan, Design and Implementation of an Energy Efficient Multimedia Playback System, Asilomar Conference on Signals, Systems and Computers, October 2006

  20. A. D. Wood, L. Fang, J. A. Stankovic and T. He, A Family of Configurable, Secure Routing Protocols for Wireless Sensor Networks, Workshop on Security of Ad Hoc and Sensor Networks, October 2006

  21. L. Gu and J. A. Stankovic, A Virtualizing OS Kernel for Wireless Sensor Networks, International Conference on Embedded Networked Sensor Systems, October 2006

  22. L. Gu and J. A. Stankovic, T-kernel: Providing Reliable OS Support to Wireless Sensor Networks, International Conference on Embedded Networked Sensor Systems, October 2006

  23. A. D. Wood and J. A. Stankovic, Secure Link-layer Communication in TinyOS for IEEE 802.15.4-based Wireless Sensor Networks, International Conference on Embedded Networked sensor Systems (SenSys'06), October 2006

  24. W. Zhang, D. Del Vecchio, G. Wasson and M. Humphrey, Flexible and Secure Logging of Grid Data Access, IEEE/ACM International Conference on Grid Computing (Grid'06), Barcelona, Spain, September 2006

  25. Z. Wu and A. Weaver, Bridging Trust Relationships with Web Service Enhancements, 2006 IEEE International Conference on Web Services, Chicago, September 2006

  26. Z. Wu and A. Weaver, Application of Fuzzy Logic in Federated Trust Management for Pervasive Computing, Computer Software and Applications Conference (COMPSAC'06), September 2006

  27. J. W. Sheaffer, D. P. Luebke and K. Skadron, The Visual Vulnerability Spectrum: Characterizing Architectural Vulnerability for Graphics Hardware, Graphics Hardware Workshop, pp. 9-16, September 2006

  28. Y. Cai and K. J. Sullivan, Modularity Analysis of Logical Design Models, IEEE/ACM International Conference on Automated Software Engineering (ASE'06), September 2006

  29. X. Jin, J. French and J. Michel, Quantative Analysis of the Impact of Judging Inconsistency on the Effectiveness of Relevance Feedback, International ACM SIGIR Conference on Research and Development in Information Retrieval, Seattle, WA, August 2006

  30. W. S. Greenwell, J. C. Knight, C. M. Holloway and J. Pease, A Taxonomy of Fallacies in System Safety Arguments, International System Safety Conference, Albuquerque, NM, August 2006

  31. J. Feng, L. Cui, G. Wasson and M. Humphrey, Policy-Directed Data Movement in Grids, International Conference on Parallel and Distributed Systems (ICPADS'06), Minneapolis, MN, July 2006

  32. K. Walcott, G. Kapfhammer, R. Roos and M. Soffa, Time-Aware Test Suite Prioritization, International Symposium on Software Testing and Analysis (ISSTA'06), Portland, Maine, July 2006

  33. L. Bolotnyy and G. Robins, Generalized 'Yoking Proofs' for a Group of Radio Frequency Identification Tags, International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS'06), San Jose, CA, July 2006

  34. E. A. Strunk and J. C. Knight, Dependability through Assured Reconfiguration in Embedded System Software, IEEE Transactions on Dependable and Secure Computing, Vol. 3, pp. 172-187, July 2006

  35. B. Cox, D. Evans, A. Filipi, J. Rowanhill, W. Hu, J. Davidson, J. Knight and J. Hiser, N-Variant Systems: A Secretless Framework for Security through Diversity, USENIX Security Symposium, July 2006

  36. K. R. Walcott, M. L. Soffa, G. M. Kapfhammer and R. S. Roos, Time-Aware Test Suite Prioritization, International Symposium on Software Testing and Analysis, July 2006

  37. J. Calandrino and A. C. Weaver, Private Resource Pairing, Workshop on Privacy Enhancing Technologies (PET 2006), June 2006

  38. J. Hiser, D. Williams, A. Filipi, J. Davidson and B. Childers, Evaluating Fragment Construction Policies for SDT Systems, International Conference on Virtual Execution Environments, June 2006

  39. J. Yang, S. Zhou and M. Soffa, Dimension: An Instrumentation Tool for Virtual Execution Environments, International Conference on Virtual Execution Environments, June 2006

  40. Y. Li, B. Lee, D. Brooks, Z. Hu and K. Skadron, Impact of Thermal Constraints on Multi-core Architectures, Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronics Systems (ITHERM'06), June 2006

  41. T. He, B. Blum, Y. Pointurierq, C. Lu, J. Stankovic and S. H. Son, MAC Layer Abstraction for Simulation Scalability Improvements in Large-scale Sensor Networks, International Conference on Networked Sensing Systems (INSS'06), Chicago, June 2006

  42. W. Hu, J. Hiser, D. Williams, A. Filipi, J. Davidson, D. Evans, J. C. Knight, A. Nguyen-Tuong and J. Rowanhill, Secure and Practical Defense Against Code-injection Attacks Using Software Dynamic Translation, ACM/USENIX International Conference on Virtual Execution Environments, June 2006

  43. E. Humenay, D. Tarjan and K. Skadron, Impact of Parameter Variations on Multi-Core Chips, Workshop on Architectural Support for Gigascale Integration and International Symposium on Computer Architecture (ISCA), June 2006

  44. F. Ciucu, A. Burchard and J. Liebeherr, Scaling Properties of Statistical End-to-End Bounds in Network Calculus, IEEE Transactions on Information Theory, Joint Special Issue with IEEE/ACM Transactions on Networking, June 2006

  45. and P. Graydon, SCRTool and the SCR Specification Language, Survey of Tools for Model Checking and Model-Based Development, Strunk, Aiello, Knight, eds., Technical Report CS-2006-17, Dept. of Computer Science, University of Virginia, June 2006

  46. O. Chipara, Z. He, G. Xing, Q. Chen, X. Wang, C. Lu, J. Stankovic and T. Abdelzaher, Real-time Power-Aware Routing in Sensor Networks, IEEE International Workshop on Quality of Service (IWQoS'06), June 2006

  47. C. White and D. Brogan, The Self Organization of Context for Multi Agent Games, Conference on Artificial Intelligence in Interactive Digital Entertainment, June 2006

  48. E. A. Strunk and J. C. Knight, The Essential Synthesis of Problem Frames and Assurance Cases, International Workshop on Applications and Advances in Problem Frames, co-located with 29th International Conference on Software Engineering, Shanghai, China, May 2006

  49. W. Huang, S. Ghosh, S. Velusamy, K. Sankaranarayanan, K. Skadron and M. R. Stan, HotSpot: A Compact Thermal Modeling Methodology for Early-Stage VLSI Design, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, May 2006

  50. X. Liu, P. Reynolds and D. Brogan, Using Abstraction in the Verification of Simulation Coercion, ACM/IEEE Workshop on The Principles of Advanced and Distributed Simulation (PADS), May 2006

  51. G. Zhou, J. Stankovic and S. Son, Crowded Spectrum in Wireless Sensor Networks, IEEE EmNets, May 2006

  52. D. Evans and M. Peck, Inculcating Invariants in Introductory Courses, International Conference in Software Engineering, Education Track, May 2006

  53. J. Hiser, N. Kumar, M. Zhao, S. Zhou, B. Childers, J. Davidson and M. Soffa, Techniques and tools for dynamic optimization, Parallel and Distributed Processing Symposium(IPDPS'06).Rhodes Island, Greece, April 2006

  54. E. Benson, G. Wasson and M. Humphrey, Evaluation of UDDI as a Provider of Resource Discovery Services for OGSA-based Grids, 2006 International Parallel and Distributed Processing Symposium (IPDPS 2006), Rhodes Island, Greece, April 2006

  55. J. Zhang, G. Zhou, S. H. Son and J. Stankovic, Ears on the Ground: Acoustic Streaming Service in Wireless Sensor Networks, IEEE/ACM International Conference on Information Processing in Sensor Networks (IPSN'06, Demo Paper), Nashville, TN, April 2006

  56. G. Virone, A. Wood, L. Selavo, Q. Cao, L. Fang, T. Doan, Z. He and J. Stankovic, An Advanced Wireless Sensor Network for Health Monitoring, Transdisciplinary Conference on Distributed Diagnosis and Home Healthcare (D2H2), Arlington, VA, April 2006

  57. G. Virone, A. Wood, L. Selavo, Q. Cao, L. Fang, T. Doan, Z. He, R. Stoleru, S. Lin and J. Stankovic, An Assisted Living Oriented Information System Based on a Residential Wireless Sensor Network, IEEE Conference on Distributed Diagnosis and Home Healthcare, April 2006

  58. T. He, P. Vicaire, T. Yan, L. Luo, L. Gu, G. Zhou, R. Stoleru, Q. Cao, J. Stankovic and T. Abdelzaher, Achieving Real-Time Target Tracking Using Wireless Sensor Networks, IEEE Real-Time and Embedded Technology and Applications Symposium, April 2006

  59. T. he, L. Gu, L. Luo, T. Yan, J. Stankovic and S. Son, An Overview of Data Aggregation Architecture for Real-Time Tracking with Sensor Networks, International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS 2006), April 2006

  60. T. Yan, J. Stankovic, T. Abdelzaher, C. Lu and O. Chipara, Capacity and Feasibility Analysis for Bandwidth Reservation of Periodic Streams in Sensor Networks, International Symposium on Information Processing in Sensor Networks (IPSN 2006), April 2006

  61. T. He, P. Vicaire, T. Yan, L. Luo, L. Gu, G. Zhou, R. Stoleru, Q. Cao, J. Stankovic and T. Abdelzaher, Real-Time Analysis of Tracking Performance in Wireless Sensor Networks, IEEE RTAS, invited for submission to special issue of ACM Transactions on Embedded Computing Systems, April 2006

  62. Y. Wei, S. H. Son and J. Stankovic, RTSTREAM: Real-Time Query Processing for Data Streams, IEEE Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'06), Gyeongju, Korea, April 2006

  63. Q. Cao, T. He, L. Fang, T. Abdelzaher, J. Stankovic and S. H. Son, Efficiency Optimization for Communication over Unreliable Radio in Sensor Networks, IEEE INFOCOM, Barcelona, Spain, April 2006

  64. G. Zhou, C. Huang, T. Yan, T. He, J. Stankovic and T. Abdelzaher, MMSN: Multi-Frequency Media Access Control for Wireless Sensor Networks, IEEE INFOCOM, Barcelona, Spain, April 2006

  65. Z. Lu, Y. Zhang, M. R. Stan, J. Lach and K. Skadron, Procrastinating Voltage Scheduling with Discrete Frequency Sets, ACM/IEEE/EDAA/EDAC 2004 Design, Automation and Test in Europe Conference (DATE), pp. 456-461, March 2006

  66. N. Pual and D. Evans, Comparing Java and .NET security: Lessons Learned and Missed, Science Direct, February 2006

  67. Y. Li, B. Lee, D. Brooks, Z. Hu and K. Skadron, CMP Design Space Exploration Subject to Physical Constraints, International Symposium on High-Performance Computer Architecture (HPCA), February 2006

  68. J. Yang, D. Evans, D. Bhardwaj, T. Bhat and M. Das, Perracotta: Mining Temporal API Rules from Imperfect Traces, International Conference on Software Engineering, February 2006

  69. S. Krishnamurthy, T. He, G. Zhou, J. Stankovic and S. Son, RESTORE: A Real-Time Event Correlation and Storage Service for Sensor Networks, International Conference on Networked Sensing Systems, February 2006

  70. K. Dale, J. Sheaffer, V. V. Kumar, D. Luebke, G. Humphreys and K. Skadron, Applications of Small-Scale Reconfigurability to Graphics Processors, International Workshop on Applied Reconfigurable Computing, February 2006

  71. T. He, S. Krishnamurthy, L. Luo, T. Yan, R. Stoleru, G. Zhou, Q. Cao, P. Vicaire, J. Stankovic, T. Abdelzaher, J. Hui and B. Krogh, VigilNet: An Integrated Sensor Network System for Energy-Efficient Surveillance, ACM Transactions on Sensor Networks, February 2006

  72. G. Virone, A. Wood, L. Selavo, Q. Cao, L. Fang, T. Doan, Z. He, R. Stoleru, S. Lin and J. Stankovic, ALARM-NET: an Assisted Living-Centered and Testbed-Oriented Information System Based on a Residential Wireless Sensor Network, Transdisciplinary Conference on Distributed Diagnosis and Home Healthcare (D2H2), January 2006

  73. L. Luo, T. He, G. Zhou, L. Gu, T. Abdelzaher and J. Stankovic, Achieving Repeatability of Asynchronous Events in Wireless Sensor Networks with EnviroLog, Conference on Computer Communications, January 2006

  74. Q. Cao, T. He, L. Fang, T. Abdelzaher, J. Stankovic and S. Son, Efficiency Centric Communication Model for Wireless Sensor Networks, Conference on Computer Communications, January 2006

  75. R. Stoleru, T. He and J. Stankovic, Range-Free Localization, Sensor Network Handbook Chapter, Springer, January 2006

  76. J. Zhang, T. Yan, J. Stankovic and S. H. Son, Thunder: Towards Practical, Zero Cost Acoustic Localization for Outdoor Wireless Sensor Networks, ACM SIGMOBILE Mobile Computing and Communications Review 2006 (MC2R), Special Issue on Localization Technologies and Algorithms (to appear), January 2006

  77. R. Wang, R. Ng, D. Luebke and G. Humphreys, Efficient Wavelet Rotation for Environment Map Rendering, Eurographics Symposium on Rendering (EGSR'06), January 2006

  78. J. Meng, H. Lin. and J. Shi, High-Resolution Image Viewing on Projection-based Tiled Display Wall, SPIE on Electronic Imaging, January 2006

  79. J. Zhang, T. Yan and S. Son, Deployment Strategies for Differentiated Detection in Wireless Sensor Networks, IEEE International Conference on Sensor Mesh and Ad Hoc Communications and Networks (SECON'06), January 2006

  80. D. Dunbar and G. Humphreys, A Spatial Data Structure for Fast Poisson-Disk Sample Generation, SIGGRAPH, January 2006

  81. D. Katramatos and S. J. Chapin, A Scalable Method for Predicting Network Performance in Heterogeneous Clusters, International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN 2005), December 2005

  82. M. Spiegel, P. F. Reynolds and D. C. Brogan, A Case Study of Model Context for Simulation Composability and Reusability, Winter Simulation Conference, December 2005

  83. G. Zhou, C. Huang, T. Yan, T. He, J. Stankovic and T. Abdelzaher, MMSN: Multi-Frequency Media Access Control for Wireless Sensor Networks, Conference on Computer Communications, December 2005

  84. R. Wang, J. Tran and D. Luebke, All-Frequency Relighting of Glossy Objects, ACM Transactions on Graphics, December 2005

  85. T. He, P. Vicaire, T. Yan, Q. Cao, G. Zhou, L. Gu, L. Luo, R. Stoleru, J. Stankovic and T. Abdelzaher, Achieving Long-Term Surveillance in VigilNet, Conference on Computer Communications, December 2005

  86. C. Huang, G. Zhou, T. Abdelzaher, S. Son and J. Stankovic, Load Balancing in Bounded-Latency Content Distribution, IEEE International Real-Time Systems Symposium, December 2005

  87. G. Zhou, T. He, S. Krishnamurthy and J. Stankovic, Models and Solutions for Radio Irregularity in Wireless Sensor Networks, ACM Transactions on Sensor Networks, December 2005

  88. J. Zhang, Z. Huang and X. Liu, Acoustic Communication in Wireless Sensor Networks, CS651, Wireless Sensor Networks, December 2005

  89. Z. Lu, J. Lach, M. R. Stan and K. Skadron, Temperature-Aware Modeling and Banking of IC Lifetime Reliability, IEEE Micro Special Issue on Reliability-Aware Microarchitectures, December 2005

  90. R. Bartholet, D. Brogan and P. Reynolds, The Computational Complexity of Component Selection in Simulation Reuse, Winter Simulation Conference (WSC), pp. 2472-2481, December 2005

  91. D. Fiedler, K. Walcott, T. Richardson, G. M. Kapfhammer, A. Amer and P. K. Chrysanthis, Towards the Measurement of Tuple Space Performance, ACM SIGMETRICS Performance Evaluation Review, December 2005

  92. Y. Cai and K. J. Sullivan, Simon: Modeling and Analysis of Design Space Structures, IEEE/ACM International Conference on Automated Software Engineering, pp. 329-332, November 2005

  93. J. Feng, L. Cui, G. Wasson and M. Humphrey, Toward Seamless Grid Data Access: Design and Implementation of GridFTP on .NET, Grid Workshop (Associated with Supercomputing 2005), Seattle, WA, pp. 164-171, November 2005

  94. L. Gu, D. Jia, P. Vicaire, T. Yan, L. Luo, A. Tirumala, Q. Cao, T. He, J. Stankovic and T. Abdelzaher, Lightweight Detection and Classification for Wireless Sensor Networks in Realistic Environments, ACM Conference on Embedded Networked Sensor Systems (SenSys'05), pp. 205-217, November 2005

  95. M. Humphrey, G. Wasson, Y. Kiryakov, S-M. Park, D. Del Vecchio, N. Beekwilder and J. Gray, Alternative Software Stacks for OGSA-based Grids, Supercomputing 2005, Seattle, WA, November 2005

  96. R. Stoleru, T. He, J. Stankovic and D. Luebke, A High-Accuracy, Low-Cost Localization System for Wireless Sensor Networks, ACM Conference on Embedded Networked Sensor Systems, November 2005

  97. Q. Cao and J. Stankovic, Dual Face Phased Array Radar Scheduling with Multiple Constraints, EMSOFT, November 2005

  98. D. Katramatos, M. Humphrey, A.S. Grimshaw and A. Chapin, JobQueue: A Computational Grid-wide Queuing System, International Workshop on Grid Computing, pp. 99-110, November 2005

  99. J. Liebeherr and M. Nahas, Marking Algorithms for Service Differentiation of TCP Traffic, Computer Communications, Special Issue on End-to-End Quality of Service Differentiation, 28:2058-2069, November 2005

  100. S. Prabh and T. Abdelzaher, Energy-Conserving Data Cache Placement in Sensor Networks, ACM Transactions on Sensor Networks, November 2005

  101. T. He, C. Huang, B. Blum, J. Stankovic and T. Abdelzaher, Range-free Localization and its Impact on Large Scale Sensor Networks, ACM Transactions on Embedded Computing Systems (TECS), November 2005

  102. R. Stoleru, T. He and J. A. Stankovic, Localization System for Outdoor Wireless Sensor Networks, International conference on Embedded networked sensor systems, November 2005

  103. J. Rowanhill and J. C. Knight, ANDREA: Implementing Survivability in Large Distributed Systems, IEEE Symposium on Reliable Distributed Systems (SRDS 2005), Orlando, FL, October 2005

  104. T. Zhu, R. Wang and D. Luebke, A GPU-Accelerated Render Cache, Pacific Graphics, October 2005

  105. K. Lee, K. Skadron and W. Huang, Analytical Model for Sensor Placement on Microprocessors, IEEE International Conference on Computer Design: VLSI in Computers and Processors, October 2005

  106. L. Bolotnyy and G. Y. Robins, Multi-Tag Radio Frequency Identification Systems, Proc. IEEE Workshop on Automatic Identification Advanced Technologies, pp. 83-88, October 2005

  107. L. Bolotnyy and G. Robins, Randomized Pseudo-Random Function Tree Walking Algorithm for Secure Radio-Frequency Identification, Proc. IEEE Workshop on Automatic Identification Advanced Technologies, pp. 43-48, October 2005

  108. T. He, J. Stankovic, C. Lu and T. Abdelzaher, A Spatiotemporal Communication Protocol for Wireless Sensor Networks, IEEE Transactions on Parallel and Distributed Systems, Vol. 16, No. 10, pp. 995-1006, October 2005

  109. Z. Wu and A. C. Weaver, A Privacy Preserving Enhanced Trust Building Mechanism for Web Services, Conference on Privacy, Security, and Trust (PST'05), New Brunswick, Canada, October 2005

  110. K. Sankaranarayanan, S. Velusamy, M. R. Stan and K. Skadron, A Case for Thermal-Aware Floorplanning at the Microarchitectural Level, Journal on Instruction Level Parallelism, vol. 7, October 2005

  111. E. Strunk, J. C. Knight and M. A. Aiello, Assured Reconfiguration of Fail-Stop Systems, International Conference on Dependable Systems and Networks, Yokohama, Japan, October 2005

  112. L. Gu and J. A. Stankovic, T-kernel: A Naturalizing OS Kernel for Low-power Cost-effective Computers, ACM Symposium on Operating Systems Principles, October 2005

  113. J. Carnahan, P. Reynolds and D. Brogan, Simulation-Specific Characteristics and Software Reuse, Winter Simulation Conference, pp. 2492-2499, September 2005

  114. D. Tarjan and K. Skadron, Merging Path and Gshare Indexing in Perceptron Branch Prediction, ACM Transactions on Architecture and Code Optimization, September 2005

  115. K. Wasson, K. Schimid, R. Lutz and J. Knight, Using Occurrence Properties of Defect Report Data to Improve Requirements, International Requirements Engineering Conference, Paris, France, September 2005

  116. X. Zhu, X. Zheng, M. Veeraraghavan, Z. Li, Q. Song, I. Habib and N. Rao, Implementation of a GMPLS-based Network with End Host Initiated Signaling, IEEE International Conference on Communications, September 2005

  117. E. Strunk, X. Yin and J. C. Knight, Echo: A Practical Approach to Formal Verification, International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005), co-located with the fifth joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'05), Lisbon, Portugal, September 2005

  118. N. Goodnight, R. Wang and G. Humphreys, Computation on Programmable Graphics Hardware, IEEE Computer Graphics and Applications 25(5), September 2005

  119. K. Sullivan, W. G. Griswold, Y. Song, Y. Cai, M. Shonle, N. Tewari and H. Rajan, Information Hiding Interfaces for Aspect-Oriented Design, European Software Engineering Conference Held Jointly with ACM SIGSOFT International Symposium on Foundations of Software Engineering, September 2005

  120. Y. Li, M. Hempstead, P. Mauro, D. Brooks, Z. Hu and K. Skadron, Power and Thermal Effects of SRAM vs. Latch-Mux Design Styles and Clock Gating Choices, International Symposium on Low Power Electronics and Design (ISLPED), August 2005

  121. R. Wang, J. Tran and D. Luebke, All-Frequency Interactive Relighting of Translucent Objects with Single and Multiple Scattering, ACM Transactions on Graphics, August 2005

  122. T. he, L. Luo, T. Yan, L. Gu, Q. Cao, G. Zhou, R. Stoleru, P. Vicaire, Q. Cao, J. Stankovic, S. Son and T. Abdelzaher, An Overview of the VigilNet Architecture, IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, August 2005

  123. N. Sovarel, D. Evans and N. Paul, Where's the FEEB?: The Effectiveness of Instruction Set Randomization, Usenix Security Symposium, Baltimore, MD, August 2005

  124. J.D. Owens, D. Luebke, N. Govindaraju, M. Harris, J. Kruger, A. E. Lefohn and T. Purcell, A Survey of General-Purpose Computation on Graphics Hardware, State of the Art Report (STAR), Eurographics 2005, Dublin, Ireland, August 2005

  125. X. Jin, J. C. French and J. Michel, Toward Consistent Evaluation of Relevance Feedback Approaches in Multimedia Retrieval, International Workshop on Adaptive Multimedia Retrieval, Glasgow, UK, Lecture Notes in Computer Science 3877, pp. 191-206, July 2005

  126. D. Del Vecchio, J. Basney, N. Nagaratnam and M. Humphrey, CredEx: User-Centric Credential Selection and Management for Grid and Web Services, IEEE International Conference on Web Services (ICWS 2005), Orlando, FL, July 2005

  127. J. Wang, D. Del Vecchio and M. Humphrey, Extending the Security Assertion Markup Language to Support Delegation for Web Services and Grid Services, IEEE International Conference on Web Services (ICWS 2005), Orlando, FL, July 2005

  128. M. Co, D. A.B. Weikle and K. Skadron, A Break-Even Formulation for Evaluating Branch Predictor Energy Efficiency, Workshop on Complexity-Effective Design (WCED) and ACM/IEEE International Symposium on Computer Architecture (ISCA), pp. 1-12, July 2005

  129. Z. Wu and A. Weaver, Dynamic Trust Establishment with Privacy Protection for Web Services, IEEE International Conference on Web Services, Orlando, FL, July 2005

  130. D. Vecchio and S. H. Son, Flexible Update Management in Peer-to-Peer Database Systems, International Database Engineering and Applications Symposium (IDEAS'05), Montreal, Canada, July 2005

  131. M. Spiegel, P. Reynolds and D. Brogan, A Case Study of Context Assumptions for Simulation Composability and Reusability, Winter Simulation Conference (WSC), pp. 437-444, July 2005

  132. D. Brogan, P. Reynolds, R. Bartholet, J. Carnahan and Y. Loitiere, Semi-Automated Simulation Transformation for DDDAS, International Conference on Computational Science, pp. 721-728, July 2005

  133. M. Humphrey, G. Wasson, K. Jackson, J. Boverhof, M. Rodriguez, J.Gawor, S. Lang, I. Foster, S. Meder, S. Pickles and M. McKeown, State and Events for Web Services: A Comparison of Five WS-Resource Framework and WS-Notification Implementations, IEEE International Symposium on High Performance Distributed Computing (HPDC-14), pp. 24-27, Research Triangle Park, NC, July 2005

  134. M. Humphrey, J. Basney and J. Jokl, The Case for Using Bridge Certificate Authorities for Grid Computing, Software—Practice and Experience, July 2005

  135. M. Humphrey and G. Wasson, Exploiting WSRF and WSRF.NET for Remote Job Execution in Grid Environments, IEEE International Parallel and Distributed Processing Symposium, July 2005

  136. M. Humphrey and G. Wasson, Architectural foundations of WSRF.NET, International Journal of Web Services Research, July 2005

  137. J. Stankovic, Q. Cao, T. Doan, L. Fang, Z. He, R. Kiran, S. Lin, S. Son, R. Stoleru and A. Wood, Wireless Sensor Networks for In-Home Healthcare: Potential and Challenges, High Confidence Medical Device Software and Systems (HCMDSS) Workshop, Philadelphia, PA, June 2005

  138. P. A. Kulkarni, S. R. Hines, D. B. Whalley, J. D. Hiser, J. W. Davidson and D. L. Jones, Fast and Efficient Searches For Effective Optimization-phase Sequences, ACM Transactions on Architecture and Code Optimization (TACO), June 2005

  139. F. Ciucu, A. Burchard and J. Liebeherr, A Network Service Curve Approach for the Stochastic Analysis of Networks, ACM SIGMETRICS, June 2005

  140. S. Zhou, B. Childers and M. Soffa, Planning for Code Buffer Management in Distributed Virtual Execution Environments, ACM/USENIX Conference on Virtual Execution Environments, June 2005

  141. N. Kumar, B. Childers, D. Williams, J. Davidson and M. Soffa, Compile-Time Planning for Overhead Reduction in Software Dynamic Translation, International Journal of Parallel Programming, Vol. 33, Nos. 2/3, June 2005

  142. A. S. Grimshaw, M. Humphrey, C. Knight, J. Rowanhill, G. Wasson and J. Basney, The Development of Dependable and Survivable Grids, Workshop on Dynamic Data Driven Applications and International Conference on Computational Science, May 2005

  143. J. Martin, J. Basney and M. Humphrey, Extending Existing Campus Trust Relationships to the Grid through the Integration of Pubcookie and MyProxy, 2005 International Conference on Computational Science (ICCS 2005), Emory University, Atlanta, GA, USA, May 2005

  144. Z. Gu and K. G. Skin, Model-checking of Component-based Event-driven Real-time Embedded Software, IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), May 2005

  145. J.V.S. Watson, S-M. Park and M. Humphrey, Toward GT3 and OGSI.NET Interoperability: GRAM Support on OGSI.NET, International Conference on Computational Science (ICCS 2005), May 2005

  146. L. Luo, T. Abdelzaher, T. He and J. Stankovic, Design and Comparison of Lightweight Group Management Strategies in EnviroSuite, The International Conference on Distributed Computing in Sensor Systems, May 2005

  147. A. Tavakoli, J. Zhang and S. Son, Group-Based Event Detection in Undersea Sensor Networks, International Workshop on Networked Sensing Systems, May 2005

  148. Z. Wu and A. C. Weaver, Token-Based Dynamic Trust Establishment for Web Services, ACM Southeast Conference, Vol. 2, pp. 217-222, Atlanta, GA, May 2005

  149. C. Huang, S. Sebastine and T. Abdelzaher, Design, Implementation and Evaluation of a Real-Time Active Content Distribution Service, Journal of Real-time Systems, May 2005

  150. R. Zhang, S. Parekh, Y. Diao, M. Surendra, T. Abdelzaher and J. Stankovic, Control of Weighted Fair Queueing: Modeling, Implementation, and Experiences, IFIP/IEEE International Symposium on Integrated Network Management, Nice, France, May 2005

  151. Y. Cai and K. Sullivan, A Value-Oriented Theory of Modularity in Design, International Conference on Software Engineering, May 2005

  152. K. Lee and K. Skadron, Using Performance Counters for Runtime Temperature Sensing in High-performance Processors, IEEE International Parallel and Distributed Processing Symposium, April 2005

  153. T. He, R. Stoleru and J. Stankovic, Spotlight: Low-Cost Asymmetric Localization System for Networked Sensor Nodes, International Conference on Information Processing in Sensor Networks, April 2005

  154. B. Jiao, S. Son and J. Stankovic, GEM: Generic Event Service Middleware for Wireless Sensor Networks, International Conference on Networked Sensing Systems, April 2005

  155. Q. Cao, T. Abdelzaher, T. He and J. Stankovic, Towards Optimal Sleep Scheduling in Sensor Networks for Rare-Event Detection, International Conference on Information Processing in Sensor Networks, April 2005

  156. P. Dadvar and K. Skadron, Potential Thermal Security Risks, IEEE Semiconductor Thermal Measurement and Management Symposium, March 2005

  157. L. Gu and J. Stankovic, Radio-Triggered Wake-Up Capability for Sensor Networks, Real-Time Systems Journal, special issue of best papers from RTAS, Vol. 29, No. 2-3, pp. 157-182, March 2005

  158. H. Rajan and K. Sullivan, Aspect Language Features for Concern Coverage Profiling, International Conference on Aspect-Oriented Software Development, March 2005

  159. J. W. Haskins and K. Skadron, Accelerated Warmup for Sampled Microarchitecture Simulation, ACM Transactions on Architecture and Compiler Optimization, March 2005

  160. A. S. Grimshaw and A. Natrajan, Legion: Lessons Learned Building a Grid Operating System, Proceedings of the IEEE, Vol. 93, No. 3, pp. 589-603, March 2005

  161. M. Humphrey, M. Thompson and K. R. Jackson, Security for Grids, IEEE (Special Issue on Grid Computing), Vol 93, No. 3, pp. 644-652, March 2005

  162. M. Humphrey and G. Wasson, The University of Virginia Campus Grid: Integrating Grid Technologies with the Campus Information Infrastructure, 2005 European Grid Conference (ECG 2005), Amsterdam, The Netherlands, February 2005

  163. Y. Li, K. Skadron, D. Brooks and Z. Hu, Performance, Energy, and Thermal Considerations for SMT and CMP Architectures, International Symposium on High-Performance Computer Architecture (HPCA-11), February 2005

  164. Y. Li, D. Brooks, Z. Hu and K. Skadron, Performance, Energy and Temperature Considerations for SMT and CMP architecture, International Symposium on High-Performance Computer Architecture (HPCA), February 2005

  165. J. Sheaffer, K. Skadron and D. Luebke, Studying Thermal Management for Graphics-Processor Architectures, 2005 IEEE International Symposium on Performance Analysis of Systems and Software, February 2005

  166. S. Velusamy, W. Huang, J. Lach, M. Stan and K. Skadron, Experiences Using FPGAs for Temperature-Aware Microarchitecture Research, Workshop on Architecture Research using FPGA Platforms (WARFP), February 2005

  167. H. Rajan and K. Sullivan, Classpects: Unifying Aspect and Object-Oriented Language Design, International Conference on Software Engineering, February 2005

  168. Y. Chen, A. B. Kahng, G. Robins, A. Zelikovsky and Y. Zheng, Compressible Area Fill Synthesis, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 24, No. 8, pp. 1169-1187, January 2005

  169. Q. Cao, T. Yan, J. Stankovic and T. Abdelzaher, Analysis of Target Detection Performance for Wireless Sensor Networks, International Conference on Distributed Computing in Sensor Systems, January 2005

  170. A. Dayal, C. Woolley, B. Watson and D. Luebke, Adaptive Frameless Rendering, Eurographics Symposium on Rendering, January 2005

  171. A. Nguyen-Tuong, S. Guarnieri, D. Greene, J. Shirley and D. Evans, Automatically Hardening Web Applications Using Precise Tainting, IFIP International Information Security Conference (SEC), January 2005

  172. J.C. Knight and E. Strunk, Achieving Critical System Survivability through Software Architectures, Architecting Dependable Systems, (R. de Lemos, C. Gacek, and A. Romanovsky Eds), January 2005

  173. J. Basney, M. Humphrey and V. Welch, The MyProxy online credential repository, Software--Practice and Experience, January 2005

  174. A. Aslinger and S. H. Son, Efficient Replication Control in Distributed Real-time Databases, ACS/IEEE International Conference on Computer Systems and Applications, January 2005

  175. Y. Chen and S. H. Son, A Fault Tolerant Topology Control in Wireless Sensor Networks, ACS/IEEE International Conference on Computer Systems and Applications, January 2005

  176. D. Beermann, T. Munzner and G. Humphreys, Scalable, Robust Visualization of Very Large Trees, Eurographics/IEEE Symposium on Visualization, January 2005

  177. T. R. Abdelzaher, S. Prahh and R. Kiran, On Real-time Capacity Limits of Multihop Wireless Sensor Networks, IEEE International Real-Time Systems Symposium, December 2004

  178. N. Paul and D. Evans, .NET Security: Lessons Learned and Missed from Java, Computer Security Applications Conference (ACSAC 2004), Tucson, AZ, December 2004

  179. T. Abdelzaher, T. He and J. Stankovic, Feedback Control of Data Aggregation in Sensor Networks, Conference on Decision and Control, December 2004

  180. A. B. Hocking and W. B. Levy, Computing conditional probabilities in a minimal CA3 pyramidal neuron, Neurocomputing, 65-66, 297-303, December 2004

  181. G. Zhou, T. He, J. Stankovic and T. Abdelzaher, RID: Radio Interference Detection in Wireless Sensor Networks, IEEE Conference on Computer Communications, December 2004

  182. Q. Cao and T. Abdelzaher, A Scalable Logical Coordinates Framework for Routing in Wireless Sensor Networks, IEEE Real-time Systems Symposium, Lisbon, Portugal, December 2004

  183. R. Zhang, S. Parekh, Y. Diao, M. Surendra, T. Abdelzaher and J. Stankovic, Control of Weighted Fair Queueing: Modeling, Implementation and Experiences, IFIP/IEEE IM 2005, also IBM Research Report RC23437 (W0411-156), November 2004

  184. M. Humphrey, G. Wasson, M. Morgan and N. Beekwilder, An Early Evaluation of WSRF and WS-Notification via WSRF.NET, Grid Computing Workshop (Associated with Supercomputing 2004), Pittsburgh, PA, November 2004

  185. T. He, Q. Cao, L. Luo, T. Yan, L. Gu, J. A. Stankovic and T. F. Abdelzaher, Demo Abstract: Electronic Tripwires for Power-Efficient Surveillance and Target Classification, ACM Conference on Embedded Networked Sensor Systems (SenSys'04), pp. 315, November 2004

  186. T. Horvath, T. Abdelzaher, K. Skadron and X. Liu, Dynamic Voltage Scaling in Multi-tier Web Servers with End-to-end Delay Control, IEEE Transactions on Computers, November 2004

  187. J. Yang and D. Evans, Automatically Inferring Temporal Properties for Program Evolution, International Symposium on Software Reliability Engineering (ISSRE'04), pp. 340-351, November 2004

  188. M. Fox, D. Brogan and P. Reynolds, Approximating Component Selection, Winter Simulation Conference, November 2004

  189. J. Carnahan, P. Reynolds and D. Brogan, Visualizing Coercible Simulations, Winter Simulation Conference, November 2004

  190. J. Giordano, P. Reynolds and D. Brogan, Exploring the Constraints of Human Behavior Representation, Winter Simulation Conference, November 2004

  191. R. Stoleru, T. He and J. Stankovic, Walking GPS: A Practical Solution for Localization in Manually Deployed Wireless Sensor Networks, IEEE Workshop on Embedded Networked Sensors (EmNetS-I), November 2004

  192. A. Dutta, N. Kamani, C. M. Taylor, H. K. Kim and G. Robins, The Encode (Encyclopedia of DNA Elements) Project, Science, Vol. 306, No. 5696, pp. 636-640, October 2004

  193. R. Stoleru and J. Stankovic, Probability Grid: A Location Estimation Scheme for Wireless Sensor Networks, IEEE International Conference on Sensor and Ad Hoc Communications and Networks (SECON), October 2004

  194. X. Tang, G. Tao, L. Wang and J. Stankovic, Robust and Adaptive Actuator Failure Compensation Designs for a Rocket Fairing Structural-Acoustic Model, IEEE Transactions on Aerospace and Electronic Systems, Vol. 40, No. 4, pp. 1359-1366, October 2004

  195. L. Hu and D. Evans, Localization for Mobile Sensor Networks, International Conference on Mobile Computing and Networking (MobiCom'04), September 2004

  196. J. Xu, H. Rajan and K. Sullivan, Understanding Aspects via Implicit Invocation, International Conference on Automated Software Engineering, September 2004

  197. J. Stankovic, P. Nagaraddi, Z. Yu, Z. He and B. Ellis, Exploiting Prescriptive Aspects: A Design Time Capability, EMSOFT, September 2004

  198. K .Sullivan, W. G. Griswold, Y. Song, Y. Cai, M. Shonle, N. Tewari and H. Rajan, Information Hiding Interfaces for Aspect Oriented Design, European Software Engineering Conference (ESEC)/Foundations of Software Engineering (FSE), pp. 166-175, September 2004

  199. S. Waziruddin, D. Brogan and P. Reynolds, Coercion through Optimization: A Classification of Optimization Techniques, Fall Simulation Interoperability Workshop, Orlando, FL, September 2004

  200. Chengdu Huang, Seejo Sebastine and Tarek F. Abdelzaher, An Architecture for Real-Time Active Content Distribution, Euromicro Conference on Real-Time Systems (ECRTS 2004), September 2004

  201. J. C. Carnahan, P. F. Reynolds and D. C. Brogan, Language Support for Identifying Flexible Points in Coercible Simulations, Fall Simulation Interoperability Workshop, Orlando, FL, September 2004

  202. R. G. Bartholet, D. C. Brogan, P. F. Reynolds and J. C. Carnahan, In Search of the Philosopher’s Stone: Simulation Composability Versus Component-Based Software Design, Fall Simulation Interoperability Workshop, Orlando, FL, September 2004

  203. R. Bartholet, D. Brogan, P. Reynolds and J. Carnahan, Semantics, Scope, or Scale: Simulation Composability Versus Component-Based Software Design, Fall Simulation Interoperability Workshop, Orlando, FL, September 2004

  204. Y. Wei, A. Aslinger, S. Son and J. Stankovic, ORDER: A Dynamic Replication Algorithm for Periodic Transactions in Distributed Real-Time Databases, International Conference on Real-Time and Embedded Computing Systems and Applications, Gothenbury, Sweden, August 2004

  205. Y. Li, D. Brooks, Z. Hu, K. Skadron and P. Bose, Understanding the Energy Efficiency of Simultaneous Multithreading, Symposium on Low Power Electronics and Design (ISLPED), August 2004

  206. N. Hoobler, G. Humphreys and M. Agrawala, Visualizing Competitive Behaviors in Multi-User Virtual Environments, SIGGRAPH 2004, August 2004

  207. J. Sheaffer, D. Luebke and K. Skadron, A Flexible Simulation Framework for Graphics Architectures, Graphics Hardware, Grenoble, France, August 2004

  208. J. C. Knight, E. Strunk, W. Greenwell and K. Wasson, Specification and Analysis of Data for Safety-Critical Systems, International System Safety Conference, Providence RI, August 2004

  209. W. Greenwell, E. Strunk and J. C. Knight, Failure Analysis and the Safety-Case Lifecycle, IFIP Working Conference on Human Error, Safety and System Development (HESSD) Toulouse, France, August 2004

  210. J.C. French, A. C. Chapin and W. N. Martin, Multiple Viewpoints as an Approach to Digital Library Interfaces, Journal of the American Society for Information Science and Technology, vol. 55, no 10, pp. 911-922, August 2004

  211. J. W. Sheaffer, K. Skadron and D. P. Luebke, Temperature-aware GPU Design, International Conference on Computer Graphics and Interactive Techniques, August 2004

  212. J. Feng and M. Humphrey, Eliminating Replica Selection Using Multiple Replicas to Accelerate Data Transfer on Grids, International Conference on Parallel and Distributed Systems (ICPADS 2004). Newport Beach, CA, July 2004

  213. J. C. French, X. Jin and W. Martin, An Empirical Investigation of the Scalability of a Multiple Viewpoint CBIR System, International Conference of Image and Video Retrieval (CIVR'04), July 2004

  214. Rui Wang, John Tran and David Luebke, All-Frequency Relighting of Non-Diffuse Objects using Separable BRDF Approximation, Eurographics Symposium on Rendering (2004), July 2004

  215. G. Zhou, T. He, S. Krishnamurthy and J. A. Stankovic, Impact of Radio Irregularity on Wireless Sensor Networks, International Conference on Mobile Systems, Applications, and Services (MobiSys2004), July 2004

  216. K. Sullivan, J. Yang, D. Coppit, S. Khurshid and D. Jackson, Software Assurance by Bounded Exhaustive Testing, International Symposium on Software Testing and Analysis (ISSTA 2004), July 2004

  217. J. Yang and D. Evans, Dynamically Inferring Temporal Properties, ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2004), Washington, DC, pp 23-28, July 2004

  218. J. Jokl, J. Basney and M. Humphrey, Experiences using Bridge CAs for Grids, UK Workshop on Grid Security Practice - Oxford, 8th and 9th, July 2004

  219. J. Basney, S. S. Chetan, F. Qin, S. Song, X. Tu and M. Humphrey, An OGSI Credential Manager Service, UK Workshop on Grid Security Practice - Oxford, 8th and 9th, July 2004

  220. J. C. Rowanhill, P. E. Varner and J. C. Knight, Efficient Hierarchic Management for Reconfiguration of Networked Information Systems, International Conference on Dependable Systems and Networks, July 2004

  221. C. Huang, S. Sebastine and T. Abdelzaher, An Architecture for On-Demand Active Web Content Replication, Euromicro Conference on Real-Time Systems, Catania, Italy, July 2004

  222. D. Henriksson, Y. Lu and T. Abdelzaher, Improved Prediction for Web Server Delay Control, Euromicro Conference on Real-Time Systems, Catania, Italy, July 2004

  223. P. Kulkarni, S. Hines, J. Hiser, D. Whalley, J. Davidson and D. Jones, Fast Searches For Effective Optimization Phase Sequences, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'04), July 2004

  224. Y. Wei, S. Son and J. Stankovic, Maintaining Data Freshness in Distributed Real-time Databases, EuroMicro Conference on Real-Time Systems (ECRTS'04), Catania, Sicily, Italy, June 2004

  225. T. Abdelzaher, Y. Lu, R. Zhang and D. Henriksson, Practical Application of Control Theory to Web Services, Invited paper, American Control Conference, Boston, MA, pp 1992-1997, June 2004

  226. E. Strunk, J.C. Knight and M. Anthony Aiello, Distributed Reconfigurable Avionics Architectures, Digital Avionics Systems Conference, Salt Lake City, UT, June 2004

  227. T. He, S. Krishnamurthy, J. A. Stankovic, T. Abdelzaher, L. Luo, R. Stoleru, T. Yan and L. Gu, Energy-Efficient Surveillance System Using Wireless Sensor Networks, International Conference on Mobile Systems, Applications, and Services (MobiSys2004), June 2004

  228. J. D. Hiser and J. W. Davidson, EMBARC: An Efficient Memory Bank Assignment Algorithm For Retargetable Compilers, ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), June 2004

  229. P. Juang, K. Skadron, M. Martonosi, Z. Hu, D. W. Clark and P. W. Diodato, Implementing Branch Predictor Decay Using Quasi-Static Memory Cells, ACM Transactions on Architecture and Code Optimization, June 2004

  230. E. Strunk and J. C. Knight, Assured Reconfiguration of Embedded Real-Time Software, International Conference on Dependable Systems and Networks (DSN 2004) Florence, Italy, June 2004

  231. C. Huang and T. Abdelzaher, Towards Content Distribution Networks with Latency Guarantees, IWQoS, Montreal, Canada, June 2004

  232. T. He, B. Blum, J. Stankovic and T. Abdelzaher, AIDA: Adaptive Application Independent Data Aggregation in Wireless Sensor Networks, special issue of ACM Transactions on Embedded Computing Systems, Vol. 3, No. 2, pp. 426-457, May 2004

  233. L. Gu and J. Stankovic, Radio Triggered Wake-Up Capability for Sensor Networks, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'04), Best Student Paper Award, May 2004

  234. Y. Loitiere, D. Brogan and P. Reynolds, Simulation Coercion Applied to Multiagent DDDAS, International Conference on Computational Science (ICCS), pp. 789-796, May 2004

  235. A.S. Grimshaw, A. Natrajan and A. Humphrey, A philosophical and technical comparison of Legion and Globus, IBM Systems Journal, Vol. 48, no. 2, pp. 233-254, May 2004

  236. Y. Lu, T. Abdelzaher and A. Saxena, Design, Implementation, and Evaluation of Differentiated Caching Services, IEEE Transactions on Parallel and Distributed Systems Vol. 15, No. 5, pp. 440-452, May 2004

  237. G. Wasson, N. Beekwilder, M. Morgan and M. Humphrey, OGSI.NET: OGSI-compliance on the .NET Framework, IEEE/ACM International Symposium on Cluster Computing and the Grid (ccGrid 2004), Chicago, Illinois, April 2004

  238. K. Skadron, K. Sankaranarayanan, S. Velusamy, D. Tarjan, M. Stan and W. Huang, Temperature-Aware Microarchitecture: Modeling and Implementation, ACM Transactions on Architecture and Code Optimization (TACO), April 2004

  239. A. Tavakoli, D. Chu and P. Reynolds, Richer Semantic Representations of Simulations Using DAML/OWL, Spring Simulation Interoperability Workshop, March 2004

  240. J. Xu, H. Rajan and K. Sullivan, Aspect Reasoning by Reduction to Implicit Invocation, Workshop on Foundations of Aspect-Oriented Languages (FOAL), March 2004

  241. R. Zhang, T. F. Abdelzaher and J. A. Stankovic, Efficient TCP Connection Failover in Web Server Clusters, IEEE Computer and Communications Societies, March 2004

  242. T. Abdelzaher, B. Blum, Q. Cao, Y. Chen, D. Evans, J. George, L. Gu S. George, T. He, S. Krishnamurthy, L. Luo, S. Son, J. Stankovic, R. Stoleru and A. Wood, EnviroTrack: Towards an Environmental Computing Paradigm for Distributed Sensor Networks, IEEE International Conference on Distributed Computing Systems (ICDCS), Tokyo, Japan, March 2004

  243. T. Abdelzaher, V. Sharma and C. Lu, A Utilization Bound for Aperiodic Tasks and Priority Driven Scheduling, IEEE Transactions on Computers, Vol. 53, No. 3, March 2004

  244. M. Humphrey and G. Wasson, WS-ResourceFramework on.NET, IEEE International Symposium on High Performance Distributed Computing, March 2004

  245. Y. Li, D. Parikh, Y. Zhang, K. Sankaranarayanan, M. Stan and K. Skadron, Comparison of State-Preserving vs. Non-State-Preserving Leakage Control in Caches, Conference of Design, Automation and Test in Europe (DATE), February 2004

  246. L. Hu and D. Evans, Using Directional Antennas to Prevent Wormhole Attacks, Network and Distributed System Security Symposium, February 2004

  247. D. Parikh, Y. Zhang, K. Skadron and M. R. Stan, Power-Aware Branch Prediction: Characterization and Design, IEEE Transactions on Computers, February 2004

  248. K. R. Hirst, Jr J. W. Haskins and K. Skadron, dMT: Inexpensive Throughput Enhancement in Small-Scale Embedded Microprocessors with Differential Multithreading, IEEE Computers and Digital Techniques, Vol. 151, pp. 43-50, January 2004

  249. D. Chu, C.Song, B. Zhang and M. Humphrey, UVa Bus.NET: Enhancing User Experiences on Smart Devices through Context-Aware Computing, IEEE Consumer Communications and Networking Conference. Caesar's Palace, Las Vegas, Nevada USA, January 2004

  250. T. Abdelzaher, J. Stankovic, S. Son, B. Blum, T. He, A. Wood and C. Lu, Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks, Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems, CRC Press, January 2004

  251. W. Huang, M. R. Stan, K. Skadron, K. Sankaranarayanan, S. Ghosh and S. Velusamy, Compact Thermal Modeling for Temperature-Aware Design, Design Automation Conference, January 2004

  252. K. Sankaranarayanan and K. Skadron, Profile-Based Adaptation for Cache Decay, ACM Transactions on Architecture and Code Optimization (TACO), January 2004

  253. D. Evans and N. Paul, Election Security: Perception and Reality, IEEE Security and Privacy, January 2004

  254. J. Hu and A. C. Weaver, Dynamic, Context-Aware Access Control for Distributed Healthcare Applications, Workshop on Pervasive Security, Privacy, and Trust (PSPT'04), Boston, MA, January 2004

  255. A. Natrajan, M. Crowley, N. WilkinsDiehr, M. Humphrey, A. D. Fox, A. Grimshaw and C. L. Brooks III, Studying Protein Folding on the Grid: Experiences using CHARMM on NPACI Resources under Legion, Grid Computing Environments 2004, Concurrency and Computation: Practice and Experience, vol. 16, no. 4, pp. 386-397, January 2004

  256. W. Si and C. Li, RMAC: a Reliable Multicast MAC Protocol for Wireless ad Hoc Networks, International Conference on Parallel Processing, January 2004

  257. P. F. Reynolds, C. Milner and T. Highley, Scalable Personalized Learning, Frontiers in Education, January 2004

  258. T. B. Horton, R. E. Anderson and C. W. Milner, Work in Progress-reexamining Closed Laboratories in Computer Science Courses, Frontiers in Education, January 2004

  259. K. Skadron, M. R. Stan, W. Huang, K. Sankaranarayanan, Z. Lu and J. Lach, A Computer-architecture Approach to Thermal Management in Computer Systems: Opportunities and Challenges, International Conference on Thermal and Mechanical Simulation and Experiments in Microelectronics and Microsystems (EuroSimE 2004), January 2004

  260. T. Abdelzaher, G. Thaker and P. Larideri, A Feasible Region for Meeting Aperiodic End-to-end Deadlines in Resource Pipelines, International Conference on Distributed Computing Systems, January 2004

  261. Y. Wei, S. Son, J. Stankovic and K. Kang, QoS Management in Replicated Real-time Databases, IEEE Real-Time Systems Symposium (RTSS 2003), Cancun, Mexico, December 2003

  262. F. Ciucu, B. Mark and R. Simon, On Multiplexing Gain for Networks with Deterministic Delay Guarantees, Global Telecommunications Conference, December 2003

  263. A. Wood, J. Stankovic and S. Son, JAM: A Jammed-Area Mapping Service for Sensor Networks, Real-Time Systems Symposium (RTSS), Cancun, Mexico, December 2003

  264. M. Stan, K. Skadron, M. Barcella, W. Huang, K. Sankaranarayanan and S. Velusamy, HotSpot: A Dynamic Compact Thermal Model at the Processor-Architecture Level, Elsevier Microelectronics Journal of Circuits and Systems, December 2003

  265. V. Sharma, A. Thomas, T. Abdelzaher, K. Skadron and Z. Lu, Power-aware QoS Management in Web Servers, Real-Time Systems Symposium, Cancun, Mexico, December 2003

  266. K. Skadron, M. Stan, W. Huang, S. Velusamy, K. Sankaranarayanan and D. Tarjan, Temperature-Aware Computer Systems: Opportunities and Challenges, IEEE Micro, November 2003

  267. X. Jin and J. C. French, Improving Image Retrieval Effectiveness via Multiple Queries, ACM International Workshop on Multimedia Databases, pp. 86-93, November 2003

  268. T. Yang, T. He and J. Stankovic, Differentiated Surveillance for Sensor Networks, ACM Conference on Embedded Networked Sensor Systems (SenSys 2003), November 2003

  269. N. Williams, C. Hantak, K. Low, J. Thomas, K. Keller, L. Nyland, D. Luebke and A. Lastra, Monticello Through the Window, International Symposium on Virtual Reality, Archaeology and Intelligent Cultural Heritage (VAST 2003), Brighton, UK, November 2003

  270. W. Greenwell, J.C. Knight and E. Strunk, Risk-Based Classification of Incidents, IRIA 03 Workshop on Investigation and Reporting of Incidents and Accidents, Williamsburg, VA, November 2003

  271. S.Krishnamurthy, W. H. Sanders and M. Cukier, An Adaptive Quality of Service Aware Middleware for Replicated Services, IEEE Transactions on Parallel and Distributed Systems, November 2003

  272. S. George, D. Evans and S. Marchette, A Biological Programming Model for Self-Healing, ACM Workshop on Survivable and Self-Regenerative Systems (SSRS), Fairfax, VA, October 2003

  273. Q. Sun and J. Tang, A New Contrast Measure Based Image Enhancement Algorithm in the DCT Domain, IEEE International Conference on Systems, Man and Cybernetics, October 2003

  274. R. Wang and D. Luebke, Efficient Reconstruction and Texture Mapping of Indoor Scenes, International Conference on 3-D Imaging and Modeling (3DIM 2003), October 2003

  275. C. S. Helvig, G. Robins and A. Zelikovsky, The Moving-Target Traveling Salesman Problem, Journal of Algorithms, Vol. 49, No. 1, pp. 153-174. Final journal submission version, October 2003

  276. G. Wasson, P. Sheth, M. Alwan, K. Granata, A. Ledoux and C. Huang, User Intent in a Shared Control Framework for Pedestrian Mobility Aids, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003), October 2003

  277. A. L. Powell and J. C. French, Comparing the Performance of Collection Selection Algorithms, ACM Transactions on Information Systems (TOIS), October 2003

  278. J. Lach, D. Evans, J. McCune, J. Brandon and L. Hu, Power-Efficient Adaptable Wireless Sensor Networks, Military and Aerospace Programmable Logic Devices (MAPLD) International Conference, Washington, DC, September 2003

  279. T. He, C. Huang, B. Blum, J. Stankovic and T. Abdelzaher, Range-Free Localization Schemes for Large Scale Sensor Networks, Mobicom, September 2003

  280. S. Waziruddin, D. Brogan and P. Reynolds, The Process for Coercing Simulations, Fall Simulation Interoperability Workshop, Orlando, FL, September 2003

  281. K. Wasson, J. C. Knight, E. Strunk and S. Travis, Tools Supporting the Communication of Critical Application Domain Knowledge in High Consequence Systems Development, International Conference on Computer Safety, Reliability and Security, Edinburgh, Scotland, September 2003

  282. J. Liebeherr, J. Wang and G. Zhang, Programming Overlay Networks with Overlay Sockets, COST 264 International Workshop on Networked Group Communications (NGC 2003), pp. 242???53, Munich, Germany, September 2003

  283. H. Rajan and K. Sullivan, Eos: Instance-level Aspects for Integrated System Design, ACM SIGSOFT International Symposium on Foundations of Software Engineering, September 2003

  284. A.C. Weaver, S.J. Dwyer III, A.M. Snyder, J. Van Dyke, James Hu, Xiaohui Chen, Timothy Mulholland and Andrew Marshall, Federated, Secure Trust Networks for Distributed Healthcare IT Services, IEEE International Conference on Industrial Informatics, Banff, Alberta, Canada, August 2003

  285. A.M. Snyder and A.C. Weaver, The e-Logistics of Securing Distributed Medical Data, IEEE International Conference on Industrial Informatics, Banff, Alberta, Canada, August 2003

  286. K. Skadron, M. Martonosi, D. August, M. D. Hill, D. J. Lilja and V. S. Pai, Challenges and Recommendations for Computer Architecture Evaluation, IEEE Computer, August 2003

  287. J. Carnahan, P. Reynolds and D. Brogan, An Experiment in Simulation Coercion, Interservice / Industry Training, Simulation, and Education Conference (I/ITSEC), August 2003

  288. K. Hanks and J. C. Knight, Improving Communication of Critical Domain Knowledge in High-Consequence Software Development: An Empirical Study, International System Safety Conference, Ottawa, Canada, August 2003

  289. K. Skadron, M. Martonosi, D. I. August, M. D. Hill, D. J. Lilja and V. S. Pai, Challenges in Computer Architecture Evaluation, Computer, August 2003

  290. J. C. French, J. V. S. Watson, X. Jin and W. Martin, An Exogenous Approach for Adding Multiple Image Representations to Content-Based Image Retrieval Systems, International Symposium on Signal Processing and its Applications (ISSPA03), pp. 201-204, Paris, France, July 2003

  291. S. Li, Y. Lin, S. Son, J. Stankovic and Y. Wei, Event Detection Services Using Data Service Middleware in Distributed Sensor Networks, Journal of Telecommunication Systems, special issue on Wireless Sensor Networks, July 2003

  292. N. Goodnight, C. Woolley, G. Lewin, D. Luebke and G. Humphreys, A Multigrid Solver for Boundary Value Problems Using Programmable Graphics Hardware, Graphics Hardware, San Diego, CA, July 2003

  293. J. Cohen, D. Luebke, N. Duca and B. Schubert, GLOD: A Driver-Level Interface for Geometric Level of Detail, SIGGRAPH 2003 Technical Sketch, July 2003

  294. E. Strunk and J.C. Knight, Functionality/Dependability Co-design in Real-Time Embedded Software, Workshop on Co-design for Embedded Real-time Systems (CERTS'03), Co-located with the Euromicro International Conference on Real-Time Systems, July 2003

  295. J. A. Stankovic, T. E. Abdelzaher, C. Lu, L. Sha and J. C. Hou, Real-time Communication and Coordination in Embedded Sensor Networks, Proceedings of the IEEE, July 2003

  296. T. Abdelzaher and V. Sharma, A Synthetic Utilization Bound for Aperiodic Tasks with Resource Requirements, Euromicro Conference on Real-Time Systems, Porto, Portugal, July 2003

  297. G. Wasson and M. Humphrey, Toward Explicit Policy Management for Virtual Organizations, IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), June 2003

  298. J.C. French, A. C. Chapin and W. N. Martin, Multiple Viewpoints: A Strategy for Searching Multimedia Content, Workshop on Multimedia Content in Digital Libraries, China, Crete, Greece, June 2003

  299. T. Abdelzaher, J. Stankovic, C. Lu, R. Zhang and Y. Lu, Feedback Performance Control in Software Systems, IEEE Control Systems Magazine, June 2003

  300. N. Goodnight, R. Wang, C. Woolley and G. Humphreys, Interactive Time-Dependent Tone Mapping Using Programmable Graphics Hardware, Eurographics Symposium on Rendering, June 2003

  301. K. Skadron, M. Stan, W. Huang, S. Velusamy, K. Sankaranarayanan and D. Tarjan, Temperature Aware Microarchitecture, International Symposium on Computer Architecture, June 2003

  302. J. Rowanhill and J.C. Knight, Selective Notification: Combining Forms of Decoupled Addressing for Internet-Scale Command and Alert Dissemination, Technical Report CS-2003-14, June 2003

  303. Y. Lu, T. Abdelzaher and G. Tao, Direct Adaptive Control of a Web Cache System, American Control Conference Denver, CO, pp 1625-1630, June 2003

  304. T. F. Abdelzaher, J. A. Stankovic, C. Lu, R. Zhang and Y. Lu, Feedback Performance Control in Software Services, IEEE Control Systems Magazine, June 2003

  305. J.C. French, A. C. Chapin and W. N. Martin, An Application of Multiple Viewpoints to Content-Based Image Retrieval, Joint Conference on Digital Libraries (JCDL 2003), Houston, TX, pp. 128-130, May 2003

  306. J.C. French, J. V. S. Watson, X. Jin and W. N. Martin, Integrating Multiple Multi-Channel CBIR Systems, Proc. International Workshop on Multimedia Information Systems (MIS 2003), Ischia, Italy, May 2003

  307. T. F. Abdelzaher, K. G. Shin and N. Bhatti, User-level QoS-adaptive Resource Management in Server End-systems, IEEE Transactions on Computers, May 2003

  308. J. Stankovic, R. Zhu, R. Poornalingam, C. Lu, Z. Yu, M. Humphrey and B. Ellis, VEST: An Aspect-Based Composition Tool for Real-Time Systems, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'03), May 2003

  309. R. Zhang, T. Abdelzaher and J. Stankovic, Kernel Support for Open QoS-Aware Computing, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'03), May 2003

  310. B. Blum, P. Nagaraddi, A. Wood, T. Abdelzaher, S. Son and J. Stankovic, An Entity Maintenance and Connection Service for Sensor Networks, International Conference on Mobile Systems, Applications, and Services (MobiSys), San Francisco, CA, May 2003

  311. T. Abdelzaher, J. Stankovic, S. Son, B. Blum, T. He, A. Wood and C. Lu, A Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks, International Workshop on Data Distribution in Real-Time Systems (DDRTS at ICDCS), Providence, RI, May 2003

  312. T. He, J. Stankovic, C. Lu and T. Abdelzaher, SPEED: A Stateless Protocol for Real-Time Communication in Sensor Networks, International Conference on Distributed Computing Systems (ICDCS'03), May 2003

  313. J. Winstead and D. Evans, Towards Differential Program Analysis, Workshop on Dynamic Analysis, May 2003

  314. Y. Lu, T. Abdelzaher, C. Lu, L. Sha and X. Liu, Feedback Control with Queueing-Theoretic Prediction for Relative Delay Guarantees in Web Servers, Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2003

  315. Y. Lu, G. Tao and T. Abdelzaher, LDU Parametrized Discrete Time Multivariable MRAC and Application to a Web Cache System, IEEE Conference on Decision and Control, May 2003

  316. D. Coppit and K. Sullivan, Technical Papers: Software Design: Sound Methods and Effective Tools for Engineering Modeling and Analysis, International Conference on Software Engineering (ICSE '03), May 2003

  317. J. C. Knight, J. Hill, P. Varner, A. L. Wolf, D. Heimbigner and P. Devanbu, Willow System Demonstration, DARPA Information Survivability Conference and Exposition, April 2003

  318. N. Paul, D. Evans, A. Rubin and D. Wallach, Authentication for Remote Voting, Workshop on Human-Computer Interaction and Security Systems, April 2003

  319. K. D. Kang, S. Son and J. Stankovic, Differentiated Real-Time Data Services for E-Commerce Applications, Electronic Commerce Research, Kluwer, April 2003

  320. Z. Lu, J. Lach, M.R. Stan and K. Skadron, Alloyed Branch History: Combining Global and Local Branch History for Robust Performance, International Journal on Parallel Programming, Kluwer, April 2003

  321. N. Williams, D. Luebke, J. Cohen, M. Kelley and B. Schubert, Perceptually Guided Simplification of Lit, Textured Meshes, 2003 Symposium on Interactive 3D Graphics, Monterey, CA, April 2003

  322. J. C. Woolley, A. Dayal, B. Watson and D. Luebke, Interruptible Rendering, 2003 Symposium on Interactive 3D Graphics, Monterey, CA, April 2003

  323. W. Greenwell and J.C. Knight, What Should Aviation Safety Incidents Teach Us?, Technical Report CS-2003-12, University of Virginia, Department of Computer Science, April 2003

  324. J. C. Knight, E. Strunk and K. J. Sullivan, Towards a Rigorous Definition of Information System Survivability, DISCEX, Washington, DC, April 2003

  325. D. Larochelle, K. Scheidt, K. Sullivan, Y. Wei, J. Winstead and A. Wood, Join Point Encapsulation, Workshop on Software-engineering Properties of Languages for Aspect Technologies (SPLAT) at AOSD 2003, Boston, MA, March 2003

  326. K. Scott, N. Kumar, S. Velusamy, B. Childers, J. Davidson and M. Soffa, Retargetable and Reconfigurable Software Dynamic Translation, International Symposium on Code Generation and Optimization, March 2003

  327. A.S. Grimshaw, S. Natrajan, M. Humphrey, M.J. Lewis, A. Nguyen-Toung, J.F. Karpovich, M. Morgan and A.J. Ferrari, From Legion to Avaki: The Persistence of Vision, In Grid Computing: Making the Global Infrastructure a Reality, March 2003

  328. L. Hu and D. Evans, Secure Aggregation for Wireless Networks, Workshop on Security and Assurance in Ad hoc Networks, January 2003

  329. J. Lewis, J. Ferrari, A. Humphrey, F. Karpovich, M. Morgan, S. Wasson and A.S. Grimshaw, Support for Extensibility and Site Autonomy in the Legion Grid System Object Model, Journal of Parallel and Distributed Computing, Volume 63, pp. 525-38, January 2003

  330. R. Wang and D. Luebke, Efficient Reconstruction of Indoor Scenes with Color, International Conference on 3-D Digital Imaging and Modeling (3DIM 2003), January 2003

  331. D. T. Drewry, P. F. Reynolds and W. R. Emanuel, An Optimization-based Multi-resolution Simulation Methodology, Winter Simulation Conference, December 2002

  332. K. Scott and J. Davidson, Safe Virtual Execution Using Software Dynamic Translation, Computer Security Applications Conference, December 2002

  333. H. Huang, X. Wu and R. Relue, Association Analysis with One Scan of Databases, IEEE International Conference on Data Mining (ICDM '02) Maebashi TERRSA, Maebashi City, Japan, pp. 629-632, December 2002

  334. K. Kang, S. H. Son and J. Stankovic, STAR: Secure Real-Time Transaction Processing with Timeliness Guarantees, IEEE Real-Time Systems Symposium (RTSS'02), Austin, TX, December 2002

  335. L. Sha, X. Liu, Y. Lu and T. Abdelzaher, Queuing Model Based Network Server Performance Control, Real-Time Systems Symposium, Austin, TX, December 2002

  336. C. Li and E. W. Knightly, Coordinated Multihop Scheduling: a Framework for End-to-end Services, IEEE/ACM Transactions on Networking, December 2002

  337. A. Weaver and S. Talbert, Real-Time Event Channel Performance on a Submarine Communications Network, IECON'02, Seville, Spain, November 2002

  338. S. George, D. Evans and L. Davidson, A Biologically Inspired Programming Model for Self-Healing Systems, Workshop on Self-Healing Systems (WOSS'02), Charleston, SC, pp 102-104, November 2002

  339. J.C. Knight and S.M. Parikh, Simulation technology for free flight system performance and survivability analysis, Digital Avionics Systems Conference, Irvine, CA, November 2002

  340. A. Wood and J. Stankovic, Denial of Service in Sensor Networks, IEEE Computer, October 2002

  341. and K. Skadron et. al, HotSpot: Techniques for Modeling Thermal Effects at Processor Architecture Level, International Workshop on Thermal Investigation of ICs (THERMINIC), October 2002

  342. J.C. French, A. L. Powell, F. Gey and N. Perelman, Exploiting Manual Indexing to Improve Collection Selection and Retrieval Effectiveness, Information Retrieval, vol. 5, no. 4, pp. 323-351, October 2002

  343. J. Liebeherr, M. Nahas and W. Si, Application-layer Multicasting with Delaunay Triangulation Cverlays, IEEE Journal on Selected Areas in Communications, October 2002

  344. C. Lu, B. Blum, T. Abdelzaher, J. Stankovic and T. He, RAP: A Real-Time Communication Architecture for Large-Scale Wireless Sensor Networks, Real-Time and Embedded Technology and Applications Symposium (RTAS), September 2002

  345. P. Juang, P. Diodato, S. Kaxiras, K. Skadron, Z. Hu, M. Martonosi and D. W. Clark, Implementing Decay Techniques using Quasi-Static Memory Cells, Computer Architecture Letters, (www.comp-arch-letters.org), IEEE Computer Society Technical Committee on Computer Architecture, vol. 1, September 2002

  346. J. Liebeherr and N. Christin, Rate Allocation and Buffer Management for Differentiated Services, Computer Networks, Special Issue on the New Internet Architecture, September 2002

  347. T. Abdelzaher, B. Andersson, J. Jonsson, V. Sharma and M. Nguyen, The Aperiodic Multiprocessor Utilization Bound for Liquid Tasks, Real-Time Technology and Applications Symposium, San Jose, CA, September 2002

  348. J. C. French, M. N. Martin and J. V. S. Watson, A Qualitative Examination of Content-based Image Retrieval Behavior using Systematically Modified Test Images, Midwest Symposium on Circuits and Systems (MWSCAS 2002), August 2002

  349. N. Christin and J. Liebeherr, A Scalable Service Architecture Providing Strong Service Guarantees, SPIE ITCOM Workshop on Scalability and Traffic Control in IP networks II, pp. 31???2, Boston, August 2002

  350. M. Humphrey, S. Arnold and G. Wasson, Location-Transparent Naming in Grid Computing using Legion-G, IEEE International Symposium on High Performance Distributed Computing (HPDC-11), Edinburgh, Scotland, July 2002

  351. D. Brogan and Y. Loitiere, Data-Driven Generation of Simulated Soccer Behaviors, International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 1391-1392, July 2002

  352. C. Lu, J. Stankovic, G. Tao and S. Son, Feedback Control Real-Time Scheduling: Framework, Modeling and Algorithms, Special issue of Real-Time Systems Journal on Control-Theoretic Approaches to Real-Time Computing, July 2002

  353. R. Zhang, C. Lu, T. Abdelzaher and J. Stankovic, ControlWare: A Middleware Architecture for Feedback Control of Software Performance, International Conference on Distributed Computing Systems (ICDCS), July 2002

  354. F. Ciucu, B. Mark and R. Simon, The Partially Stopped Leaky Bucket: An Efficient Traffic Regulator with Constant Time Implementation, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, July 2002

  355. A. Dayal, B. Watson and D. Luebke, Improving Frameless Rendering by Focusing on Change, SIGGRAPH 2002 Technical Sketch, July 2002

  356. K. Hanks, J.C. Knight and C. Michael Holloway, The Role of Natural Language in Accident Investigation and Reporting Guidelines, 2002 Workshop on the Investigation and Reporting of Incidents and Accidents, Glasgow, Scotland, July 2002

  357. Z. Lu, J. Hein, M. Stan, J. Lach and K. Skadron, Control-Theoretic Dynamic Frequency and Voltage Scaling, Workshop on Self-healing, Adaptive, and Self-managed Systems (SHAMAN'02), in conjunction with ICS 2002, NY, June 2002

  358. K. Kang, S. H. Son, J. Stankovic and T. Abdelzaher, QoS Management in Web-based Real-Time Data Services, Euromicro Conference on Real-Time Systems, Vienna, Austria, June 2002

  359. K. D. Kang, S. H. Son, J. Stankovic and T. Abdelzaher, A QoS-Sensitive Approach for Timeliness and Freshness Guarantees in Real-Time Databases, Euromicro Conference on Real-Time Systems (ECRTS-02), June 2002

  360. K. Browne, J. McCune, A. Trost, D. Evans and D. Brogan, Behavior Combination and Swarm Programming, RoboCup International Symposium 2001, Lecture Notes in Artificial Intelligence, Springer-Verlag, pp. 499-502, June 2002

  361. K. Hanks and J.C. Knight, In Search of Best Practices for the Use of Natural Language in the Development of High-Consequence Systems, International Conference of Dependable Systems and Networks, Bethesda, MD, June 2002

  362. N. Christin, J. Liebeherr and T. Abdelzaher, A Quantitative Assured Forwarding Service, IEEE INFOCOM, pp. 864???73, NY, June 2002

  363. C. W. Milner and J. W. Davidson, Quick Piping: A Fast, High-level Model For Describing Processor Pipelines, Joint Conference on Languages, Compilers and Tools for Embedded Systems: Software and Compilers for Embedded Systems (LCTES/SCOPES'02), June 2002

  364. W. Zhao, B. Cai, D. Whalley, M. W. Bailey, R. Engelen, X. Yuan, J. D. Hiser, J. W. Davidson, K. Gallivan and D. L. Jones, VISTA: A System for Interactive Code Improvement, Joint Conference on Languages, Compilers and Tools for Embedded Systems: Software and Compilers for Embedded Systems (LCTES/SCOPES'02), June 2002

  365. S. Velusamy, K. Sankaranarayanan, D. Parikh, T. Abdelzaher and K. Skadron, Adaptive Cache Decay using Formal Feedback Control, Workshop on Memory Performance Issues, May 2002

  366. Y. Lu, T. Abdelzaher, C. Lu and G. Tao, An Adaptive Control Framework for QoS Guarantees and its Application to Differentiated Caching Services, IWQoS, Miami Beach, FL, May 2002

  367. B. Clarke and M. Humphrey, Beyond the Device as Portal: Meeting the Requirements of Wireless and Mobile Devices in the Legion Grid Computing System, International Workshop on Parallel and Distributed Computing Issues in Wireless Networks and Mobile Computing (associated with IPDPS 2002), Ft. Lauderdale, April 2002

  368. Y. Lepouchard, R. Orlandic and J. L. Pfaltz, Performance of KDB-trees with Query-based Splitting, International Conference on Information Technology: Coding and Computing, April 2002

  369. K. Sullivan, L. Gu and Y. Cai, Non-modularity in Aspect-Oriented Languages: Integration as a Crosscutting Concern for AspectJ, International Conference on Aspect-Oriented Software Development (AOSD'02), pp. 19-27, April 2002

  370. E. Raman, K. Sankaranarayanan, L. Chakrapani and R. Parthasarathi, A Scalable Reconfigurable Architecture For Divisibility Testing Of Variable Long Precision Numbers, IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), April 2002

  371. K. Kang, S. H. Son and J. Stankovic, Service Differentiation in Real-Time Main Memory Databases, IEEE Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'02), Washington, DC, April 2002

  372. J. C. Knight, D. Heimbigner, A. Wolf, A. Carzaniga, J. Hill, P. Devanbu and M. Gertz, The Willow Architecture: Comprehensive Survivability for Large-Scale Distributed Applications, Intrusion Tolerance Workshop, DSN-2002 The International Conference on Dependable Systems and Networks, WA, April 2002

  373. J. Wang, S. Patek, H. Wang and J. Liebeherr, Traffic Engineering with AIMD in MPLS Networks, International Workshop on Protocols For High-Speed Networks, (PfHSN'2002), Berlin, Germany, Springer Verlag, LNCS 2334, pp. 192???10, April 2002

  374. K. Skadron, T. Abdelzaher and M. R. Stan, Control-theoretic Techniques and Thermal-RC Modeling for Accurate and Localized Dynamic Thermal Management, International Symposium on High-Performance Computer Architecture, February 2002

  375. D. Parikh, K. Skadron, Y. Zhang, M. Barcella and M. R. Stan, Power Issues Related to Branch Prediction, International Symposium on High-Performance Computer Architecture, February 2002

  376. David Evans and David Larochelle, Improving Security Using Extensible Lightweight Static Analysis, IEEE Software, January 2002

  377. D. Brogan and Y. Loitiere, Building Multiagent Behaviors from Observation, Workshop on Intelligent Human Augmentation and Virtual Environments, January 2002

  378. A. Natrajan, M. Humphrey and A.S. Grimshaw, The Legion support for advanced parameter-space studies on a grid, Future Generation Computing Systems, January 2002

  379. G. A. Monroe, J. C. French and A. L. Powell, Obtaining Language Models of Web Collections Using Query-Based Sampling Techniques, Hawaii International Conference on System Sciences: Data Mining and Information Retrieval, January 2002

  380. T. F. Abdelzaher, K. G. Skin and N. Bhatti, Performance Guarantees for Web Server End-systems: a Control-theoretical Approach, IEEE Transactions on Parallel and Distributed Systems, January 2002

  381. A. K. Jones and Y. Lin, Application Intrusion Detection using Language Library Calls, Computer Security Applications Conference (ACSAC 2001), December 2001

  382. A. C. Weaver and J. Van Dyke, Multicast Distribution and Control for Streaming Multimedia, Industrial Electronics Society (IECON'01), December 2001

  383. J. Stankovic, T. He, T. Abdelzaher, M. Marley, G. Tao and S. H. Son, Feedback Control Scheduling in Distributed Real-Time Systems, IEEE Real-Time Systems Symposium (RTSS'01), London, England, December 2001

  384. K. Hanks, J. C. Knight and E. Strunk, Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction, Software Engineering Workshop, NASA Goddard Space Flight Center, December 2001

  385. J. C. Knight and M. C. Elder, Fault Tolerant Distributed Information Systems, International Symposium on Software Reliability Engineering, Hong Kong, China, November 2001

  386. J. Liebeherr and M. Nahas, Application-layer Multicast with Delaunay Triangulations, IEEE Global Telecommunications Conference (GLOBECOM'01), November 2001

  387. B. White, M. Walker and M. Humphrey, LegionFS: A Secure and Scalable File System Supporting Cross-Domain High-Performance Applications, Supercomputing, ACM/IEEE 2001 Conference, Denver, CO, November 2001

  388. John C. Knight, Kimberly S. Hanks and Sean R. Travis, Tool Support for Production Use of Formal Techniques, International Symposium on Software Reliability Engineering, Hong Kong, November 2001

  389. M. Co and K. Skadron, The Effects of Context Switching on Branch Predictor Performance, IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), November 2001

  390. S. Sebastine, K. Kang, T. Abdelzaher and S. H. Son, A Scalable Web-based Real-Time Information Distribution Service for Industrial Applications, IEEE Industrial Electronics Society Conference, Denver, Colorado, November 2001

  391. K. Hanks, J.C. Knight and E. Strunk, A Linguistic Analysis of Requirements Errors and Its Application, University of Virginia, Department of Computer Science, Technical ReportCS-2001-30, November 2001

  392. J.C. French, A. L. Powell, F. Gey and N. Perelman, Exploiting A Controlled Vocabulary to Improve Collection Selection and Retrieval Effectiveness, International Conference on Information and Knowledge Management (CIKM 2001), pp. 199-206, November 2001

  393. S. D. Patek, R. Venkateswarm and J. Liebeherr, Simple Alternate Routing for Differentiated Services Networks, Computer Networks, November 2001

  394. J. Winstead and D. Evans, Structured Exception Semantics for Concurrent Loops, Workshop on Parallel/High-Performance Object-Oriented Scientific Computing, Tampa Bay, October 2001

  395. J. P. Gunderson and W. N. Martin, Applications of Data Mining to Sub-plan Selection in Automated Planning Systems, IEEE International Conference on Systems, Man, and Cybernetics, October 2001

  396. J. W. Haskins and K. Skadron, Minimal Subset Evaluation: Rapid Warm-up for Simulated Hardware State, International Conference on Computer Design (ICCD 2001), September 2001

  397. K. J. Sullivan, W. G. Griswold, Y. Cai and B. Hallen, The Structure and Value of Modularity in Software Design, European Software Engineering Conference (ESEC)/Foundations of Software Engineering (FSE), pp. 99-108, September 2001

  398. D. Larochelle and D. Evans, Statically Detecting Likely Buffer Overflow Vulnerabilities, USENIX Security Symposium, Washington, DC, August 2001

  399. A. Natrajan, A. Fox, M. Humphrey, A.S. Grimshaw and M. Crowley, Protein Folding on the Grid: Experiences using CHARMM under Legion on NPACI Resources, International Symposium on High Performance Distributed Computing (HPDC), pp. 14-21, San Francisco, CA, August 2001

  400. D. R. Mikesell and J. L. Pfaltz, Exploring the Behavior of the Spring Ecosystem Model Using an Object-Oriented Database System, International Conference on Scientific and Statistical Database Management (SSDBM 2001), July 2001

  401. Kimberly S. Hanks and John C. Knight, Improving Dependability through the Application of Rigorous Theoretical Linguistics to Requirements Capture, Presented at Fastabstracts session: International Conference of Dependable Systems and Networks, Goteborg, Sweden, July 2001

  402. K. Sankaranarayanan and K. Skadron, A Scheme for Selective Squash and Re-issue for Single-Sided Branch Hammocks, International Conference on Parallel Architectures and Compilation Techniques (PACT), Sept. 10-12, 2001, Barcelona, Spain, September 2001. University of Virginia, Technical Report CS-2001-14, July 2001

  403. A. C. Weaver and Pinchao Lu, Intelligent Internet Search Agents, IWATIC'2001, Las Vegas, NV, July 2001

  404. K. Sullivan and A. Saxena, A Web-Oriented Architectural Aspect for the Emerging Computation Tapestry, International Conference on Software Engineering, July 2001

  405. Matthew T. Lucas, Bert J. Dempsey and Alfred C. Weaver, MESH-R: Large-Scale, Reliable Multicast Transport, IEEE International Conference on Communication (ICC99), Vancouver, BC, June 2001

  406. D. Cornish, A. Rowan and D. Luebke, View-Dependent Particles for Interactive Non-Photorealistic Rendering, Graphics Interface, June 2001

  407. C. Lu, T. Abdelzaher, J. Stankovic and S. H. Son, System Identification and Delay Control in Web Servers, International Symposium on Adaptive and Intelligent Systems and Control, Charlottesville, VA, June 2001

  408. A. Natrajan, A. Humphrey and A.S. Grimshaw, Grids: Harnessing Geographically-Separated Resources in a Multi-Organisational Context, High Performance Computing Systems, June 2001

  409. M. Humphrey, N. Beekwilder, K. Holcomb and A.S. Grimshaw, Legion MPI: High Performance in Secure, Cross-MSRC, Cross-Architecture MPI Applications, 2001 DoD HPC Users Group Conference, Biloxi, Mississippi, June 2001

  410. G. Stoker, B. White, E. Stackpole, T. J. Highley and M. Humphrey, Toward Realizable Restricted Delegation in Computational Grids, International Conference on High Performance Computing and Networking Europe (HPCN Europe 2001), Amsterdam, Netherlands, June 2001

  411. J. Liebeherr and N. Christin, JoBS: Joint Buffer Management and Scheduling for Differentiated Service, IEEE/IFIP International Workshop on Quality of Service (IWQoS 2001), June 2001

  412. T. Abdelzaher and C. Lu, Schedulability Analysis and Utilization Bounds for Highly Scalable Real-Time Services, IEEE Real-Time Technology and Applications Symposium, Tai Pei, Taiwan, pp 15-25, June 2001

  413. J. Regehr and J. A. Stankovic, Augmented CPU Reservations: Towards Predictable Execution on General-purpose Operating Systems, IEEE Real-Time Technology and Applications Symposium, June 2001

  414. A. Saxena and K. Sullivan, A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry, International Conference on Software Engineering (ICSE 2001), May 2001

  415. L. Freidrich, J. Stankovic, M. Humphrey, M. Marley and J. Haskins, A Survey of Configurable, Component-Based Operating Systems for Embedded Applications, IEEE Micro, Vol. 21, No. 3, pp. 54-68, article licensed to Rational Software Group, May 2001

  416. C. Lu, T. Abdelzaher, J. Stankovic and S. H. Son, A Feedback Control Approach for Guaranteeing Relative Delays in Web Servers, IEEE Real-Time Technology and Applications Symposium (RTAS'01), Taipei, Taiwan, pp. 51-62, May 2001

  417. A. Natrajan, M. Humphrey and A. S. Grimshaw, Capacity and Capability Computing using Legion, International Conference on Computational Science, pp. 273-283, San Francisco, CA, May 2001

  418. D. Katramatos, M. Humphrey, C. Hwang and S. Chapin, Developing a Cost/Benefit Estimating Service for Dynamic Resource Sharing in Heterogeneous Clusters: Experience with SNL Clusters, IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), Brisbane, Australia, May 2001

  419. Y. Lu, A. Saxena and T. Abdelzaher, Differentiated Caching Services; A Control-Theoretical Approach, International Conference on Distributed Computing Systems, Phoenix, Arizona, pp 615-622, April 2001

  420. C. Wang, J. Davidson, J. Hill and J. C. Knight, Protection of Software-based Survivability Mechanisms, International Conference of Dependable Systems and Networks, Goteborg, Sweden, March 2001

  421. R. Srinivasa and S. H. Son, Quasi-Consistency and Caching with Broadcast Disks, International Conference on Mobile Data Management (MDM'01), Hong Kong, January 2001

  422. C. Lu, Y. Lu, T. Abdelzaher, J. Stankovic and S. H. Son, Feedback Control Architecture and Design Methodology for Service Delay Guarantees in Web Servers, IEEE Transactions on Parallel and Distributed Systems, January 2001

  423. D. Luebke and B. Hallen, Perceptually Driven Simplification for Interactive Rendering, Eurographics Workshop on Rendering, London, United Kingdom and Rendering Techniques, Ed. Steven Gortler and Karol Myszkowski, Springer-Verlag, Austria, January 2001

  424. A. Natrajan, A. Humphrey, M. Herrick, P. Clarke and A.S. Grimshaw, The Legion Grid Portal, Grid Computing Environments, Concurrency and Computation: Practice and Experience, vol. 14, pp 1365-1394, January 2001

  425. P. Varner and J.C. Knight, Security Monitoring, Visualization, and System Survivability, Information Survivability Workshop, January 2001

  426. T. F. Abdelzaher and C. Lu, Modeling and Performance Control of Internet Servers, IEEE Conference on Decision and Control, Sydney, Australia, December 2000

  427. S. H. Son, R. Mukkamala and R. David, Integrating Security and Real-Time Requirements using Covert Channel Capacity, IEEE Transactions on Knowledge and Data Engineering, vol. 12, no. 6, pp 865-879, December 2000

  428. L. Jin and A. S. Grimshaw, From Metacomputing to Metabusiness Processing, IEEE International Conference on Cluster Computing - Cluster 2000, Saxony, Germany, December 2000

  429. C. Wang, J. C. Knight and M. Elder, On Computer Viral Infection and the Effect of Immunization, ACM Computer Applications Conference, New Orleans, LA, December 2000

  430. C. Lu, J. Stankovic, T. Abdelzaher, G. Tao, S. H. Son and M. Marley, Performance Specifications and Metrics for Adaptive Real-Time Systems, IEEE Real-Time Systems Symposium (RTSS'00), Orlando, FL, November 2000

  431. S. D. Patek, R. Venkateswarm and J. Liebeherr, Enhancing Aggregate QoS through Alternate Routing, IEEE Global Telecommunications Conference, San Francisco, November 2000

  432. T. F. Atdelzater, E. M. Atkins and K. G. Shin, QoS Negotiation in Real-time Systems and its Application to Automated Flight Control, IEEE Transactions on Computers, November 2000

  433. J. Hiser, S. Carr and P. Sweany, Global Register Partitioning, International Conference on Parallel Architectures and Compilation Techniques, October 2000

  434. B. R. Childers and J. W. Davidson, Custom Wide Counterflow Pipelines for High Performance Embedded Applications, International Conference on Parallel Architectures and Compilation Techniques, October 2000

  435. D. Coppit, K. J. Sullivan and J. B. Dugan, Formal Semantics of Models for Computational Engineering: A Case Study on Dynamic Fault Trees, International Symposium on Software Reliability Engineering (ISSRE 2000), October 2000

  436. C. S. Helvig, G. Robins and A. Zelikovsky, New Approximation Algorithms for Routing with Multi-Port Terminals, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol 19, No. 10, pp. 1118-1128, October 2000

  437. Dee A. B. Weikle, Sally A. McKee, Kevin Skadron and Wm. A. Wulf, Caches As Filters: A Framework for the Analysis of Caching Systems, Grace Murray Hopper Conference 2000, September 2000

  438. K. Scott and K. Skadron, BLP: Applying ILP Techniques to Bytecode, Workshop on Hardware, September 2000

  439. J. Liebeherr and N. Christin, Buffer Management and Scheduling for Enhanced Differentiated Services, University of Virginia, Department of Computer Science, CS-2000-24, August 2000

  440. D. Blair and G. Robins, A New Distributed System for Large-Scale Sequence Analyses, International Conference on Intelligent Systems for Molecular Biology, San Diego, August 2000

  441. B. S. White, A. S. Grimshaw and A. Nguyen-Tuong, Grid-Based File Access: the Legion I/O Model, International Symposium on High-Performance Distributed Computing, August 2000

  442. B. White and A. S. Grimshaw, Grid Based File Access: The Legion I/O Model, Symposium on High Performance Distributed Computing (HPDC-9), Pittsburgh, PA, August 2000

  443. A. L. Powell, J. C. French, J. Callan, M. Connell and C. L. Viles, The Impact of Database Selection on Distributed Searching, ACM SIGIR Conference on Information Retrieval (SIGIR 2000), pp. 232-239, July 2000

  444. G. J. Ferrer, G. S. Wasson, J. P. Gunderson and W. N. Martin, Using Anytime Planning for Centralized Coordination of Multiple Robots in Real-Time Dynamic Environments, Conference on Artificial Intelligence and Conference on Innovative Applications of Artificial Intelligence, pp. 1069, July 2000

  445. J. Viega, P. Reynolds and R. Behrends, Automating Delegation in Class-Based Languages, International Conference on Technology of Object-Oriented Languages and Systems, July 2000

  446. D. Coppit and K. J. Sullivan, Multiple Mass-market Applications as Components, International Conference on Software Engineering, June 2000

  447. D. Coppit and K. J. Sullivan, Galileo: A Tool Built from Mass-market Applications, International Conference on Software Engineering, June 2000

  448. S. H. Son, R. Zimmerman and J. Hansson, An Adaptable Security Manager for Real-Time Transactions, Euromicro Conference on Real-Time Systems, Stockholm, Sweden, June 2000

  449. A. L. Powell and J. C. French, Growth and Server Availability of the NCSTRL Digital Library, ACM International Conference on Digital Libraries (DL 2000), pp. 264-265, June 2000

  450. K. Kang, S. H. Son and T. Abdelzaher, An Adaptive Pricing and Resource Management Scheme for QoS Control in an Open Environment, IEEE Real-Time Technology and Applications Symposium(RTAS'00), WIP Session, Washington, DC, June 2000

  451. J. Liebeherr, S. R. Brown and R. Albertson, An Interactive Telelecture System with Hybrid ATM/IP Networking, Multimedia Tools and Applications, June 2000

  452. J. Liebeherr, S. D. Patek and E. Yilmaz, Tradeoffs in Designing Networks with End-to-End Statistical QoS Guarantees, IEEE/IFIP International Workshop on Quality of Service (IWQoS'2000), pp. 221???30, Pittsburgh, June 2000

  453. H. Dail, G. Obertelli, F. Berman, R. Wolski and A. S. Grimshaw, Application-Aware Scheduling of a Magnetohydrodynamics Application in the Legion Metasystems, International Parallel Processing Symposium Workshop on Heterogeneous Processing, Cancun, May 2000

  454. J. Hiser, S. Carr, P. Sweany and S. J. Beaty, Register Assignment for Software Pipelining with Partitioned Register Banks, International Parallel and Distributed Processing Symposium (IPDPS 2000), May 2000

  455. D. Katramatos, D. Saxena, N. Mehta and S. J. Chapin, A Cost/benefit Model for Dynamic Resource Sharing, Heterogeneous Computing Workshop (HCW 2000), May 2000

  456. J. C. French and A. L. Powell, Metrics for Evaluating Database Selection Techniques, World Wide Web, Vol. 3, No. 3, April 2000

  457. Gabriel J. Ferrer, Glenn S. Wasson, James P. Gunderson and Worthy N. Martin, Real-time Centralized Coordination of Multiple Robots in Dynamic Environments, AAAI Spring Symposium 2000 on Real-time Autonomous Systems, Stanford University, CA, March 2000

  458. A. S. Grimshaw, J. Lewis, J. Ferrari and J. F. Karpovich, Architectural Support for Extensibility and Autonomy in Wide-Area Distributed Object Systems, Network and Distributed Systems Security Conference (NDSS 2000), San Diego, CA, February 2000

  459. M. Humphrey, F. Knabe, A. Ferrari and A. S. Grimshaw, Accountability and Control of Process Creation in Metasystems, Network and Distributed Systems Security Conference (NDSS'00), pp. 209-220, San Diego, CA, February 2000

  460. B. R. Childers and J. W. Davidson, An Infrastructure for Designing Custom Embedded Counterflow Pipelines, International Conference on System Sciences, January 2000

  461. J. C. French, A. L. Powell and E. Schulman, Using Clustering Strategies for Creating Authority Files, Journal of the American Society for Information Science, Vol. 51, No. 8, pp. 774-786, January 2000

  462. C. S. Helvig, G. Robins and A. Zelikovsky, An Improved Approximation Scheme for the Group Steiner Problem, Networks, Vol. 37, No. 1, pp. 8-20, January 2000

  463. K. Skadron, M. Martonosi and D.W. Clark, Speculative Updates of Local and Global Branch History: A Quantitative Analysis, Journal of Instruction-Level Parallelism, January 2000

  464. J. Ferrari, J. Chapin and A. S. Grimshaw, Heterogeneous Process State Capture and Recovery Through Process Introspection, Cluster Computing, Vol. 3, pp. 63-73, January 2000

  465. J. C. Knight, K. J. Sullivan, M. C. Elder and C. Wang, Survivability Architectures: Issues and Approaches, Information Survivability Conference and Exposition (DISCEX 2000), January 2000

  466. T. F. Abdelzaher and K. G. Skin, Period-based Load Partitioning and Assignment for Large Real-time Applications, IEEE Transactions on Computers, January 2000

  467. A. C. Weaver, J. Luo and X. Zhang, Monitoring and Control Using the Internet and Java, IEEE Industrial Electronics Society (IECON'99), December 1999

  468. Joanne Bechta Dugan, Kevin J. Sullivan and David Coppit, Developing a Low-Cost High-Quality Software Tool for Dynamic Fault Tree Analysis, Transactions on Reliability, December 1999

  469. C. Lu, J. A. Stankovic, G. Tao and S. H. Son, The Design and Evaluation of a Feedback Control EDF Scheduling Algorithm, IEEE Real-Time Systems Symposium (RTSS'99), Phoenix, AZ, December 1999

  470. J. B. Dugan, K. J. Sullivan and D. Coppit, Developing a High-Quality Software Tool for Fault Tree Analysis, International Symposium on Software Reliability Engineering, pp. 222-31, Boca Raton, Florida, November 1999

  471. R. Srinivasa, P. F. Reynolds and C. Williams, Parallel Rule-Based Systems on Isotach Networks, International Conference on Parallel and Distributed Computing and Systems (PDCS'99), IASTED, November 1999

  472. K. Skadron, P.S. Ahuja, M. Martonosi and D.W. Clark, Branch Prediction, Instruction-Window Size, and Cache Size: Performance Tradeoffs and Simulation Techniques, IEEE Transactions on Computers, November 1999

  473. T. F. Abdelzaher and K. G. Abdelzaher, Combined Task and Message Scheduling in Distributed Real-time Systems, IEEE Transactions on Parallel and Distributed Systems, November 1999

  474. A. Natrajan and P. F. Reynolds, Resolving Concurrent Interactions, IEEE International Workshop on Distributed Interactive Simulation and Real-Time Applications, October 1999

  475. M. A. Copenhafer and K. J. Sullivan, Exploration Harnesses: Tool-supported Interactive Discovery of Commercial Component Properties, IEEE International Conference on Automated Software Engineering, October 1999

  476. J.C. Knight, P.T. Fletcher and B. Hicks, Tool Support for Production Use of Formal Techniques, Short paper, FM `99: World Congress on Formal Methods, Toulouse, France, September 1999

  477. J. C. French, A. L. Powell, J. Callan, C. L. Viles, T. Emmitt, K. J. Prey and Y. Mou, Comparing the Performance of Database Selection Algorithms, ACM SIGIR Conference on Information Retrieval (SIGIR'99), pp. 238-245, August 1999

  478. W. M. Martin, A. L. Barker and J. P. Cohoon, Problem Perturbation: Implications on the Fitness Landscape, Congress on Evolutionary Computation (CEC 99), July 1999

  479. J. Liebeherr and T. K. Beam, HyperCast: A Protocol for Maintaining Multicast Group Members in a Logical Hypercube Topology, International Workshop on Networked Group Communication (NGC '99), In: Lecture Notes in Computer Science, Vol. 1736, pp. 72-89, July 1999

  480. M. B. Jones and J. Regehr, CPU Reservations and Time Constraints: Implementation Experience on Windows NT, USENIX Windows NT Symposium, Seattle, WA, July 1999

  481. K. J. Sullivan, D. Coppit and J. B. Dugan, The Galileo Fault Tree Analysis Tool, International Symposium on Fault-Tolerant Computing, pp. 232, Madison, Wisconsin, June 1999

  482. J. Liebeherr and E. Yilmaz, Work-Conserving vs. Non-Workconserving Packet Scheduling: An Issue Revisited, IEEE/IFIP International Workshop on Quality of Service (IWQoS'99), June 1999

  483. Tarek F. Abdelzaher and Nina Bhatti, Adaptive Content Delivery for Web Server QoS, International Workshop on Quality of Service, London, UK, June 1999

  484. J. French and C.L. Viles, Personalized Information Environments: An Architecture for Customizable Access to Distributed Digital Libraries, ID-Lib Magazine, vol. 5, no. 6, June 1999

  485. M. Humphrey, E. Hilton and P. Allaire, Experiences Using RT-Linux to Implement a Controller for a High Speed Magnetic Bearing System, IEEE Real-Time Technology and Applications Symposium, Vancouver, Canada, June 1999

  486. J. Liebeherr and D. E. Wrege, Priority Queue Schedulers with Approximate Sorting in Output Buffered Switches, IEEE Journal on Selected Areas in Communications. Special Issue on Next Generation IP Switches and Routers, June 1999

  487. J. A. Stankovic, C. Lu, S. H. Son and G. Tao, The Case for Feedback Control Real-Time Scheduling, EuroMicro Conference on Real-Time Systems, York, UK, June 1999

  488. A. Victor, J. Stankovic and S. H. Son, QoS Support for Real-Time Databases, IEEE Workshop on QoS Support for Real-Time Internet Applications, Vancouver, Canada, pp 127-132, June 1999

  489. J. A. Stankovic, S. H. Son and J. Hansson, Misconceptions About Real-time Databases, Computer, June 1999

  490. K. Sullivan, J. C. Knight, X. Du and S. Geist, Information Survivability Control Systems, International Conference on Software Engineering, May 1999

  491. Tarek F. Abdelzaher and Nina Bhatti, Web Content Adaptation to Improve Server Overload Behavior, International World Wide Web Conference, Toronto, Canada, May 1999

  492. David Evans and Andrew Twyman, Policy-Directed Code Safety, IEEE Symposium on Security and Privacy, May 1999

  493. A. Grimshaw, A. Ferrari, F. Knabe and M. Humphrey, Wide-Area Computing: Resource Sharing on a Large Scale, Computer, May 1999

  494. C.L. Viles and J. C. French, Content Locality in Distributed Digital Libraries, Information Processing and Management, May 1999

  495. M. J. Lewis and A. S. Grimshaw, Dynamically Configurable Distributed Objects, ACM Symposium on Principles of Distributed Computing (PODC'99), May 1999

  496. X. Du and X. Zhang, The Impact of Memory Hierarchies on Cluster Computing, International Parallel and Distributed Processing and Symposium on Parallel and Distributed Processing (IPPS/SPDP), April 1999

  497. C. Wang and W. A. Wulf, Towards a Scalable PKI for Electronic Commerce Systems, International Conference on Advance Issues of E-Commerce and Web-Based Information Systems (WECWIS'99), April 1999

  498. A. B. Kahng, G. Robins, A. Singh and A. Zelikovsky, Filling Algorithms and Analyses for Layout Density Control, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 18, No. 4, pp. 445-462, April 1999

  499. J. Chapin, D. Katramatos, F. Karpovich and A. S. Grimshaw, The Legion Resource Management System, Workshop on Job Scheduling Strategies for Parallel Processing in conjunction with the International Parallel and Distributed Processing Symposium, April 1999

  500. J. Ferrari, C. Knabe, M. Humphrey, J. Chapin and A. S. Grimshaw, A Flexible Security System for Metacomputing Environments, International Conference on High-Performance Computing and Networking Europe (HPCN'99), pp. 370-380, Amsterdam, April 1999

  501. B. R. Childers and J. W. Davidson, Architectural Considerations for Application-specific Counterflow Pipelines, Conference on Advanced Research in VLSI, March 1999

  502. J. Karro and J. P. Cohoon, A Spiffy Tool for the Simultaneous Placement and Global Routing for Three-dimensional Field-programmable Gate Arrays, Great Lakes Symposium on VLSI, March 1999

  503. M. B. Jones and J. Regehr, The Problems You're Having May Not Be the Problems You Think You're Having: Results from a Latency Study of Windows NT, Workshop on Hot Topics in Operating Systems (HotOS VII), Rio Rico, AZ, March 1999

  504. A. B. Kahng, G. Robins, A. Singh and A. Zelikovsky, New and Exact Filling Algorithms for Layout Density Control, Proc. VLSI Design Conference, Goa, India, pp. 106-110, January 1999

  505. A. B. Kahng, G. Robins, A. Singh and A. Zelikovsky, New Multi-Level and Hierarchical Algorithms for Layout Density Control, Proc. Asia and South Pacific Design Automation Conference, Hong Kong, China, pp. 221-224. Nominated for Best Paper Award, January 1999

  506. R. Manian, D. Coppit, K.Sullivan and J. B. Dugan, Bridging the Gap Between Systems and Dynamic Fault Tree Models, Reliability and Maintainability Symposium, pp. 105-111, WA, January 1999

  507. V. Ganti, R. Ramakrishnan, J. Gehrke, A. Powell and J. French, Clustering Large Datasets in Arbitrary Metric Spaces, International Conference on Data Engineering, pp. 502-511, January 1999

  508. A. Nguyen-Tuong and A. S. Grimshaw, Using Reflection for Incorporating Fault-Tolerance Techniques into Distributed Applications, Parallel Processing Letters, Vol. 9, No. 2, pp. 291-301, January 1999

  509. J. M. Varanelli and J. P. Cohoon, A Fast Method for Generalized Starting Temperature Determination in Homogeneous Two-Stage Simulated Annealing Systems, Computers and Operations Research, vol. 26, pp. 481-503, January 1999

  510. W. R. Pearson, G. Robins and T. Zhang, Generalized Neighbor-Joining: More Reliable Phylogenetic Tree Reconstruction, Journal of Molecular Biology and Evolution, Vol. 16, No. 6, pp. 806-816, January 1999

  511. G. Robins, B. L. Robinson and B. S. Sethi, On Detecting Spatial Regularity in Noisy Images, Information Processing Letters, No. 69, pp. 189-195, January 1999

  512. J. Chapin, D. Katramatos, F. Karpovich and A.S. Grimshaw, Resource Management in Legion, Journal of Future Generation Computing Systems, January 1999

  513. J. Chapin, C. Wang, A. Wulf, C. Knabe and A.S. Grimshaw, A New Model of Security for Metasystems, Journal of Future Generation Computing Systems, January 1999

  514. D. Coppit and K. J. Sullivan, Formal Specification in Collaborative Design of Critical Software Tools, IEEE International High-Assurance Systems Engineering Symposium, pp. 13-20, Washington, DC, November 1998

  515. R. Manian, J. B. Dugan, D. Coppit and K. Sullivan, Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems, IEEE International High-Assurance Systems Engineering Symposium, pp. 21-28, Washington, DC, November 1998

  516. J. C. Knight, M. C. Elder and X. Du, Error Recovery in Critical Infrastructure Systems, Computer Security, Dependability and Assurance: From Needs to Solutions, November 1998

  517. M. T. Lucas, B. J. Dempsey, D. E. Wrege and A. C. Weaver, (M,P,S)-An Efficient Background Traffic Model for Wide-area Network Simulation, IEEE Global Telecommunications Conference (GLOBECOM '97), November 1998

  518. B. Sethi and K. Ryall, Scratchpad: Mechanisms for Better Navigation in Directed Web Searching, ACM Symposium on User Interface Software and Technology (UIST'98), pp. 1-8, San Francisco, CA, November 1998

  519. A. S. Grimshaw, A. Ferrari, G. Lindahl and K. Holcomb, Metasystems, Communications of the ACM, November 1998

  520. A. Stamoulis and J. Liebeherr, GPS Scheduling with Graceful Rate Adaptation, Global Telecommunications Conference, November 1998

  521. K. Sullivan, S. Geist and P. Shaw, Mediators in Infrastructure Survivability Enhancement, International Workshop on Software Architecture (ISAW'98), November 1998

  522. D. C. Brogan, R. A. Metoyer and J. K. Hodgins, Dynamically Simulated Characters in Virtual Environments, IEEE Computer Graphics and Applications, September 1998

  523. C. S. Helvig, G. Robins and A. Zelikovsky, Moving-Target TSP and Related Problems, Proc. European Symposium on Algorithms, Venice, Italy, pp. 453-464, published as Lecture Notes in Computer Science, 1461, G. Bilardi, G. F. Italiano, A. Pietracaprina and G. Pucci (eds.), 19, August 1998

  524. J. C. French, A. L. Powell, C. L. Viles, T. Emmitt and K. J. Prey, Evaluating Database Selection Techniques: A Testbed and Experiment, ACM SIGIR Conference on Information Retrieval (SIGIR'98), pp. 121-129, August 1998

  525. A. NguyenTuong, S. J. Chapin and A. S. Grimshaw, Extending Metasystem Functionality Using Reflection, International Symposium on High Performance Distributed Computing, July 1998

  526. S. U. Hedge, J. L. Sweet and W. B. Levy, Determination of Parameters in a Hopfield/Tank Computational Network, IEEE International Conference on Neural Networks, July 1998

  527. D. A. B. Weikle, S. A. McKee and W. A. Wulf, Caches As Filters: A New Approach to Cache Analysis, International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'98), Montreal, Canada, July 1998

  528. J. Liebeherr and D. E. Wrege, An Efficient Solution to Traffic Characterization of VBR Video in Quality-of-Service Networks, ACM/Springer Multimedia Systems Journal, Vol. 6, No. 4, pp. 271 - 284, July 1998

  529. J. L. Pfaltz, R. F. Haddleton and J. C. French, Scalable, Parallel, Scientific Databases, International Conference on Scientific and Statistical Database Management, July 1998

  530. Tarek F. Abdelzaher and Kang G. Shin, End-host Architecture for QoS-Adaptive Communication, IEEE Real-Time Technology and Applications Symposium, Denver, Colorado, June 1998

  531. J. C. French, A. L. Powell and W. R. Creighton III, Efficient Searching in Distributed Digital Libraries, ACM International Conference on Digital Libraries (DL'98), pp. 283-284, June 1998

  532. J. Stankovic, S. H. Son and C. Nguyen, The Cogency Monitor: An External Interface Architecture for a Distributed Object-Oriented Real-Time Database System, IEEE Real-Time Technology and Applications Symposium (RTAS'98), Denver, CO, pp. 71-78, June 1998

  533. W. T. Strayer and A. C. Weaver, Performance Measurement of Data Transfer Services in MAP, IEEE Networks, May 1998

  534. S. H. Son, C. Chaney and N. Thomlinson, Partial Security Policies to Support Timeliness in Secure Real-Time Databases, IEEE Symposium on Security and Privacy, Oakland, CA, pp 136-147, May 1998

  535. J. Liebeherr and B. S. Sethi, A Scalable Control Topology for Multicast Communications, IEEE INFOCOM '98, San Francisco, April 1998

  536. A. B. Kahng, G. Robin, A. Singh, H. Wang and A. Zelikovsky, Filling and Slotting: Analysis and Algorithms, International Symposium on Physical Design, Monterey, CA, April 1998

  537. S. H. Son, F. Zhang and J. Kang, Replication Control for Fault-Tolerance in Distributed Real-Time Database Systems, IEEE Aerospace Conference, Snowmass, Colorado, March 1998

  538. C. S. Helvig, G. Robins and A. Zelikovsky, Improved Approximation Bounds for the Group Steiner Problem, Conference on Design, Automation and Test in Europe, February 1998

  539. A. L. Baker, D. E. Brown and W.N. Martin, Static Data Association with a Terrain-based Prior Density, IEEE Transactions on Systems, Man and Cybernetics, February 1998

  540. S. H. Son, C. Chaney, T. Y. Lin and S. Qian, Supporting the Requirements for Multilevel Secure and Real-time Databases in Distributed Environments, Database Security: Status and Prospects, Chapman and Hall Publishing, pp 73-91, January 1998

  541. M. Alexander, J. P. Cohoon, J. L. Ganley and G. Robins, Placement and Routing for High-Performance FPGA layout, VLSI Design: International Journal of Custom-Chip Design, Simulation, and Testing, vol. 7, pp. 97-110, January 1998

  542. Frank Z. Brill, Glenn S. Wasson, Gabriel J. Ferrer and Worthy N. Martin, The Effective Field of View Paradigm: Adding Representation to a Reactive System, Engineering Applications of Artificial Intelligence 11, 189-201, January 1998

  543. J. C. Knight and M. F. Dunn, Software Quality Through Domain-driven Certification, , January 1998

  544. R. F. Haddleton and J. L. Pfaltz, Client/Server Architecture in the ADAMS Parallel, Object-Oriented Database System, Scientific Computing in Object-Oriented Parallel Environments, pp. 257-266, December 1997

  545. N. Golmie, M. Corner, J. Liebeherr and D. Su, Improving the Effectiveness of ATM Traffic Control over Hybrid Fiber-Coax Networks, IEEE Global Telecommunications Conference (GLOBECOM '97), November 1997

  546. J. C. French, A. L. Powell and E. Schulman, Applications of Approximate Word Matching in Information Retrieval, International Conference on Information and Knowledge Management, pp. 9-15, November 1997

  547. J. C. French, A. L. Powell, E. Schulman and J. L. Pfaltz, Automating the Construction of Authority Files in Digital Libraries: A Case Study, European Conference on Research and Advanced Technology for Digital Libraries, ed. by C. Peters and C. Thanos, Springer-Verlag Lecture Notes in Computer Science, Vol. 1324, pp. 55-71, September 1997

  548. M. T. Lucas, D. E. Wrege, B. J. Dempsey and A. C. Weaver, Statistical Characterization of Wide-Area IP Traffic, International Conference on Computer Communications and Networks (IC3N'97), Las Vegas, NV, September 1997

  549. J.C. Knight, C.L. DeJong, M.S. Gibble and L.G. Nakano, Why Are Formal Methods Not Used More Widely?, NASA Formal Methods Workshop, Hampton, VA, September 1997

  550. J.C. Knight and L.G. Nakano, Software Test Techniques for System Fault-Tree Analysis, SAFECOMP `97, York, UK, September 1997

  551. J. Gemmell, J. Liebeherr and D. Bassett, In Search of an API for Scalable Reliable Multicast, ICCCN `97, pp. 60???4, Las Vegas, September 1997

  552. David Luebke and Carl Erikson, View-Dependent Simplification of Arbitrary Polygonal Environments, SIGGRAPH 97, August 1997

  553. S. H. Son, R. Beckinger and D. Baker, DRDB: A Distributed Real-Time Database Server for High-Assurance Time-Critical Applications, International Computer Software and Applications Conference (COMPSAC'97), Washington, DC, pp. 362-367, August 1997

  554. J. C. French, D. E. Brown and N. H. Kim, A Classification Approach to Boolean Query Reformulation, Journal of the American Society for Information Science, Vol. 48, No. 8, pp. 694-706, August 1997

  555. C. L. Viles, M. J. Lewis, A. J. Ferrari, A. Nguyen-Tuong and A. S. Grimshaw, Enabling Flexibility in the Legion Run-Time Library, International Conference on Parallel and Distributed Processing Techniques (PDPTA '97), Las Vegas, NV, June 1997

  556. Matthew T. Lucas, Bert J. Dempsey and Alfred C. Weaver, MESH: Distributed Error Recovery for Multimedia Streams in Wide-Area Multicast Networks, IEEE International Conference on Communications (ICC'97), Montreal, Canada, pp. 1127-1133, June 1997

  557. S. H. Son, R. David and C. Chaney, Design and Analysis of an Adaptive Policy for Secure Real-Time Locking Protocol, Journal of Information Sciences, June 1997

  558. Y. Oh and S. H. Son, Scheduling Real-Time Tasks for Dependability, Journal of Operational Research Society, vol. 48, no. 6, pp 629-639, June 1997

  559. A.S. Grimshaw, J. Lewis and M. Hyett, Campus-Wide Computing: Early Results Using Legion at the University of Virginia, International Journal of Supercomputing Applications, June 1997

  560. K. J. Sullivan, J. Cockrell, S. Zhang and D. Coppit, Package-Oriented Programming of Engineering Tools, International Conference on Software Engineering (ICSE'97), Boston, MA, May 1997

  561. K. Sullivan, J. Socha and M. Marchukov, Using Formal Methods to Reason About Architectural Standards, International Conference on Software Engineering (ICSE'97), May 1997

  562. C. D. Bateman, C. S. Helvig, G. Robins and A. Zelikovsky, Provably-Good Routing Tree Construction with Multi-Port Terminals, ACM/SIGDA International Symposium on Physical Design, Napa Valley, CA, pp. 96-102, April 1997

  563. N. H. Kim, J. C. French and D. E. Brown, Development of New Retrieval Performance Measures for Query Reformulation Algorithms, Transactions of the Korean Information Processing Society, vol. 4, no. 4, pp. 963-972, April 1997

  564. D. E. Wrege and J. Liebeherr, A Near-Optimal Packet Scheduler for QoS Networks, IEEE INFOCOM, Kobe, Japan, April 1997

  565. N. H. Kim, D. E. Brown and J. C. French, Time Complexity Analysis of Boolean Query Formulation Algorithms, Transactions of the Korean Information Processing Society, vol. 4, no. 3, pp. 709-719, March 1997

  566. Glenn S. Wasson, Gabriel J. Ferrer and Worthy N. Martin, Hide-and-Seek: Effective Use of Memory in Perception/Action Systems, International Conference on Autonomous Agents, Marina Del Ray, CA, February 1997

  567. A. Stamoulis and J. Liebeherr, S2GPS: Slow-Start Generalized Processor Sharing, IEEE Real-Time Systems Symposium, WA, February 1997

  568. N. Golmie, D. H. Su, M. Corner and J. Liebeherr, Simulation Study of ABR Service over IEEE 802.14 MAC, IEEE Project 802.14, Cable TV Protocol Working Group, Contribution IEEE 802.14/97-011, January 1997

  569. D. C. Brogan and J. K. Hodgins, Group Behaviors for Systems with Significant Dynamics, The Journal of Autonomous Robots, George A. Bekey, editor, 4, pp. 137-153, January 1997

  570. J. C. French, J. C. Knight and A. L. Powell, Applying Hypertext Structures to Software Documentation, Information Processing and Management, Vol. 33, No. 2, pp. 219-231, January 1997

  571. E. Schulman, J. C. French, A. L. Powell, G. Eichhorn, M. J. Kurtz and S. S. Murray, Trends in Astronomical Publication Between 1975 and 1996, Publications of the Astronomical Society of the Pacific, Vol. 109, pp. 1278-1284, January 1997

  572. G. A. DeAngelis, B. J. Dempsey, S. Berr, L. L. Fajardo, J. W. Sublett, B. J. Hillman, A. C. Weaver, K. Berbaum and S. J. Dwyer, Diagnostic Efficacy of Compressed Digitized Real-time Sonography of Uterine Fibroids, Academic Radiology, January 1997

  573. K. Hinckley, J. Tullio, R. Pausch, D. Proffitt and N. Kassell, Usability Analysis of 3D Rotation Techniques, Proc. ACM UIST'97 Symposium on User Interface Software Technology, pp. 1-10, January 1997

  574. K. Hinckley, R. Pausch and D. Proffitt, Attention and Visual Feedback: The Bimanual Frame of Reference, ACM Symposium on Interactive 3D Graphics, January 1997

  575. K. Hinckley, R. Pausch, D. Proffitt, J. Patten and N. Kassell, Cooperative Bimanual Action, ACM CHI'97 Conference on Human Factors in Computing Systems, January 1997

  576. K. Hinckley, R. Pausch, J. H. Downs, D. Proffitt and N. Kassell, The Props-Based Interface for Neurosurgical Visualization, MMVR5: Medicine Meets Virtual Reality 5, January 1997

  577. A. Natrajan, P. F. Reynolds and S. Srinivasan, MRE: A Flexible Approach to Multi-resolution Modeling, Workshop on Parallel and Distributed Simulation, January 1997

  578. M. J. Alexander and G. Robins, New Performance-Driven FPGA Routing Algorithms, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 15, No. 12, pp. 1505-1517 FPGA Benchmarks and Routings, December 1996

  579. Y. K. Kim, M. Lehr and S. H. Son, Software Architecture for a Firm Real-Time Database System, Journal of Systems Architecture, Special Issue on Real-Time Systems, vol. 42, no. 6, pp 547-562, December 1996

  580. J. Viega, M. J. Conway, G. Williams and R. Pausch, 3D Magic Lenses, Symposium on User Interface Software and Technology, November 1996

  581. A. Nguyen-Tuong, A. S. Grimshaw and M. Hyett, Exploiting Data-Flow for Fault-Tolerance in a Wide-Area Parallel System, International Symposium on Reliable and Distributed Systems, pp. 1-11, October 1996

  582. N. Agarwal and S. H. Son, A Model for Specification and Synchronization of Data for Distributed Multimedia Applications, Journal of Multimedia Tools and Applications, vol. 3, no. 2, pp 79-104, September 1996

  583. A. S. Grimshaw and W. M. Wulf, Legion--A View From 50,000 Feet, Symposium on High Performance Distributed Computing (HPDC-5), pp. 89-99, Syracuse, NY, August 1996

  584. M. Lewis and A.S. Grimshaw, The Core Legion Object Model, Symposium on High Performance Distributed Computing (HPDC-5), pp. 551-561, Syracuse, NY, August 1996

  585. B. Weissman and A. S. Grimshaw, A Federated Model for Scheduling in Wide-Area Systems, International Symposium on High Performance Distributed Computing (HPDC-5), August 1996

  586. K. J. Sullivan, I. J. Kalet and D. Notkin, Evaluating the Mediator Method: Prism as a Case Study, IEEE Transactions on Software Engineering, August 1996

  587. R. V. Peri, W. A. Wulf and D. M. Kienzle, A Logic of Composition for Information Flow Predicates, IEEE Computer Security Foundations Workshop, June 1996

  588. D. E. Wrege, E. W. Knightly, H. Zhang and J. Liebeherr, Deterministic Delay Bounds for VBR Video in Packet-Switching Networks: Fundamental Limits and Practical Tradeoffs, IEEE/ACM Transactions on Networking, June 1996

  589. D. E. Wrege, E. W. Knightly, Z. Hui and J. Liebeherr, Deterministic Delay Bounds for VBR Video in Packet-switching Networks: Fundamental Limits and Practical Trade-offs, IEEE/ACM Transactions on Networking, June 1996

  590. M. Bailey and J. Davidson, Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators, University of Virginia Technical Report CS-95-44. SIGPLAN '96: Conference on Programming Language Design and Implementation (PLDI). Philadelphia, PA, May 1996

  591. J. Liebeherr, I. Akyildiz and A. Tai, A Multi-level Explicit Rate Control Scheme for ABR Traffic with Heterogeneous Service Requirements, IEEE International Conference on Distributed Computing Systems, May 1996

  592. S. McKee, A. Aluwihare, B. H. Clark, R. H. Klenke, T. C. Landon, C. W. Oliver, M. H. Salinas, A. E. Szymkowiak, K. L. Wright, W. A. Wulf and J. H. Aylor, Design and Evaluation of Dynamic Access Ordering Hardware, Proceeding of International Conference on Supercomputing, Philadelphia, PA, May 1996

  593. M. J. Alexander, J. P. Cohoon, J. L. Colflesh, J. Karro, E. L. Peters and G. Robins, Placement and Routing for Three-Dimensional FPGAs, Workshop on Field-Programmable Devices, pp. 11-18, Toronto, Canada, May 1996

  594. A.S. Grimshaw, B. Weissman and T. Strayer, Portable Run-Time Support for Dynamic Object-Oriented Parallel Processing, ACM Transactions on Computer Systems, May 1996

  595. S. S. Brilliant, J. C. Knight and M. E. Elder, Formal Specification of a User Interface, American Nuclear Society Meeting on Nuclear Plant Instrumentation, Control, and Human Machine Interface Technologies, University Park, PA, May 1996

  596. S. A. McKee and W. A. Wulf, A Memory Controller for Improved Performance of Streamed Computations on Symmetric Multiprocessors, International Parallel Processing Symposium (IPPS '96), April 1996

  597. I. F. Akyildiz, J. Liebeherr and D. Sarkar, Bandwidth Regulation of Real-Time Traffic Classes in Internetworks, IEEE Int. Conference on Distributed Computer Systems, Vol. 28, No. 6, pp. 855 - 872, April 1996

  598. A. Yasinsac and W. Wulf, Evaluating Cryptographic Protocols, Cambridge Workshop on Cryptographic Protocols, April 1996

  599. M. J. Alexander, J. P. Cohoon, J. L. Colflesh, J. Karro, E. L. Peters and G. Robins, Physical Layout for Three-Dimensional FPGAs, 1996 ACM/SIGDA Physical Design Workshop, Reston, VA, pp. 142-149, April 1996

  600. B.J. Dempsey, J. Liebeherr and A.C. Weaver, On Retransmission-Based Error Control for Continuous Media Traffic in Packet-Switching Networks, SIGCOMM'94, London, England, September 1994. Computer Networks and ISDN Systems, Vol. 28, No. 5, pp. 719 - 736, March 1996

  601. J. Davidson and S. Jinturkar, Aggressive Loop Unrolling in a Retargetable, Optimizing Compiler, Compiler Construction Conference, Linkoping, Sweden, March 1996

  602. J. C. French and C. L. Viles, Ensuring Retrieval Effectiveness in Distributed Digital Libraries, Journal of Visual Communication and Image Representation, March 1996

  603. S. H. Son, R. David and B. Thuraisingham, Improving Timeliness in Real-Time Secure Database Systems, ACM SIGMOD Record, vol. 25, no. 1, pp 29-33, March 1996

  604. M. Bailey and J. Davidson, Reusable Application-dependent Machine Descriptions, WCSSS'96: Workshop on Compiler Support for System Software. Tucson, AZ, February 1996

  605. R. Peri and W. Wulf, A Framework for Specification and Verification of Information Flow Security Policies, Workshop on Formal Methods in Software Practice, January 1996

  606. J. Liebeherr, D. E. Wrege and D. Ferrari, Exact Admission Control in Networks with Bounded Delay Services, IEEE/ACM Transactions on Networking, January 1996

  607. A. Powell, J. French and J. Knight, A Systematic Approach to Creating and Maintaining Software Documentation, Symposium on Applied Computing, January 1996

  608. D. J. Schlesinger, J. W. Snell, L. E. Mansfield, J. R. Brookeman, J. M. Ortega and N. F. Kassell, Segmentation of Volumetric Medical Imagery Using Multiple Geodesic-based Active Surfaces, SPIE Proc. Vol 2710, 243-253, January 1996

  609. W. R. Pearson, G. Robins, D. E. Wrege and T. Zhang, On the Primer Selection Problem for Polymerase Chain Reaction Experiments, Discrete and Applied Mathematics, Vol. 71, pp. 231-246, January 1996

  610. K. Hinckley, M. J. Conway, R. Pausch, D. Proffit, R. Stoakley and N. F. Kassell, Revisiting Haptic Issues for Virtual Manipulation, Position statement for CHI'96 Workshop on Manipulation in Virtual Environments, January 1996

  611. S. Srinivasan and P. F. Reynolds, Adaptive Algorithms vs. Time Warp: an Analytical Comparison, Winter Simulation Conference, December 1995

  612. S. Srinivasan and P. F. Reynolds, NPSI Adaptive Synchronization Algorithms for PDES, Winter Simulation Conference, December 1995

  613. K. Boese, A. Kahng, B. McCoy and G. Robins, Near-Optimal Critical Sink Routing Tree Constructions, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 14(12), pp. 1417-1436, December 1995

  614. A. Ferrari and V. Sunderam, Multiparadigm Distributed Computing with TPVM, Concurrency: Practice and Experience, Vol. 10, Issue 3, pp 199-228, March 1998. Technical Report CSTR-951201, Department of Mathematics and Computer Science, Emory University, December 1995

  615. M. Lehr, Y. Kim and S. Son, Managing Contention and Timing Constraints in a Real-Time Database System, IEEE Real-Time Systems Symposium, Pisa, Italy, pp. 332-341, December 1995

  616. J. Sole-Pareta, D. Sarkar, J. Liebeherr and I. Akyildiz, An Adaptive Multipath Routing Scheme for Connectionless Traffic in an ATM Network, Journal of Network and Systems Management, Vol. 3, No. 4, pp. 355-370, December 1995

  617. A. Burchard, J. Liebeherr, Y. Oh and S. H. Son, Assigning Real-Time Tasks to Homogeneous Multiprocessor Systems, IEEE Transactions on Computers, vol. 44, no. 12, pp 1429-1442, December 1995

  618. C. Viles and J. French, On the Update of Term Weights in Dynamic Information Retrieval Systems, CIKM95, Baltimore MD, November 1995

  619. C. Viles and J. French, TREC-4 Experiments using Drift, Text Retrieval Conference (TREC-4), Gaithersburg, MD, November 1995

  620. J. Barros, J. French and W. Martin, Trading Efficiency for Effectiveness in Similarity-based Indexing for Image Databases, SPIE: Digital Image Storage and Archiving Systems, November 1995

  621. M. Elder and J. Knight, Specification of User Interfaces for Safety-Critical Systems, International Symposium on Medical Robotics and Computer Assisted Surgery (MRCAS'95), Baltimore, MD, November 1995

  622. G. A. DeAngelis, B. J. Dempsey, S. Berr, L. L. Fajardo, J. W. Sublett, B. J. Hillman, A. C. Weaver, K. Berbaum and S. J. Dwyer, Digitized Real-Time Ultrasound: Signal Compression Experiment, Radiology, November 1995

  623. J. Durbin, R. Gossweiler and R. Pausch, Amortizing 3D Graphics Optimization Across Multiple Frames, Symposium on User Interface Software and Technology, November 1995

  624. S. Shih, Y. Kim and S. Son, Performance Evaluation of a Firm Real-Time Database System, International Workshop on Real-Time Computing Systems and Applications, pp. 116-124, Tokyo, Japan, October 1995

  625. A. Nguyen-Tuong, A. S. Grimshaw and J. F. Karpovich, Fault-Tolerance via Replication in Coarse Grain Data Flow, International Workshop on Parallel Symbolic Languages and Systems, Springer Verlag, October 1995

  626. M. Alexander, J. Cohoon, J. Colflesh, J. Karro and G. Robins, Three-Dimensional Field Programmable Gate Arrays, Proc. IEEE International ASIC Conference, Austin, TX, pp. 253-256, September 1995

  627. M. Alexander, J. Cohoon, J. Ganley and G. Robins, Performance-Oriented Placement and Routing for Field-Programmable Gate Arrays, European Design Automation Conference, pp. 80-85, Brighton, England, September 1995

  628. Y. Oh and S. Son, Allocating Fixed-Priority Periodic Tasks on Multiprocessor Systems, Journal of Real-Time Systems, September 1995

  629. and M. Conway, The Alice Rapid Prototyping System: 3D Graphics Made Easy, SIGGRAPH 95, Technical Sketch, August 1995

  630. M. DeLong and J. Ortega, SOR as a Parallel Preconditioner, Conference on Conjugate Gradient Methods, Seattle, WA, August 1995

  631. A. Ferrari and V. Sunderam, TPVM: Distributed Concurrent Computing with Lightweight Processes, IEEE High Performance Distributed Computing, pp. 211-218, WA, August 1995

  632. J. Liebeherr and A. Tai, A Protocol for Relative Quality-of-Service in TCP/IP-based Internetworks, IEEE Workshop on the Architecture and Implementation of High Performance Communication Subsystems (HPCS'95), pp. 62-65, August 1995

  633. J. Liebeherr and D. Wrege, A Versatile Packet Multiplexer for Quality-of-Service Networks, International Symposium on High Performance Distributed Computing (HPDC-4), pp. 148-155, August 1995

  634. S. McKee, W. Wulf and T. Landon, Bounds on Memory Bandwidth in Streamed Computations, International Euro-Par Conference on Parallel Processing, Stockholm, Sweden, August 1995

  635. J. Shochet, R. Pausch and M. Conway, On-The-Fly Behavioral Culling in the Alice System, SIGGRAPH 95 Technical Sketch, August 1995

  636. S. H. Son, R. David and B. Thuraisingham, An Adaptive Policy for Improved Timeliness in Secure Database Systems, Annual IFIP WG 11.3 Conference of Database Security, Rensselaerville, NY, pp. 223-233, August 1995

  637. B. Weissman and A.S. Grimshaw, A Framework for Partitioning Parallel Computations in Heterogeneous Environments, Concurrency: Practice and Experience, pp. 455-478, August 1995

  638. C. Viles and J. French, Dissemination of Collection Wide Information in Distributed Information Retrieval Systems, SIGIR95, Seattle, WA, July 1995

  639. J. Goble, K. Hinckley, R. Pausch, J. Snell and N. Kassell, Two-Handed Spatial Interface Tools for Neurosurgical Planning, IEEE Computer, pp. 20-26, July 1995

  640. D. Wrege and J. Liebeherr, Video Traffic Characterization for Multimedia Networks with a Deterministic Service, IEEE INFOCOM, July 1995

  641. W. R. Pearson, G. Robins, D. E. Wrege and T. Zhang, A New Approach to Primer Selection in Polymerase Chain Reaction Experiments, Proc. International Conference on Intelligent Systems for Molecular Biology, Cambridge, England, pp. 285-291, July 1995

  642. J. C. Goble, K. Hinckley, R. Pausch, John W. Snell and Neal F. Kassell, Two-handed Spatial Interface Tools for Neurosurgical Planning, IEEE Computer, special issue on Real Applications for Virtual Reality, July 1995

  643. C. L. Viles and J. C. French, Dissemination of Collection Wide Information in a Distributed Information Retrieval System, International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR'95), July 1995

  644. R. Craighurst and W. N. Martin, Enhancing GA Performance through Crossover Prohibitions Based on Ancestry, International Conference on Genetic Algorithms, pp. 130-135, July 1995

  645. S. Srinivasan and P. F. Reynolds, Super-criticality Revisited, Workshop on Parallel and Distributed Simulation (PADS'95), June 1995

  646. J. Sublett, B. Dempsey and A. C. Weaver, Design and Implementation of a Digital Teleultrasound System for Real-Time Remote Diagnosis, IEEE Computer-Based Medical Systems Conference, June 1995

  647. M. Alexander and G. Robins, New Performance-Driven FPGA Routing Algorithms, ACM/IEEE Design Automation Conference, pp. 562-567, San Francisco, CA, June 1995

  648. M. Lehr, Y. Kim and S. Son, StarBase: A Firm Real-Time Database Manager for Time-Critical Applications, Euromicro Workshop on Real-Time Systems, pp. 317-322, Odense, Denmark, June 1995

  649. B. McCoy and G. Robins, Non-Tree Routing, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 14(6), pp. 780-784, June 1995

  650. K. Wika and J. Knight, On the Enforcement of Software Safety Policies, IEEE Conference on Computer Assurance (COMPASS '95), Gaithersburg, MD, June 1995

  651. J. Liebeherr, I. F. Akyildiz and D. Sarkar, A New Protocol for Bandwidth Regulation of Real-Time Traffic Classes in Internetworks, IEEE International Conference on Distributed Computer Systems, pp. 44-51, Vancouver, May 1995

  652. and A. Ferrari, Distributed Interactive Simulation in the Legion System, Electronic Conference on Scalability in Training Simulation, May 1995

  653. E. Knightly, D. Wrege, J. Liebeherr and H. Zhang, Fundamental Limits and Tradeoffs of Providing Deterministic Guarantees to VBR Video Traffic, ACM SIGMETRICS, pp. 98-107, May 1995

  654. A. Natrajan and A. Nguyen-Tuong, To Disaggregate or Not To Disaggregate, That is Not the Question, ELECSIM 95, Best Paper Award, May 1995

  655. R. Pausch, T. Burnette, A. C. Capeheart, M. Conway, D. Cosgrove, R. DeLine, J. Durbin, R. Gossweiler, S. Koga and J. White, A Brief Architectural Overview of Alice, a Rapid Prototyping System for Virtual Reality, IEEE Computer Graphics and Applications, May 1995

  656. S. Son, R. David and R. Mukkamala, Supporting Security Requirements in Multilevel Real-Time Databases, IEEE Symposium on Security and Privacy, Oakland, CA, pp. 199-210, May 1995

  657. J. Sole-Pareta, D. Sarkar, J. Liebeherr and I. Akyildiz, Adaptive Multipath Routing of Connectionless Traffic in an ATM Network, Proc. IEEE ICC`95 Conference, pp. 1626-1630, May 1995

  658. R. Pausch, T. Burnette, A. C. Capehart, M. Conway, D. Cosgrove, R. DeLine, J. Durbin, R. Gossweiler and S. Koga, J. White, Alice: A Rapid Prototyping System for 3D Graphics, IEEE Computer Graphics and Applications, pp. 8-11, May 1995

  659. J. Liebeherr and D. Liao, A Service with Bounded Degradation in Quality-of-Service Networks, IEEE INFOCOM '95, Boston, April 1995

  660. and J. Liebeherr, Multimedia Networks: Issues and Challenges, IEEE Computer, Vol. 28, No. 4, pp. 68-69, April 1995

  661. D. P. Luebke and C. Georges, Portals and Mirrors: Simple, Fast Evaluation of Potentially Visible Sets, Symposium on Interactive 3-D Graphics, April 1995

  662. G. Robins and B. L. Robinson, Pattern Minefield Detection from Inexact Data, Proc. SPIE International Symposium on Aerospace/Defense Sensing and Dual-Use Photonics, Volume 2496, Orlando, FL, pp. 568-574, April 1995

  663. S. H. Son and F. Zhang, Real-Time Replication Control for Distributed Database Systems: Algorithms and Their Performance, International Symposium on Database Systems for Advanced Applications (DASFAA'95), pp. 214-221, Singapore, April 1995

  664. J. M. Varanelli and J. P. Cohoon, A Two-Stage Simulated Annealing Methodology, Great Lakes Symposium on VLSI, March 1995

  665. J. L. Ganley and J. P. Cohoon, Thumbnail Rectilinear Steiner Trees, Great Lakes Symposium on VLSI, March 1995

  666. A. S. Grimshaw, A. Nguyen-Tuong and W. A. Wulf, Campus-Wide Computing: Early Results Using Legion at the University of Virginia, University of Virginia Technical Report CS-95-19. The International Journal of Supercomputer Applications and High Performance Computing, March 1995

  667. W. Wulf and S. McKee, Hitting the Wall: Implications of the Obvious, University of Virginia Technical Report CS-94-38, December 1994. ACM SIGARCH Computer Architecture News, 23(1), pp. 20-24, March 1995

  668. J. Barros, J. French, W. Martin and P. Kelly, System for Indexing Multi-spectral Satellite Images for Efficient Content-based Retrieval, IST/SPIE: Storage and Retrieval for Image and Video Databases III, San Jose, CA, February 1995

  669. E. West and A. S. Grimshaw, Briad: Integrating Task and Data Parallelism, International Conference on Parallel Processing (Frontiers'95), pp. 211-219, February 1995

  670. M. W. Bailey and J. W. Davidson, A Formal Model and Specification Language For Procedure Calling Conventions, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'95), January 1995

  671. S. McKee and W. Wulf, Access Ordering and Memory-Conscious Cache Utilization, IEEE Symposium on High Performance Computer Architecture, pp. 253-262, Raleigh, NC, January 1995

  672. F. Brill, W. Martin and T. Olson, Markers Elucidated and Applied in Local 3-space, IEEE Symposium on Computer Vision, pp. 49-54, January 1995

  673. J. Davidson and S. Jinturkar, Improving Instruction-Level Parallelism by Loop Unrolling and Dynamic Memory Disambiguation, International Symposium on Microarchitecture, pp. 125-134, Ann Arbor, MI, January 1995

  674. M. DeLong and J. Ortega, SOR as a Preconditioner, Applied Numerical Mathematics, pp. 431-440, January 1995

  675. G. Ferrer and W. Martin, Using Genetic Programming to Evolve Board Evaluation Functions, IEEE Conference on Evolutionary Computation, January 1995

  676. J. K. Hodgins, W. L. Wooten, D. C. Brogan and J. F. O'Brien, Animating Human Athletics, Proc. of SIGGRAPH 1995, Los Angeles, CA, January 1995

  677. Y. Kim, M. Lehr, D. George and S. Son, Supporting Real-Time Transactions in Distributed Time-Critical Applications: Issues and Experiences, Journal of Mini and Microcomputers, Special Issue on Parallel and Distributed Real-Time Systems, January 1995

  678. Y. Kim and S. Son, Predictability and Consistency in Real-Time Database Systems, Advances in Real-Time Systems, S. H. Son (ed.), Prentice Hall, pp. 509-531, January 1995

  679. Y. Oh and S. Son, Enhancing Fault Tolerance in Rate-Monotonic Scheduling, Responsive Computing, January 1995

  680. J. Sklenar, N. Agarwal, J. Dent, S. Son and S. Kaul, Compression of Two-Dimensional Echocardiographic Images: How Far Can We Go?, Cardiovascular Imaging, vol. 7, pp. 49-53, January 1995

  681. R. Stoakley, M. Conway and R. Pausch, Virtual Reality on a WIM: Interactive Worlds in Miniature, ACM CHI'95 Conference on Human Factors in Computing Systems, January 1995

  682. C. L. Viles and J. C. French, Availability and Latency of World Wide Web Information Servers, Computing Systems, Vol.8, No. 1, pp. 61-91, January 1995

  683. W. Wulf, C. Wang and D. Kienzle, A New Security Model for Distributed Systems, 1996 New Security Paradigms Workshop, Lake Arrowhead, California, pp 34-43. University of Virginia Technical Report CS-95-34, January 1995

  684. S. H. Son, J. Ratner and S. Chiang, StarBase: A Simulation Laboratory for Distributed Database Research, Journal of Computer Simulation, vol. 5, no. 3, pp 327-350, 1995, January 1995

  685. K. Hinckley, J. Goble, R. Pausch and N. F. Kassell, New Applications for the Touchscreen in 2D and 3D Medical Imaging Workstations, SPIE Medical Imaging 1995, Image Capture and Display, January 1995

  686. R. Stoakley, M. Conway and R. Pausch, Virtual Reality on a WIM: Interactive Worlds in Miniature, ACM Conference on Human Factors in Computing Systems, January 1995

  687. David Evans, John Guttag, Jim Horning and Yang Meng Tan, LCLint: A Tool for Using Specifications to Check Code, SIGSOFT Symposium on the Foundations of Software Engineering, December 1994

  688. Y. Oh and S. H. Son, A Simple Task Assignment Scheme for Supporting Fault-Tolerance in Rate-Monotonic Scheduling, IEEE Workshop on the Composibility of Real-Time and Fault-tolerant Systems, San Juan, Puerto Rico, December 1994

  689. R. Gossweiler, R. J. Laferriere, M. L. Keller and R. Pausch, An Introductory Tutorial for Developing Multi-User Virtual Environments, PRESENCE: Teleoperators and Virtual Environments, pp. 255-264, December 1994

  690. S. H. Son and R. David, Design and Analysis of a Secure Two-Phase Locking Protocol, International Computer Software and Applications Conference (COMPSAC'94), pp. 374-379, Taipei, Taiwan, November 1994

  691. J. Griffith, G. Robins, J. S. Salowe and T. Zhang, Closing the Gap: Near-Optimal Steiner Trees in Polynomial Time, IEEE Transactions on Computer-Aided Design of Integrated Circuits and, November 1994

  692. K. G. Wika and J. C. Knight, Software Safety in a Medical Application, International Symposium on Medical Robotics and Computer Assisted Surgery (MRCAS'94), Pittsburgh, PA, November 1994

  693. M.F. Dunn and J.C. Knight, The Role of Domain Analysis in Quality Assurance, Twelfth Pacific Northwest Software Quality Conference, Portland OR, November 1994

  694. K. Hinckley, R. Pausch, J. C. Goble and N. F. Kassell, A Survey of Design Issues in Spatial Input, Symposium on User Interface Software and Technology, November 1994

  695. B. J. Dempsey, M. T. Lucas and A. C. Weaver, An Empirical Study of Multimedia Distribution over a Campus-Wide Network, IEEE Local Computer Networks Conference, pp. 376-387, Minneapolis, MN, October 1994

  696. N. Agarwal and S. H. Son, Synchronization of Distributed Multimedia Data in an Application-Specific Manner, ACM International Conference on Multimedia, San Francisco, CA, October 1994

  697. J. F. Karpovich, A. S. Grimshaw and J. C. French, Extensible File Systems (ELFS): An Object-Oriented Approach to High Performance File I/O, Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 191-204, Portland, October 1994

  698. J. E. Barros, J. C. French, W. N. Martin, P. Kelly and J. M. White, Indexing Image Databases for Content Based Retrieval, Image and Information Systems: Applications and Opportunities (AIPR Workshop), Proc. SPIE 2368, pp. 25-36, October 1994

  699. Bert J. Dempsey, Matthew T. Lucas and Alfred C. Weaver, An Empirical Study of Packet Voice Distribution over a Campus-Wide Network, IWACA'94, Heidelberg, Germany, September 1994

  700. M. J. Alexander and G. Robins, High Performance Routing for Field-Programmable Gate Arrays, IEEE International ASIC Conference and Exhibit, September 1994

  701. M. J. Alexander, J. P. Cohoon, J. L. Ganley and G. Robins, An Architecture -Independent Approach to FPGA Routing Based on Multi-Weighted Graphs, Proc. European Design Automation Conference, Grenoble, France, pp. 259-264, September 1994

  702. and Matthew T. Lucas Bert J. Dempsey, Design and Implementation of a High Quality Video Distribution System Using XTP Reliable Multicast, IWACA'94, Heidelberg, Germany, September 1994

  703. F. Karpovich, J. C. French and A. S. Grimshaw, High Performance Access to Radio Astronomy Data: A Case Study, International Conference on Scientific and Statistical Database Management, pp. 240-249, Charlottesville, VA, September 1994

  704. L. MacCallum and A. S. Grimshaw, A Parallel Object-Oriented Linear Algebra Library, Object-Oriented Numerics Conference, pp. 233-249, Sun River, OR, August 1994

  705. J. B. Weissman and A. S. Grimshaw, Network Partitioning of Data Parallel Computations, Symposium on High-Performance Distributed Computing (HPDC-3), pp. 149-256, San Francisco, CA, August 1994

  706. J. C. Knight, A. G. Cass, A. M. Fern and K. G. Wika, Testing a Safety-Critical Application, International Symposium on Software Testing and Analysis (ISSTA'94), Seattle, WA, August 1994

  707. J. Lee, M. Lee and S. H. Son, Issues in Developing Object-Oriented Database Systems for Real-Time Applications, IEEE Workshop on Real-Time Applications, Washington, DC, July 1994

  708. S. H. Son and R. David, Synthesis of Multilevel Security and Timing Requirements in Complex Real-Time Database Systems, Complex Systems Engineering Synthesis and Assessment Technology Workshop, Washington, DC, July 1994

  709. J. Lee and S. H. Son, Semantic-Based Concurrency Control for Object-Oriented Database Systems Supporting Real-Time Applications, IEEE Euromicro Workshop on Real-Time Systems, pp. 156-161, Vaesteraas, Sweden, July 1994

  710. J. Taylor, T. Olson and W. N. Martin, Accurate Vergence Control in Complex Scenes, IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'94), June 1994

  711. J. Davidson and S. Jinturkar, Memory Access Coalescing: A Technique for Eliminating Redundant Memory Accesses, SIGPLAN 94 Symposium on Programming Language Design and Implementation, pp. 186-195, June 1994

  712. K. D. Boese, A. B. Kahng, B. A. McCoy and G. Robins, Rectilinear Steiner Trees with Minimum Elmore Delay, Proc. ACM/IEEE Design Automation Conference, San Diego, CA, pp. 381-386, June 1994

  713. A.S. Grimshaw, J. B. Weissman, E. A. West and E. Loyot, Metasystems: An Approach Combining Parallel Processing And Heterogeneous Distributed Computing Systems, Journal of Parallel and Distributed Computing, June 1994

  714. T. D. Hodes, B. A. McCoy and G. Robins, Dynamically-Wiresized Elmore-Based Routing Constructions, IEEE International Symposium on Circuits and Systems, May 1994

  715. A. Burchard, Y. Oh, J. Liebeherr and S. H. Son, A Linear Time Online Task Assignment Scheme for Multiprocessor Systems, IEEE Workshop on Real-Time Operating Systems and Software, pp. 28-31, Seattle, WA, May 1994

  716. S. H. Son and N. Agarwal, Synchronization of Temporal Constructs in Distributed Multimedia Systems with Controlled Accuracy, IEEE Conference on Multimedia Computing and Systems, Boston, Massachusetts, pp 550-555, May 1994

  717. A. Sarkar, R. Waxman and J. P. Cohoon, System Design Utilizing Integrated Specification and Performance Models, VHDL International Users Forum Spring Conference, May 1994

  718. A. Burrell and P. Papantoni-Kazakos, Traffic Management in Broadband Integrated Services Digital Networks, IEEE SoutheastCon 'Creative Technology Transfer - A Global Affair', April 1994

  719. Y. Kim, M. Lehr, D. George and S. H. Son, A Database Server for Distributed Real-Time Systems: Issues and Experiences, Workshop on Parallel and Distributed Real-Time Systems, April 1994

  720. P. E. Ammann, S. S. Brilliant and J. C. Knight, The Effect Of Imperfect Error Detection On Reliability Assessment Via Life Testing, IEEE Transactions on Software Engineering, Vol. 20, No. 2, February 1994

  721. B. A. McCoy and G. Robins, Non-Tree Routing, Proceeding of European Design Automation Conference, Paris, France, pp. 430-434, February 1994

  722. M. J. Alexander and G. Robins, A Unified New Approach to FPGA Routing Based on Multi-Weighted Graphs, Proc. ACM/SIGDA International Workshop on Field-Programmable Gate Arrays, Berkeley, CA, February 1994

  723. Y. Oh and S. H. Son, Scheduling Hard Real-Time Tasks with Tolerance of Multiple Processor Failures, Euromicro Journal, Special Issue on Parallel Processing in Embedded Real-Time Systems, vol. 40, no. 2, pp 193-206, February 1994

  724. J. B. Weissman, A.S. Grimshaw and R. Ferraro, Parallel Object-Oriented Computation Applied to a Finite 2D Element Problem, Scientific Computing, February 1994

  725. S. H. Son, Y. Kim and R. Beckinger, MRDB: A Multi-user Real-Time Database Testbed, Hawaii International Conference on System Sciences, pp. 543-552, Maui, HI, January 1994

  726. M. J. Alexander, J. P. Cohoon, J. L. Ganley and G. Robins, Placement and Routing for Performance-Oriented FPGA Layout, VLSI Design: an International Journal of Custom-Chip Design, Simulation and Testing, January 1994

  727. N. H. Kim, J. C. French and D. E. Brown, Boolean Query Reformulation with the Query Tree Classifier, in Advances in Classification Research, vol. 4, Learned Information, pp. 123- 138, January 1994

  728. R. Pausch, Laura Vogtle and M. Conway, One Dimensional Motion Tailoring for the Disabled: A User Study, PRESENCE: Teleoperators and Virtual Environments, pp. 244-251, January 1994

  729. K. Hinckley, R. Pausch, J. Goble and N. Kassell, A Three-Dimensional User Interface for Neurosurgical Visualization, SPIE Conference on Medical Imaging, pp. 126-136, January 1994

  730. K. Hinckley, R. Pausch, J. C. Goble and N. F. Kassell, Passive Real-World Interface Props for Neurosurgical Visualization, Proc. ACM Conference on Human Factors in Computing Systems, January 1994

  731. J. Lee and S. H. Son, Using Dynamic Adjustment of Serialization Order for Real-Time Database, IEEE Real-Time Systems Symposium, Raleigh-Durham, pp. 66-75, NC, December 1993

  732. S. Srinivasan and P. F. Reynolds, Non-interfering GVT Computation via Asynchronous Global Reductions, Winter Simulation Conference, December 1993

  733. E. A. Myers and J. C. Knight, An Improved Software Inspection Technique And An Empirical Evaluation Of Its Effectiveness, Communications of the ACM, Vol. 36, No. 11, pp. 50-61, November 1993

  734. N. Agarwal, S. H. Son, J. Sklenar and S. Kaul, Model Multimedia Workstation for Echocardiography, Symposium on Computer Applications in Medical Care (SCAMC), WA, November 1993

  735. R. Gossweiler, Chris Long, Shuichi Koga and R. Pausch, DIVER: A Distributed Virtual Environment Research Platform, IEEE Symposium on Research Frontiers in Virtual Reality, San Jose, CA, October 1993

  736. J. Liebeherr, J. F. Akyildiz and A. N. Tantawi, Dual Bus MAN's with Multiple-priority Traffic, IEEE Journal on Selected Areas in Communications, October 1993

  737. K. D. Boese, A. B. Kahng, B. A. McCoy and G. Robins, Fidelity and Near-Optimality of Elmore-Based Routing Constructions, Proceeding of IEEE International Conference on Computer Design, Cambridge, pp. 81-84, October 1993

  738. R. David and S. H. Son, A Secure Two-Phase Locking Protocol, IEEE Symposium on Reliable Distributed Systems, Princeton, New Jersey, pp 126-135, October 1993

  739. J. Michel, A. Waterman and A. C. Weaver, Performance Evaluation of an Off-Host Communications System, IEEE Local Computer Networks Conference, Minneapolis, MN, September 1993

  740. B.J. Dempsey, J. Liebeherr and A.C. Weaver, A Delay-Sensitive Error Control Scheme for Continuous Media Communications, IEEE Workshop on the Architecture and Implementation of High Performance Communication Subsystems (HPCS '93), Williamsburg, VA, September 1993

  741. B. J. Dempsey, J. Liebeherr and A. C. Weaver, A New Error Control Scheme for Packetized Voice over High-Speed Local Area Networks, IEEE Local Computer Networks Conference, pp. 91 - 100, Minneapolis, MN, September 1993

  742. T. Barrera, J. Griffith, G. Robins and T. Zhang, Narrowing the Gap: Near-Optimal Steiner Trees in Polynomial Time, Proc. IEEE International ASIC Conference, Rochester, pp. 87-90. Steiner code (UNIX tar format), September 1993

  743. F. Street and A. C. Weaver, Video Mail for Networked Personal Computers, High Performance Communication Subsystems, Williamsburg, VA, September 1993

  744. J. Michel, A. Waterman and A. Weaver, Performance Evaluation of an Off-Host Communications Architecture, High Performance Communication Subsystems, Williamsburg, VA, September 1993

  745. S. H. Son, D. George and Y. Kim, Developing a Database System for Time-Critical Applications, IEEE International Conference on Database and Expert Systems Applications (DEXA'93), Prague, Czech Republic, Lecture Notes in Computer Science, September 1993

  746. A. S. Grimshaw, J. B. Weissman and E. A. West, Overhead versus Application Granularity in Mentat, Workshop on Efficient Implementation of Concurrent Object-Oriented Programs (OOPSLA'93), pp. a1-a5, WA, September 1993

  747. F. Karpovich, M. Judd, W. T. Strayer and A. S. Grimshaw, A Parallel Object-Oriented Framework for Stencil Algorithms, Symposium on High-Performance Distributed Computing, pp. 34-41, August 1993

  748. A. C. Weaver and R. Simoncic, A High Speed Communications Protocol for Distributed Applications, IEEE International Symposium on Industrial Electronics, Budapest, Hungary, June 1993

  749. Y. Kim and S. H. Son, An Approach Towards Predictable Real-Time Transaction Processing, Euromicro Workshop on Real-Time Systems, Oulu, Finland, pp 70-75, June 1993

  750. A.S. Grimshaw, E. A. West and W. R. Pearson, No Pain and Gain! -Experiences with Mentat on a Biological Application, Concurrency: Practice & Experience, June 1993

  751. M. F. Dunn and J. C. Knight, Automating the Detection of Reusable Parts in Existing Software, International Conference on Software Engineering, May 1993

  752. K. D. Boese, A. B. Kahng, B. A. McCoy and G. Robins, Toward Optimal Routing Trees, Proc. ACM/SIGDA Physical Design Workshop, Lake Arrowhead, CA, pp. 44-51, April 1993

  753. J. Lee and S. H. Son, An Optimistic Concurrency Control Scheme for Real-Time Database Systems, International Symposium on Database Systems for Advanced Applications (DASFAA'93), pp. 387-394, Taejon, Korea, April 1993

  754. J. B. Weissman, A. S. Grimshaw and R. Ferraro, Parallel Object-Oriented Computation Applied to a Finite Element Problem, Object-Oriented Numeric Conference, pp. 90-107, Sun River, OR, April 1993

  755. A. S. Grimshaw, T. Strayer and P. Narayan, Dynamic Object-Oriented Parallel Processing, IEEE Parallel & Distributed Technology: Systems Applications, pp. 33-47, April 1993

  756. J. S. Salowe, D. S. Richards and D. E. Wrege, Mixed Spanning Trees: A Technique for Performance-driven Routing, Great Lakes Symposium on Design Automation of High Performance VLSI Systems, March 1993

  757. T. Barrera, J. Griffith, S. A. McKee, G. Robins and T. Zhang, Toward a Steiner Engine: Enhanced Serial and Parallel Implementations of the Iterated 1-Steiner MRST Algorithm, Symposium on Design Automation of High Performance VLSI Systems, March 1993

  758. R. Jacob, J. J. Leggett, B. A. Myers and R. Pausch, Interaction Styles and Input/Output Devices, Behavior and Information Technology, pp. 69-79, March 1993

  759. F. Street and A. C. Weaver, A Video Mail Distribution System for Networked Personal Computers, Conference on Local Computer Networks, February 1993

  760. M. A. Alexander, M. W. Bailey, B. R. Childers, J. W. Davidson and S. Jinturkar, Memory Bandwidth Optimizations for Wide-bus Machines, International Conference on System Sciences, January 1993

  761. R. Pausch, T. Crea and M. Conway, A Literature Survey for Virtual Environments: Military Flight Simulator Visual Systems and Simulator Sickness, PRESENCE: Teleoperators and Virtual Environments, January 1993

  762. R. Ferraro, A.S. Grimshaw and J. B. Weissman, Object-Oriented Parallelism Applied to a Finite-Element Code, Poster Session at Supercomputing '92, November 1992

  763. R. Pausch, M. Conway and R. Deline, Lessons Learned from SUIT, the Simple User Interface Toolkit, ACM Transactions on Office Information Systems, pp. 320-344, October 1992

  764. T. J. Olson, N. G. Klop, M. R. Hyett and S. M. Carnell, MAVIS: A Visual Environment for Active Computer Vision, IEEE Workshop on Visual Languages, September 1992

  765. J. F. McNabb and A. C. Weaver, Digitized Voice Distribution using XTP and FDDI, Conference on Local Computer Networks, September 1992

  766. A. C. Weaver and J. F. McNabb, Digital Voice Distribution Using XTP and FDDI, Local Computer Networks Conference, Minneapolis, MN, September 1992

  767. S. H. Son, J. Lee and Y. Lin, Hybrid Protocols Using Dynamic Adjustment of Serialization Order for Real-Time Concurrency Control, Journal of Real-Time Systems, September 1992

  768. A. S. Grimshaw, E. A. West and W. R. Pearson, No Pain and Gain! -Experiences with Mentat on a Biological Application, Symposium on High-Performance Distributed Computing, pp. 57-66, Syracuse, NY, September 1992

  769. J. H. Leatherby and R. Pausch, Voice Input as a Replacement for Keyboard Accelerators in a Mouse-Based Graphical Editor: An Empirical Study, Journal of the American Voice Input/Output Society, July 1992

  770. R. Pausch and J. H. Leatherby, An Empirical Study: Adding Voice Input to a Graphical Editor, Journal of the American Voice Input/Output Society, July 1992

  771. S. H. Son and S. Kouloumbis, Replication Control for Distributed Real-time Database Systems, International Conference on Distributed Computing Systems, June 1992

  772. S. H. Son, S. Yannopoulos, Y-K. Kim and C. Iannacone, Integration of a Database System with Real-Time Kernel for Time Critical Applications, International Conference on System Integration, Morristown, New Jersey, pp. 172-180, June 1992

  773. Y. Oh and S. H. Son, An Algorithm for Real-Time Fault-Tolerant Scheduling in Multiprocessor Systems, Euromicro Workshop on Real-Time Systems Athens, pp. 190-195, Greece, June 1992

  774. S. H. Son and J. Lee, A New Approach to Real-Time Transaction Scheduling, Euromicro Workshop on Real-Time Systems, pp. 177-182, Athens, Greece, June 1992

  775. J. Davidson, J. Rabung and D. Whalley, Relating Static and Dynamic Machine Code Measurements, IEEE Transactions on Computers, pp. 444-454, April 1992

  776. W.T. Strayer and A. C. Weaver, Is XTP Suitable for Real-Time Distributed Systems?, International Workshop on Advanced Communications and Applications for High Speed Networks, Munich, Germany, March 1992

  777. B. J. Dempsey and A. C. Weaver, Controlled Message Loss under Connection-Oriented Service, International Workshop on Advanced Communications and Applications for High Speed Networks, Munich, Germany, March 1992

  778. B. J. Dempsey, W. T. Strayer and A. C. Weaver, Adaptive Error Control for Multimedia Data Transfers, International Workshop on Advanced Communications and Applications for High Speed Networks, Munich, Germany, March 1992

  779. S. Bapat, J. P. Cohoon, P. L. Heck, A. Ju and L. J. Randall, Examining Routing Solutions, Great Lakes Symposium on VLSI, February 1992

  780. S. H. Son, S. Park and Y. Lin, An Integrated Real-Time Locking Protocol, IEEE International Conference on Data Engineering, Phoenix, Arizona, pp 527-534, February 1992

  781. S. H. Son, J. Lee and S. Shamsunder, Real-Time Transaction Processing: Pessimistic, Optimistic, and Hybrid Approaches, International Workshop on Research Issues on Data Engineering (RIDE'92), Phoenix, Arizona, February 1992

  782. J. L. Pfaltz, J. C. French, A. S. Grimshaw and R. D. McElrath, Functional Data Representation in Scientific Information Systems, Intl. Space Year Conference on Earth and Space Science Information Systems (ESSIS), Pasadena, CA, pp. 788-799, February 1992

  783. J. W. Davidson and A. M. Holler, Subprogram Inlining: a Study of its Effects on Program Execution Time, IEEE Transactions on Software Engineering, February 1992

  784. R. Pausch, G. G. Robertson, S. K. Card, J. D. Mackinlay and M. Moshell, Three Views of Virtual Reality, IEEE Computer, pp. 79-83, February 1992

  785. Y. Oh and S. H. Son, Multiprocessor Support for Real-Time Fault-Tolerant Scheduling, IEEE Workshop on Architectural Aspects of Real-Time Systems, San Antonio, TX, pp. 76-80, December 1991

  786. J. D. Harvey and A. C. Weaver, Experience with the Abstract Syntax Notation One and the Basic Encoding Rules, Local Computer Networks Conference, Minneapolis, MN, October 1991

  787. J. P. Cohoon and L. J. Randall, Critical Net Routing, IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD'91), October 1991

  788. S. H. Son and S. Chiang, Evaluation of a Concurrent Checkpointing Algorithm for Distributed Database Systems, International Conference on Parallel and Distributed Computing and Systems, pp. 125-129, WA, October 1991

  789. R. Pausch and J. H. Leatherby, Voice Input vs. Keyboard Accelerators: A User Study, Conference of the American Voice Input/Output Society (AVIOS???1), pp. 9-14, September 1991

  790. S. H. Son, C. Iannacone and M. Poris, RTDB: A Real-Time Database Manager for Time-Critical Applications, Euromicro Workshop on Real-Time Systems, Paris, France, pp 207-214, June 1991

  791. M. F. Dunn and J. C. Knight, Software Reuse in an Industrial Setting: a Case Study, International Conference on Software Engineering, May 1991

  792. R. P. Cook, S. H. Son, H. Y. Oh and J. Lee, New Paradigms for Real-Time Database Systems, IEEE Workshop on Real-Time Operating Systems and Software, Atlanta, GA, pp. 103-108, May 1991

  793. S. H. Son, C. Iannacone and R. Beckinger, Integrating Databases with Real-Time Computing Systems, IEEE SoutheastCon '91, Williamsburg, Virginia, pp. 837-841, April 1991

  794. S. H. Son, P. Wagle and S. Park, New Real-Time Database Scheduling: Design, Implementation, and Performance Evaluation, International Symposium on Database Systems for Advanced Applications (DASFAA'91), Tokyo, Japan, pp 146-155, April 1991

  795. S. H. Son, M. Poris and C. Iannacone, Implementing a Distributed Real-Time Database Manager, International Symposium on Database Systems for Advanced Applications (DASFAA'91), Tokyo, Japan, pp 51-60, April 1991

  796. M. E. Benitez and J. W. Davidson, Code Generation For Streaming: An Access/Execute Mechanism, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IV), April 1991

  797. J. C. French, T. W. Pratt and M. Das, Performance measurement of a parallel Input/Output system for the Intel iPSC/2 Hypercube, Joint International Conference on Measurement and Modeling of Computer Systems and ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems, April 1991

  798. S. Bapat and J. P. Cohoon, SHARP-looking Geometric Partitioning, European Conference on Design Automation (EDAC), February 1991

  799. Y. Lin and S. H. Son, Concurrency Control in Real-Time Databases by Dynamic Adjustment of Serialization Order, Real-Time Systems Symposium, Orlando, Florida, pp 104-112, December 1990

  800. R. Pausch and J. Detmer, Node Popularity as a Hypertext Browsing Aid, Electronic Publishing: Origination Dissemination and Design, December 1990

  801. B. J. Dempsey, J. C. Fenton and A. C. Weaver, The Multidriver: A Reliable Multicast Service for the Xpress Transfer Protocol, Local Computer Networks Conference, Minneapolis, MN, October 1990

  802. R. Simoncic, A. C. Weaver and M. A. Colvin, Experience with the Xpress Transfer Protocol, Local Computer Networks Conference, Minneapolis, MN, October 1990

  803. R. M. Sanders and A. C. Weaver, The Xpress Transfer Protocol (XTP)—A Tutorial, ACM SIGCOMM Computer Communication Review, October 1990

  804. R. Pausch and J. H. Leatherby, A Study Comparing Mouse-Only Input vs. Mouse-Plus-Voice Input for a Graphical Editor, Conference of the American Voice Input/Output Society (AVIOS???0), pp. 227-231, September 1990

  805. J. W. Davidson and D. B. Whalley, Reducing the Cost of Branches by Using Registers, International Symposium on Computer Architecture, May 1990

  806. S. H. Son and J. Lee, Scheduling Real-Time Transactions in Distributed Database Systems, IEEE Workshop on Real-Time Operating Systems and Software, Charlottesville, VA, pp. 39-43, May 1990

  807. A. S. Grimshaw, A. Silberman and J. W. S. Liu, Real-Time Mentat Programming Language and Architecture, IEEE Workshop on Real-Time Operating Systems and Software, Charlottesville, VA, May 1990

  808. J. W. Davidson and D. B. Whalley, Ease: An Environment For Architecture Study and Experimentation, ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems (SIGMETRICS'90), April 1990

  809. A. S. Grimshaw, D. Mack and W. T. Strayer, MMPS Portable Message Passing Support for Parallel Computing, Distributed Memory Computing Conference, Charleston, SC: 784-789, April 1990

  810. A. S. Grimshaw, J. L. Pfaltz, J. C. French and S. H. Son, Exploiting Coarse-Grained Parallelism in Database Applications, IEEE International Conference on Database, Parallel Architectures, and Their Applications, Miami, FL, pp. 510-512, March 1990

  811. S. H. Son and N. Haghighi, Performance Evaluation of Multiversion Database Systems, IEEE International Conference on Data Engineering, pp. 129-136, Los Angeles, CA, February 1990

  812. R. Simoncic, A. C. Weaver, B. G. Cain and M. A. Colvin, SEANET: A Real-Time Communications Network for Ships, International Conference on Mini and Microcomputers, Miami Beach, FL, December 1989

  813. W. T. Strayer, M. Mitchell and A. C. Weaver, ISO Protocol Performance Measurements, International Conference on Mini and Microcomputers, Miami Beach, FL, December 1989

  814. D. W. Minnich and A. C. Weaver, Performance Analysis of the SAE HSRB Token Ring Network, International Conference on Mini and Microcomputers, Miami Beach, FL, December 1989

  815. W. T. Strayer and A. C. Weaver, An Argument for Judicious Use of Error Detection Mechanisms in LANs, Conference on Local Computer Networks, October 1989

  816. W. T. Strayer and A. C. Weaver, An Argument for Judicious Use of Error Correction Mechanisms in LANs, Computer Networks Conference, Minneapolis, MN, October 1989

  817. A. C. Weaver and J. F. McNabb, A Real-Time Monitor for Token Ring Networks, MILCOM'89, Boston, MA, October 1989

  818. S. H. Son and Y. Kim, A Software Prototyping Environment and Its Use in Developing a Multiversion Distributed Database System, International Conference on Parallel Processing, St. Charles, Illinois, vol. 2, pp. 81-88, August 1989

  819. S. T. Gregory and J. C. Knight, On the Provision of Backward Error Recovery in Production Programming Languages, International Symposium on Fault-Tolerant Computing (FTCS-19), June 1989

  820. B. Holeman and W. N. Martin, Dynamic Scene Analysis for Vessel Structure Determination, IEEE SoutheastCon '89, 'Energy and Information Technologies in the Southeast', April 1989

  821. S. H. Son, R. Cook and J. Ratner, Communication Paradigms for Message-Based Multicomputer Systems, ACM Conference on Hypercube Concurrent Computers and Applications, Monterey, CA, pp. 879-882, March 1989

  822. J. P. Cohoon, S. U. Hedge, W. N. Martin and D. Richards, Floorplan Design Using Distributed Genetic Algorithms, IEEE International Conference on Computer-Aided Design (ICCAD-88), November 1988

  823. R. Simoncic, A. C. Weaver, B. G. Cain and M. A. Colvin, SHIPNET: A Real-Time Local Area Network for Ships, Conference on Local Computer Networks, Minneapolis, MN, October 1988

  824. J. H. Peden and A. C. Weaver, The Utilization of Priorities on Token Ring Networks, Conference on Local Computer Networks, Minneapolis, MN, October 1988

  825. W. T. Strayer and A. C. Weaver, Performance Measurements of Motorola's Implementation of MAP, Conference on Local Computer Networks, Minneapolis, MN, October 1988

  826. J. H. Peden and A. C. Weaver, Are Priorities Useful on an IEEE 802.5 Token Ring?, IEEE Transactions on Industrial Electronics, Vol. IE-35, No. 3, pp. 361-365, August 1988

  827. R. M. Gorur and A. C. Weaver, Setting Target Rotation Times in an IEEE 802.4 Network, IEEE Transactions on Industrial Electronics, Vol. IE-35, No. 3, pp. 366-371, August 1988

  828. P. Shebalin, S. H. Son and C.-H. Chang, An Approach to Software Safety Analysis in a Distributed Real-Time System, Conference on Computer Assurance (COMPASS'88), Washington, DC, pp 29-43, July 1988

  829. J. P. Cohoon and P. L. Heck, BEAVER: a Computational-geometry-based tool for Switchbox Routing, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, June 1988

  830. P. E. Ammann and J. C. Knight, Data Diversity: An Approach To Software Fault Tolerance, IEEE Transactions on Computers, April 1988

  831. A. C. Weaver and C. F. Summers, The IEEE 802.4 TokenBus -- A Performance Bound on GM MAP, IEEE Transactions on Industrial Electronics, Vol. IE-35, No. 1, February 1988

  832. A. C. Weaver and M. A. Colvin, A Real-Time Messaging System for Token Ring Networks, SOFTWARE - Practice and Experience, Vol. 17(12), pp. 885-897, December 1987

  833. A.S. Grimshaw and J. W. S. Liu, Mentat: A Prototype Macro Data-Flow System, Workshop on Large Grain Parallelism, October 1987

  834. A.S. Grimshaw and J. W. S. Liu, Mentat: An Object- Oriented Data-Flow System, Object-Oriented Programming Systems, Languages and Applications Conference, ACM: 35-47, October 1987

  835. J. W. Davidson and R. A. Vaughan, The Effect of Instruction Set Complexity on Program Size and Memory Performance, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-II), October 1987

  836. J. H. Peden and A. C. Weaver, Performance of Priorities on an 802.5 Token Ring, ACM SIGCOMM, Stoweflake, Vermont, June 1987

  837. S. S. Brilliant, J. C. Knight and N. G. Leveson, The Consistent Comparison Problem in N-version Software, ACM SIGSOFT Software Engineering Notes, January 1987

  838. M. A. Colvin and A. C. Weaver, Performance of Single Access Classes on the IEEE Token Bus, IEEE Transactions on Communications, Vol. COM-34, No. 12, pp. 1253-1256, December 1986

  839. C. F. Summers and A. C. Weaver, Performance of IEEE 802.4 -- the Basis of MAP, IEEE Industrial Electronics Society IECON '86, Milwaukee, Wisconsin, October 1986

  840. J. W. S. Liu and A. S. Grimshaw, An Object-Oriented Macro Data Flow Architecture, National Communications Forum, September 1986

  841. A. C. Weaver and D. W. Butler, A Fault-Tolerant Network Protocol for Real-Time Communications, IEEE Transactions on Industrial Electronics, Vol. IE-33, No. 3, pp. 207-211, August 1986

  842. J. W. S. Liu and A. S. Grimshaw, A Distributed System Architecture Based on Macro Data Flow Model, Workshop on Future Directions in Architecture and Software, May 1986

  843. J. C. Knight and P. E. Ammann, An Experimental Evaluation of Simple Methods for Seeding program errors, International Conference on Software Engineering (ICSE'85), August 1985

  844. A. C. Weaver, D. C. Albrecht, M. A. Colvin and M. J. Smith, High-Performance Real-Time Communication Network Protocols, IEEE SoutheastCon, Orlando, FL, April 1983

  845. C. C. White, E. C. Wilson and A. C. Weaver, Decision Aid Development for Use in Ambulatory Health Care Settings, Operations Research, Vol. 30, No. 3, pp. 446-463, May 1982

  846. J. Davidson and C. Fraser, Eliminating Redundant Object Code, Symposium on Principles of Programming Languages, January 1982

  847. A. C. Weaver and K. B. Hall, MEDIC: A Microcomputer Aid for Medical Diagnosis and Treatment, Hawaii International Conference on System Sciences, Honolulu, Hawaii, January 1982

  848. R. W. Henry and A. C. Weaver, Computational Procedures for Vector Criterion Markov Processes, Technical Symposium, National Bureau of Standards, Gaithersburg, Maryland, June 1980

  849. J. R. Taylor and A. C. Weaver, A Checker-playing Algorithm for Multi-microprocessors, Technical Symposium, National Bureau of Standards, Gaithersburg, Maryland, June 1980

  850. S. D. Carson and A. C. Weaver, STARNET: A Distributed Network for Resource Sharing and Parallel Processing with Microcomputers, Technical Symposium, National Bureau of Standards, Gaithersburg, Maryland, June 1980

  851. M. Faiman, A. C. Weaver and R. W. Catlin, MUMS--A Reconfigurable Microprocessor Architecture, IEEE Computer, Vol. 10, No. 1, pp. 11-17, January 1977