Follow


2011

PDF

Multi-Dimensional Models Facilitate Automatic Reformulation: The Case Study of the SET Game, Amanda Swearngin, Berthe Y. Choueiry, and Eugene C. Freuder

PDF

A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game, Amanda Swearngin, Berthe Y. Choueiry, Robert J. Woodward, and Eugene C. Freuder

PDF

A Reservation-based Smart Parking System, Hongwei Wang and Wenbo He

PDF

Quantifying Articulatory Distinctiveness of Vowels, Jun Wang, Jordan R. Green, Ashok Samal, and David B. Marx

PDF

Understanding User Generated Content Characteristics : A Hot-Event Perspective, Miao Wang, Guodong Li, Jie Feng, Lisong Xu, Byrav Ramamurthy, Wei Li, and Xiaohong Guan

PDF

Topology Analysis of Wireless Sensor Networks for Sandstorm Monitoring, P. Wang, Z. Sun, Mehmet C. Vuran, M. A. Al-Rodhaan, A. M. Al-Dhelaan, and I. F. Akyildiz

PDF

Analysis of Event Detection Delay in Wireless Sensor Networks, Yunbo Wang, Mehmet C. Vuran, and Steve Goddard

PDF

Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency, Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere

PDF

Reformulating the Dual Graphs of CSPs to Improve the Performance of RNIC, Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere

PDF

Solving Difficult CSPs with Relational Neighborhood Inverse Consistency, Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere

PDF

Solving Difficult CSPs with Relational Neighborhood Inverse Consistency, Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere

PDF

Adaptive Neighborhood Inverse Consistence as Lookahead for Non-Binary CSPs, Robert J. Woodward, Shant K. Karakashian, Berthe Y. Choueiry, and Christian Bessiere

PDF

Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs, Robert J. Woodward, Shant K. Karakashian, Berthe Y. Choueiry, and Christian Bessiere

PDF

SHHC: A Scalable Hybrid Hash Cluster for Cloud Backup Services in Data Centers, Lei Xu, Jian Hu, Stephen Mkandawire, and Hong Jiang

PDF

Directed Test Suite Augmentation, Zhihong Xu

PDF

A Hybrid Directed Test Suite Augmentation Technique, Zhihong Xu, Yunho Kim, Moonzoo Kim, and Gregg Rothermel

PDF

TCP Congestion Avoidance Algorithm Identification (CAAI), Peng Yang, Wen Luo, Lisong Xu, Jitender Deogun, and Ying Lu

PDF

TCP Congestion Avoidance Algorithm Identification, Peng Yang, Wen Luo, Lisong Xu, Jitender S. Deogun, and Ying Lu

PDF

A Survey of Deployment Information of Delay-based TCP Congestion Avoidance Algorithm for Transmitting Multimedia Data, Peng Yang and Lisong Xu

PDF

Using Property-Based Oracles when Testing Embedded System Applications, Tingting Yu, Ahyoung Sung, Witawas Srisaan, and Gregg Rothermel

PDF

Automatic Generation of Load Tests, Pingyu Zhang, Sebastian Elbaum, and Matthew Dwyer

PDF

Response Time Analysis of Hierarchical Scheduling: the Synchronized Deferrable Servers Approach, Haitao Zhu, Steve Goddard, and M Dwyer

2010

PDF

A Unified Solution to Scan Test Volume, Time, and Power Minimization, Zhen Chen, Sharad C. Seth, Dong Xiang, and Bhargab B. Bhattacharya

PDF

Preface, Berthe Y. Choueiry and Bob Givan

PDF

Spatio-temporal Soil Moisture Measurement with Wireless Underground Sensor Networks, Xin Dong and Mehmet C. Vuran

PDF

Vision Graph Construction in Wireless Multimedia Sensor Networks, Xin Dong and Mehmet C. Vuran

PDF

A Midsummer Night’s Dream: Social proof in HRI, Brittany A. Duncan, Robin R. Murphy, Dylan Shell, and Amy G. Hopper

PDF

A Partial Taxonomy of Substitutability and Interchangeability, Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Steven D. Prestwich, and Eugene C. Freuder

