- Aide de Camp: Asymmetric Dual Core Design for Power and Energy Reduction
- Impact of Non-stationary Workload on Resource Reservation Based Slack Reclamation
- Preliminary Investigations on Stochastic Information Control Nets Clarence (Skip) Ellis, University of Colorado, USA
- SensorFlock: A Mobile System of Networked Micro-Air Vehicles Ahmad Bilal Hasan, Bill Pisano, Saroch Panichsakul, Pete Gray, Jyh Huang,
- Benefits of Packet Aggregation in Ad-Hoc Wireless Network Ashish Jain, Marco Gruteser, Mike Neufeld, Dirk Grunwald
- A Lightweight Infrastructure for Reconfiguring Applications
- Discovering Models of Software Processes from Event-Based Data
- A Tamper-Resistant Programming Language Dennis Heimbigner
- A Comparison of Planning Based Models for Component Reconfiguration
- Dealing with Failures During Failure Recovery of Distributed Systems
- Fine Grain Spam Suppression Using Reachback Dennis Heimbigner
- SafeVchat: Detecting Obscene Content and Misbehaving Users in Online Video Chat Services
- Unix Memory Allocations Are Not Poisson James Garnett Student Member, IEEE, and Elizabeth Bradley Member, IEEE
- Fault-tolerant and scalable TCP splice and web server architecture
- Simulation-Based Testing of Distributed Systems Matthew J. Rutherford, Antonio Carzaniga, and Alexander L. Wolf
- AIR: Advancement through Interactive Radio S. Revi Sterling, John O'Brien, John K. Bennett
- Experimental evidence of chaotic dynamics in computer hardware Todd Mytkowicz, Elizabeth Bradley, and Amer Diwan
- Towards Physically Rendered Environments Veljko Krunic, Richard Han
- Building a Prototype Analog Computer for Exact-1-in-3-SAT (*) Michael G. Main
- PIV Analysis of Forcing a Planar Jet Using a Loudspeaker
- Modeling Environmental Effects on Directionality in Wireless Networks Eric Anderson, Caleb Phillips, Dirk Grunwald, and Douglas Sicker
- An Intentional Library Approach to Lock-Aware Transactional Memory Justin E. Gottschlich1, Daniel A. Connors1, Dwight Y. Winkler2, Jeremy G. Siek1 and Manish Vachharajani1
- A Consistency Checking Optimization Algorithm for Memory-Intensive Transactions
- X-Layer: An Experimental Implementation of a Cross-Layer Network Protocol Stack for Wireless Sensor Networks
- Efficient Social Website Crawling Using Cluster Graph
- Battery System Modeling and User Study for Emerging Green-Energy Transportation
- The Internet Ecosystem -The Potential for Discrimination
- CAwbWeb: Towards a Standardized Programming Framework to Enable a Context-Aware Web
- Don't They do That? Interdisciplinary Iterative Design of a Personal
- ProjectsinChaoticDynamics:Spring2010 ElizabethBradley,Editor
- RecurrencePlotsinAnalysisofComputer TechnicalReportCUCS106710
- Multiple Object 3D-Mapping using a Physics Neeti Wagle, Nikolaus Correll
- Wireless Networking Optimizations for Studying Algorithm Interactions Gary Yee, Caleb Phillips, Dirk Grunwald, and Douglas Sicker
- Detecting Phases in Cache-miss Traces with Wavelets Stephen L. Heck
- Integrating Wikipedia and Facebook Context into Collaborative E-Brainstorming
- GRATIS: Free Bits In The Network Dola Saha, Aveek Dutta, Dirk Grunwald, and Douglas Sicker
- ftp.cs.colorado.edu:pub/cs/techreports/weigend/CU-CS-670-93.ps.Z The Future of Time Series
- Uncovering Architectural Mismatch in Component Behavior
- Balboa: A Framework for Event-Based Process Data Analysis Jonathan E. Cook Alexander L. Wolf
- Putting Declarative Meta Control to Work Apollo Hogan and Reinhard Stolle and Elizabeth Bradley
- Aladdin: A Tool for Architecture-Level Dependence Analysis of Software Systems
- SOME OBSERVATIONS ON THE L2 CONVERGENCE OF THE
- Interfaces and Algorithms for a Wide-Area Event Notification Service
- Enabling Project Awareness and Intersubjectivity via Hypermedia-Enabled Event Trails
- Marcy's Dots: A Problem on a National Test Revisited Patricia Baggett Andrzej Ehrenfeucht
- PARTNERSHIP MATHEMATICS CONTENT COURSES FOR PROSPECTIVE AND PRACTICING
- On the Consistency and Correctness of School Mathematics Patricia Baggett Andrzej Ehrenfeucht
- Fast Forwarding for Content-Based Networking Antonio Carzaniga Jing Deng Alexander L. Wolf
- Understanding the Connectivity of Heap Objects Technical Report: CU-CS-923-01
- Exploiting Physical Layer Power Control Mechanisms in IEEE 802.11b Network Interfaces
- Ensemble-based Human Communication Recognition P. Barthelmess
- NEEM: An Agent Based Meeting Augmentation System
- Robust Minimax Probability Machine Regression Robust Minimax Probability Machine Regression
- A Routing Scheme for Content-Based Networking Antonio Carzaniga Matthew J. Rutherford Alexander L. Wolf
- Probabilistic Random Forests: Predicting Data Point Specific Misclassification Probabilities
- Nonparametric Classification with Polynomial MPMC Cascades
- Sparse Greedy Minimax Probability Machine Classification
- Clustering with Local and Global Consistency Markus Breitenbach
- The Tools We Live By: A Description of Personal Support Media in Work Life
- Countermeasures Against Traffic Analysis Attacks in Wireless Sensor Jing Deng Richard Han Shivakant Mishra
- Node Compromise in Sensor Networks: The Need for Secure Systems
- Building the Memex Sixty Years Later: Trends and Directions in Personal Knowledge Bases
- !"#$%&(')10223)354678#9A@5B3)C D$E&7F GIHQPSRUT2VXW`Y2aSa
- SocialFusion: Context-Aware Inference and Recommendation By Fusing Mobile, Sensor, and Social Data
- On Relating Functional Specifications to Architectural Specifications
- Quantifying Behavioral Differences Between C and C++ Programs
- 28 April 2008 3:28 AM Page 1 of 80 Vivian Phinney vivian.phinney@colorado.edu
- NodeMD: Diagnosing Node-Level Faults in Remote Wireless Systems Veljko Krunic, Eric Trumpler, Richard Han
- Program Metamorphosis University of Colorado at Boulder
- Technical Report: CU-CS 1037-08 Department of Computer Science
- Investigating the Applicability of Architecture Description in Configuration Management and Software Deployment
- Irregular Spot Detection and Tracking: Automatically Geo-Temporal Tracking of
- Nsclick User Manual Michael Neufeld, Graham Schelle, and Dirk Grunwald
- !"#$%&'%&()*&+&,-%#,).+/)0+1%23)4"#5+/'6 *2/+&)7"21$8)9%'"):2/#/"338)!%1$2/;)<2&
- Abstract--Wireless sensor networks require lightweight routing tailored for sensor devices with severe memory,
- University of Colorado, Department of Computer Science Technical Report CU-CS-967-04 Flexible Intrusion Tolerant Group Membership Protocol
- Local Path Planning in Image Space for Autonomous Robot Navigation in Unstructured Environments
- Extending the Siena Publish/Subscribe System Dennis Heimbigner
- Building on the BACKSLASH Algorithm Wang-ting Lin and Gary Nutt
- Applying Automated Memory Analysis to Improve Iterative Algorithms
- B. SHUCKER AND J.K. BENNETT 1 Virtual Spring Mesh Algorithms for Control of
- Workflow Modeling using Proclets W.M.P. van der Aalst1,2
- A Distributed and Parallel Component Architecture for Stream-oriented Applications
- Event-Based Detection of Concurrency Jonathan E. Cook Alexander L. Wolf
- A Tamper-Resistant Programming Language System Dennis Heimbigner
- An Efficient Implementation of Query/Advertise Dennis Heimbigner
- Intrusion Management Using Configurable Architecture Models
- DESIGNERS AND THEIR TOOLS: COMPUTER SUPPORT
- Strange Beta: Chaotic Variations for Indoor Rock Climbing Route Setting
- SHUSH: A MAC Protocol For Transmit Power Controlled Wireless Anmol Sheth, Richard Han
- Thermal Management with Asymmetric Dual Core Designs Soraya Ghiasi and Dirk Grunwald
- Deafness and Virtual Carrier Sensing with Directional Antennas in 802.11 Networks Michael Neufeld and Dirk Grunwald
- A Note on Scaling Wireless Sensor Networks
- Design of a Scalable Event Notification Service: Interface and Architecture
- Branch Prediction Architectures 64-bit Address Space
- The Design, Implementation and Performance Evaluation of Xylophone: A Scalable QoS-enabled WiFi
- Software Architecture, Configuration Management, and Configurable Distributed Systems: A Menage a Trois
- A Cooperative Approach to Support Software Deployment Using the Software Dock
- A Case for Test-Code Generation in Model-Driven Systems
- X-MAC: A Short Preamble MAC Protocol For Duty-Cycled Wireless Sensor Networks
- Revitalizing the Computer Science Curriculum
- Challenges in Deploying Steerable Wireless Testbeds Eric Anderson, Caleb Phillips, Gary Yee, Douglas Sicker, and Dirk Grunwald
- Using Event-Based Parsing to Support Dynamic Protocol Evolution
- Access Nets: Modeling Access to Physical Robert Frohardt, Bor-Yuh Evan Chang, and Sriram Sankaranarayanan
- A Concurrent Acknowledgement Scheme for Broadcast Messages in Wireless Networks
- FireWxNet: A Multi-Tiered Portable Wireless System for Monitoring Weather Conditions in Wildland Fire
- Support for Mobility and Fault Tolerance in Mykil Jyh-How Huang and Shivakant Mishra
- A Wireless Flit-Based OpNET Model Michael Buettner & Dirk Grunwald
- Secure SocialAware: A Security Framework for Mobile Social Networking Applications
- Low-Resource Routing Attacks Against Anonymous Systems Kevin Bauer1
- WeebleVideo Wide Angle Field-of-View Video Sensor Pushkar Sambhoos, Ahmad Bilal Hasan, Richard Han, Tom Lookabaugh, Jane Mulligan
- Event-based Document Sensing for Insider Threats Kenneth Anderson, Antonio Carzaniga, Dennis Heimbigner, Alexander Wolf
- Jamming and Sensing of Encrypted Wireless Ad Hoc Networks
- A Formal Definition of Control Semantics in a Completely Visual Language
- Behavioral Type Checking of Architectural Components Based on Assumptions
- Calvin: A System for Automating Cosmogenic Isotope Dating
- Intrusions into Privacy in Video Chat Environments: Attacks and Countermeasures
- Improving the Performance of Conservative Generational Garbage Collection
- A Methodology for Cost-Effective Analysis of In-Place Software Processes
- The Neem Platform: an Evolvable Framework for Perceptual Collaborative Applications
- An HMM Applied to Semi-Online Program Phase Analysis Michael Otte and Scott Richardson
- A Facilitator Method for Upstream Design Activities with Diverse Stakeholders
- Shining Light in Dark Places: A Study of Anonymous Network Usage
- A Benchmark Suite for Distributed Publish/Subscribe Systems
- Software Process Validation: Quantitatively Measuring the Correspondence
- A Confidence System for Solving Real-World Problems with Argumentation
- Technical Report CU-CS 1074-10 September 2010
- Exploring the Design Space of Higher-order Casts Jeremy G. Siek
- Tools Designed Specifically for Information Space Organization
- Gradual Typing for Objects: Isabelle Formalization
- Dynamics-Informed Data Assimilation in a Point-Vortex Model
- MPIEcho: A Framework for Transparent MPI Task Replication
- Food Redistribution as Optimization Caleb Phillips, Rhonda Hoenigman, Becky Higbee, and Tom Reed
- Strange Beta: An Assistance System for Indoor Rock Climbing Route Setting Using Chaotic Variations and Machine Learning
- The Stability of The Longley-Rice Irregular Terrain Model for Typical Problems
- MyZone: A Next-Generation Online Social Network Alireza Mahdian, John Black, Richard Han and Shivakant Mishra
- SocialNews: Enhancing Online News Recommendations By Leveraging Social Network Information
- The Flow-Insensitive Precision of Andersen's Analysis in Practice
- MyShield: Protecting Mobile Device Data via Security Circles
- Description of the Reachability Set Adaptive Mesh Algorithm