PDF

A Partial Taxonomy of Substitutability & Interchangeability, Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Steven D. Prestwich, and Eugene C. Freuder

PDF

A First Practical Algorithm for High Levels of Relational Consistency, Shant Karakashian, Robert J. Woodward, Christopher Reeson, Berthe Y. Choueiry, and Christian Bessiere

PDF

A First Practical Algorithm for High Levels of Relational Consistency, Shant Karakashian, Robert J. Woodward, Christopher Reeson, Berthe Y. Choueiry, and Christian Bessiere

PDF

A First Practical Algorithm for High Levels of Relational Consistency, Shant Karakashian, Robert J. Woodward, Christopher Reesons, Berthe Y. Choueiry, and Christian Bessiere

PDF

Survivor Buddy and SciGirls: Affect, Outreach, and Questions, Robin R. Murphy, Vasant Srinivasan, Negar Rashidi, Brittany Duncan, Aaron Rice, Zachary Henkel, Marco Garza, Cliff Nass, Victoria Groom, Takis Zourntos, Roozbeh Daneshwar, and Sharath Prasad

PDF

Energy Consumption and Latency Analysis for Wireless Multimedia Sensor Networks, Alvaro Pinto, Zhe Zhang, Xin Dong, Senem Velipasalar, Mehmet C. Vuran, and M. Cenk Gursoy

PDF

Communication with Aboveground Devices in Wireless Underground Sensor Networks: An Empirical Study, Agnelo R. Silva and Mehmet C. Vuran

PDF

Vowel Recognition from Continuous Articulatory Movements for Speaker-Dependent Applications, Jun Wang, Jordan R. Green, Ashok Samal, and Tom D. Carrell

PDF

Linear Programming Models For Multi-Channel P2P Streaming Systems, Miao Wang, Lisong Xu, and Byrav Ramamurthy

PDF

Stochastic Analysis of Energy Consumption in Wireless Sensor Networks, Yunbo Wang, Mehmet C. Vuran, and Steve Goddard

PDF

Cost Efficiency of Anycast-Based Forwarding in Duty-Cycled WSNs with Lossy Channel, Yuyan Xue, Mehmet C. Vuran, and Byrav Ramamurthy

2009

PDF

Gathering Cows Using Virtual Fencing Methodologies, Dean M. Anderson, Marek Doniec, Carrick Detweiler, Iuliu Vesilescu, Daniela Rus, Barbara Nolen, and Roy Libeau

PDF

Using Hadoop as a Grid Storage Element, Brian Bockelman

PDF

A Hybrid Test Architecture to Reduce Test Application Time in Full Scan Sequential Circuits, Priyankar Ghosh, Srobona Mitra, Indranil Sengupta, Bhargab B. Bhattacharya, and Sharad C. Seth

PDF

SmartStore: A New Metadata Organization Paradigm with Semantic-Awareness for Next-Generation File Systems, Yu Hua, Hong Jiang, Yifeng Zhu, Dan Feng, and Lei Tian

PDF

P-Code: A New RAID-6 Code with Optimal Properties, Chao Jin, Hong Jiang, Dan Feng, and Lei Tian

PDF

Density-Based Clustering of Polygons, Deepti Joshi, Ashok Samal, and Leen-Kiat Soh

PDF

Redistricting using Heuristic-Based Polygonal Clustering, Deepti Joshi, Leen-Kiat Soh, and Ashok K. Samal

PDF

Joint Computing and Network Resource Scheduling in a Lambda Grid Network, Vaidhehi Lakshmiraman and Byrav Ramamurthy

PDF

Joint Computing and Network Resource Scheduling in a Lambda Grid Network, Vaidhehi Lakshmiraman and Byrav Ramamurthy

PDF

Empirical Usage Metadata in Learning Objects, Gwen Nugent, Kevin Kupzyk, S. A. Riley, L.D. Miller, Jesse Hostetler, Leen-Kiat Soh, and Ashok Samal

PDF

A Cooperative Scheme for Dynamic Window Resizing in P2P Live Streaming, Zhipeng Ouyang, Lisong Xu, and Byrav Ramamurthy

PDF

Classification and Cluster Analysis of Complex Time-of-Flight Secondary Ion Mass Spectrometry for Biological Samples, Stephen E. Reichenbach, Xue Tian, Qingping Tao, and Alex Henderson

PDF

Revealing the Copy and Paste Habits of End Users, Kathryn T. Stolee, Sebastian Elbaum, and Gregg Rothermel

PDF

Spatio-Temporal Event Model for Cyber-Physical Systems, Ying Tan, Mehmet C. Vuran, and Steve Goddard

PDF

Optimal Segment Size for Fixed-sized Segment Protection in Wavelength-routed Optical Networks, Raghunath Tewari and Byrav Ramamurthy

PDF

Digital Logic Based Encoding Strategies for Steganography on Voice-over-IP, Hui Tian, Ke Zhou, Hong Jiang, and Dan Feng

PDF

An Adaptive Steganography Scheme for Voice over IP, Hui Tian, Ke Zhou, Hong Jiang, Yongfeng Huang, Jin Liu, and Dan Feng

PDF

An Adaptive Steganography Scheme for Voice over IP, Hui Tian, Ke Zhou, Hong Jiang, Yongfeng Huang, Jin Liu, and Dan Feng

PDF

Vowel Recognition from Articulatory Position Time-Series Data, Jun Wang, Ashok Samal, Jordan R. Green, and Tom D. Carrell

PDF

A Flexible Divide-And-Conquer Protocol for Multi-View Peer-to-Peer Live Streaming, Miao Wang, Lisong Xu, and Byrav Ramamurthy

PDF

Cross-layer Analysis of the End-to-end Delay Distribution in Wireless Sensor Networks, Yunbo Wang, Mehmet C. Vuran, and Steve Goddard

PDF

JOR: A Journal-guided Reconstruction Optimization for RAID-Structured Storage Systems, Suzhen Wu, Dan Feng, Hong Jiang, Bo Mao, Lingfang Zeng, and Jianxi Chen

PDF

Directed Test Suite Augmentation, Zhihong Xu and Gregg Rothermel

PDF

Regression Model Checking, Guowei Yang, Matthew B. Dwyer, and Gregg Rothermel

2008

PDF

Design of a Wireless Vision Sensor for Object Tracking in Wireless Vision Sensor Networks, Mauricio Casarest, Mehmet C. Vuran, and Senem Velipasalar

PDF

An Automatic Bridge Detection Technique for Multispectral Images, D. Chaudhuri and Ashok Samal

PDF

Variable Neighbor Selection in Live Peer-to-Peer Multimedia Streaming Networks, Jagannath Ghoshal, Miao Wang, Lisong Xu, and Byrav Ramamurthy

PDF

Partial Forwarding Scheme for Dynamic Window Resizing in Live P2P Streaming Systems, Zhipeng Ouyang, Lisong Xu, and Byrav Ramamurthy

PDF

Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach, Joseph Ronald Ruthruff, John Penix, J. David Morgenthaler, Sebastian Elbaum, and Gregg Rothermel

PDF

Cross-Layer Packet Size Optimization for Wireless Terrestrial, Underwater, and Underground Sensor Networks, Mehmet C. Vuran and Ian F. Akyildiz

PDF

Channel-Aware Peer Selection in Multi-View Peer-to-Peer Multimedia Streaming, Miao Wang, Lisong Xu, and Byrav Ramamurthy

PDF

A Key Management Protocol for Wireless Sensor Networks with Multiple Base Stations, Yong Wang, Byrav Ramamurthy, and Yuyan Xue

PDF

A Security Framework for Wireless Sensor Networks Utilizing a Unique Session Key, Yong Wang, Byrav Ramamurthy, Yuyan Xue, and Xukai Zou

PDF

A Service-Differentiated Real-Time Communication Scheme for Wireless Sensor Networks, Yuyan Xue, Byrav Ramamurthy, and Mehmet C. Vuran

PDF

Providing Reliable Data Transport for Dynamic Event Sensing in Wireless Sensor Networks, Yuyan Xue, Byrav Ramamurthy, and Yong Wang

2007

PDF

Bandit-Based Algorithms for Budgeted Learning, Kun Deng, Chris Bourke, Stephen Scott, Julie Sunderman, and Yaling Zheng

PDF

Efficient RTL Coverage Metric for Functional Test Selection, Jian Kang, Sharad C. Seth, and Vijay Gangaram

PDF

Symbolic Path Sensitization Analysis and Applications, Jian Kang, Sharad C. Seth, and Shashank K. Mehta

PDF

Spatial Clustering Using the Likelihood Function, April Kerby, David Marx, Ashok Samal, and Viacheslav Adamchuk

PDF

Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java, Alex Kinneer, Matthew B. Dwyer, and Gregg Rothermel

PDF

A Content Based Pattern Analysis System for a Biological Specimen Collection, Joyita Mallik, Ashok K. Samal, and Scott L. Gardner

PDF

Statistics and Analysis Tools for a Computer- Supported Collaborative Learning System, L. D. Miller, Adam Eck, Leen-Kiat Soh, and Hong Jiang

PDF

An Interactive Constraint-Based Approach to Sudoku, Christopher G. Reeson, Kai-Chen Huang, Ken Bayer, and Berthe Y. Choueiry

PDF

An Interactive Constraint-Based Approach to Sudoku, Christopher Reeson, Kai-Chen Huang, Ken Bayer, and Berthe Y. Choueiry

PDF

Helping End-User Programmers “Engineer” Software: an Opportunity for Empirical Researchers, Gregg Rothermel

PDF

A Two-phase Approach for Dynamic Lightpath Scheduling in WDM Optical Networks, Lu Shen, Xi Yang, Ajay Todimala, and Byrav Ramamurthy

PDF

Group Rekeying Schemes for Secure Group Communication in Wireless Sensor Networks, Yong Wang and Byrav Ramamurthy

PDF

Layered Clustering Communication Protocol for Wireless Sensor Networks, Yong Wang and Byrav Ramamurthy

PDF

KeyRev: An Efficient Key Revocation Scheme for Wireless Sensor Networks, Yong Wang, Byrav Ramamurthy, and Xukai Zou

2006

PDF

A Cross-Layer Protocol for Wireless Sensor Networks, Ian F. Akyildiz, Mehmet C. Vuran, and Ӧzgür B. Akan

PDF

Router and Firewall Redundancy with OpenBSD and CARP, Garhan Attebury and Byrav Ramamurthy

PDF

A Constraint-Based Approach to Solving Minesweeper, Ken Bayer, Josh Snyder, and Berthe Y. Choueiry

PDF

An Interactive Constraint-Based Approach to Minesweeper, Ken Bayer, Josh Snyder, and Berthe Y. Choueiry

PDF

Active Learning to Maximize Area Under the ROC Curve, Matt Culver, Deng Kun, and Stephen Scott

PDF

A New Cryptographic Scheme for Securing Dynamic Conferences in Data Networks, Sarang Deshpande, Ajay Todimala, Ravi K Balachandran, Byrav Ramamurthy, Xukai Zou, and N. V. Vinodchandran

PDF

Scaling a Dataflow Testing Methodology to the MultiparadigmWorld of Commercial Spreadsheets, Marc Fisher II, Gregg Rothermel, Tyler Creelan, and Margaret Burnett

PDF

A Maximum-Likelihood Approach to Symbolic Indirect Correlation, Ashutosh Joshi, George Nagy, Daniel Lopresti, and Sharad C. Seth

PDF

A Generic Autonomous Clustering-Based Heterogeneous Waveband Switching Architecture in WDM Networks, Mengke Li and Byrav Ramamurthy

PDF

Autonomous Clustering-Based Heterogeneous Waveband Switching in WDM Networks, Mengke Li and Byrav Ramamurthy

PDF

Integrated Intermediate Waveband and Wavelength Switching for Optical WDM Mesh Networks, Mengke Li and Byrav Ramamurthy

PDF

Helping End-User Programmers “Engineer” Dependable Software, Gregg Rothermel