|
A Component-Based Software Environment for Simulating and Synthesizing Network Protocols in Large-Scale Networks |
Modeling and Simulation, Networks |
Roy H. Campbell L. Kung H. Kim |
|
A Configurable Application-Aware High-Performance Platform for Trustworthy Computing |
Computer Hardware, Reliability |
|
|
A Distributed Control Framework for Trustworthy Networked Systems |
Control, Distributed Systems, Fault Tolerance, Game Theory, Intrusion Detection/Tolerance, Networks, Reliability, Security |
Tamer Basar |
|
A Middleware Solution to QoS and QoP for Multimedia Applications in Wireless Networks |
Middleware, Multimedia, Networks, Reliability |
Klara NahrstedtWenbo He |
|
A Normative Theory for the Design of Discrete Event Dynamic Systems |
Control |
R. S. Sreenivas |
|
A Robust Control Approach to Digital Communications |
Control |
Rouzbeh Touri |
|
Acquisition, Compression & Interpolation of Panoramic Stereo Images of a Scene for Remote Walkthroughs |
Image Processing |
Narendra Ahuja Y. Shinagawa M. Maitre N. Xu A. Jagmohan |
|
Active Information Spaces Based on Ubiquitous Computing |
Distributed Systems, Modeling and Simulation, Multimedia, Operating Systems |
David Kriegman Michael Garland M. Dennis Mickunas Raquel Hill Jongwoo Lim Stephen Zelinka Anand Ranganathan Yi Cui Jalal F. Al-Muhtadi Geetanjali Sampemane S. Yi D. Schmidt Robert E. McGrath C. Carter S. Chetan B. Ziebart A. Weiler D. Raila J. Tanner Bin Yu R. Patel R. Jones M. Muhammad Chris Andrews |
|
Adaptive Messaging Policy (AMPol) |
Distributed Systems, Middleware, Security Policy |
|
|
Adaptive Methods for Heterogeneous Wireless Services |
Wireless Systems |
Sean P. Meyn Muriel Médard (MIT) J. Huang |
|
Adoptability Evaluation of SPI Technologies |
High-Performance Computing, Reliability |
David M. Nicol |
|
Advanced Dynamic Modeling and Control of Air Conditioning and Refrigeration Systems |
Control, Modeling and Simulation |
Andrew G. Alleyne Neera Jain Bin Li Tom McKinley Vikas Chandan |
|
Advanced Simulation Tools |
Modeling and Simulation |
Jerome F. HajjarAmr S. Elnashai |
|
Advanced Simulation Tools: Analysis of Composite Building Frames |
Modeling and Simulation |
Jerome F. HajjarAmr S. Elnashai |
|
Agent Generation and Control |
Formal Methods |
Gul Agha Nadeem Jamali Prasannaa Thati |
|
Algorithms and VLSI Architectures for Joint Equalization and Decoding |
Algorithms, Computer Architecture |
Naresh R. Shanbhag Andrew C. Singer S. J. Lee |
|
Algorithms for Quantifying Security and Survivability |
Reliability, Security, Security Assessment |
|
|
An Engineering Prototyping Environment for Compiling C Program Components into Application-Specific Logic |
High-Performance Computing |
Wen-mei W. HwuDaniel R. Burke |
|
An Open, Dependable, and Evolvable Software Infrastructure for Assisted Living |
Pervasive Healthcare |
Marco Caccamo |
|
Analysis of the Bilateral Transaction Paradigm for Electricity Markets |
Power Systems |
George Gross |
|
Application Aware Checking - Reliability and Security Engine |
Computer Architecture, Reliability |
Nithin M. Nakka |
|
Application-Aware Trust: Providing Security and Reliability |
High-Performance Computing, Reliability, Security |
|
|
Application/System Quality-of-Service (QoS) Interface Capabilities |
Computer Vision, Networks |
Klara Nahrstedt Won Jong Jeon B. Kalter Jun-Hyuk Seo |
|
Architectural Support for Speculative Thread-Level Parallelization |
Computer Architecture, Parallel Computing |
Josep Torrellas Marcelo Cintra J. Martinez Milos Prvulovic Maria Jesus Garzaran |
|
Architectures for Secure and Robust Distributed Infrastructures |
Computer Architecture, Distributed Systems |
Stephen Boyd (Stanford) John Doyle (Caltech) Muriel Medard (MIT) Sanjay Lall (Stanford) Balaji Prabhakar (Stanford) Rayadurgam Srikant Claire Tomlin (Stanford) George Verghese (MIT) B. Lesieutre V. Vladimerou D. King |
|
Assessable Identity and Privacy Protection: End-to-End Assessment of Identity and Privacy Protection |
Privacy, Security Assessment |
|
|
Attack Neutralization in Wireless Ad Hoc Networks |
Cryptography, Reliability, Wireless Systems |
Claudio Basile |
|
Attribute-based Security and Messaging Policy (AMPol) |
Security Policy |
|
|
Audiovisual Speech Recognition in Automotive Environment |
Signal Processing |
Thomas S. Huang Mark Hasegawa-Johnson Stephen E. Levinson |
|
Automated Visual Learning of Safety Appliances on Railcars |
Computer Vision, Image Processing |
Narendra Ahuja C. Barkan John M. Hart C. B. Liu |
|
Automatic On-the-fly Detection, Characterization, Recovery, and Correction of Software Bugs in Production Runs |
Debugging, Error Detection, Reliability |
Samuel Midkiff Chao Liu Xifeng Yan Yuanyuan Zhou |
|
Automatic Railcar Inspection |
Image Processing, Security Assessment |
Narendra Ahuja C. Barkan J. M. Hart C.-B. Liu H. Wang |
|
Bottom-Up Models of the Photosynthesis from the Molecular Scale to Canopy Scale |
Modeling and Simulation |
Luis F. RodriguezGlen K. Menezes |
|
Building Intrusion-Tolerant Internet Services: Low Cost and High Performance Through Optimism |
Distributed Systems, Reliability |
William H. Sanders HariGovind Ramasamy Adnan Agbaria Mouna Seri Luke St. Clair |
|
Capacity Versus Robustness: A Tradeoff for Restoration in Mesh Networks |
High-Performance Computing, Networks, Reliability |
Steven S. LumettaSun-il Kim |
|
Certifiable Membership Equational Logic |
Formal Methods, Reliability |
Grigore Rosu |
|
Characterization and Computation of Optimal Distributions for Channel Coding |
Reliability |
Muriel Medard (MIT) |
|
Choices: A Reliable and Secure Operating System for Mobile Devices |
Operating Systems, Security |
Roy H. CampbellZ. Anwar |
|
Communication over Dispersive Wireless Channels: Theory and Methods Based on Physical Principles |
Wireless Systems |
Venugopal V. Veeravalli Jun Chen Che Lin Vasanthan Raghavan V. Sreekanth Annapureddy |
|
Compiler Support for Performance Modeling of Parallel and Distributed Programs |
Compilers, Computer Architecture, Parallel Computing |
Vikram Adve |
|
Composing Security in Large-Scale Cyber-Infrastructures |
Critical Infrastructure, Security Assessment |
Roy H. CampbellS. R. Katasani |
|
Computer Log Anonymization and Information Sharing |
Privacy |
Adam J. Slagell Jun Wang William Yurcik |
|
Congestion Management Scheme for Multitransaction Systems |
Economics, Networks |
George GrossShu Tao |
|
Contessa Network Security |
Formal Methods, Networks, Reliability |
|
|
Control Techniques for Complex Networks |
Distributed Systems, Security Policy |
Sean P. MeynIn-Koo Cho |
|
Convergence Laboratory |
Computer Architecture, Middleware |
P. R. Kumar Tam Pham Craig Robinson Adithya Yalavarti |
|
Cooperative Networked Control of Dynamical Peer-to-Peer Vehicle Systems |
Control, Networks |
P. Parillo Francesco Bullo (UCSB) Eric Feron (Georgia Tech) Emilio Frazzoli (MIT) Sanjay Lall (Stanford Univ.) Daniel Liberzon Nancy A. Lynch (MIT) John C. Mitchell (Stanford Univ.) Sanjoy K. Mitter (MIT) Eytan Modiano (MIT) Bruce Reznick Mahesh Viswanathan |
|
Correctness w.r.t. Specifications |
Formal Methods, Reliability |
Grigore Rosu |
|
Critical Cutsets for Static Transfer Stability Limits |
Power Systems |
Peter W. SauerBrian Raczkowski |
|
Cross Layer QoS Management for MANETs |
High-Performance Computing, Multimedia, Security |
|
|
Customizable Coordination Services for Large-Scale Network Embedded Systems |
Algorithms, Embedded Systems |
Gul Agha P-Hao Chang Prasannaa Thati Reza Ziaei |
|
Cyber Infrastructure Security |
Critical Infrastructure, Security Assessment |
Roy H. Campbell |
|
Cyberinsurance as a Market-Based Solution to the Cybersecurity Problem |
Economics, Risk Management |
Jay P. Kesan Ruperto Majuca William Yurcik |
|
Data Driven Power System Operations |
Critical Infrastructure, Distributed Systems |
M. Pai |
|
Data-Centric Sensor Networks |
Sensor Networks |
N. Li H. Zhang |
|
Deep Program Analysis |
Debugging, Testing |
Wen-mei W. Hwu John W. Sias Erik M. Nystrom Hillery C. Hunter Chien-wei Li Hong-Seok Kim |
|
Defect-Tolerant System Integration and Evolution |
Distributed Systems, Real-Time Systems |
Lui Sha |
|
Dependability through Diversity in Wireless Networks |
Networks, Reliability, Wireless Systems |
Nitin H. Vaidya |
|
Dependable and Secured Embedded Systems |
Embedded Systems, Reliability, Security |
|
|
Design and Analysis of Sensor Networks for Statistical Inference Applications |
Sensor Networks |
Venugopal V. Veeravalli Jason A. Fuemmeler S. R. Srinivasan |
|
Designing Reliable and Secure Tactical MANETS |
Reliability, Security, Wireless Systems |
P. R. Kumar |
|
Detecting and Preventing Attacks with Vulnerability Signatures |
Intrusion Detection/Tolerance, Security |
|
|
Deterministic Parallel Java |
Programming Languages |
|
|
Development of an Analytical Framework for Dispersed Generation |
Power Systems |
George GrossYan Lin |
|
Development of an Analytical Framework for Strategic Bidding in Competitive Electricity Markets: Modeling and Policy Analysis |
Economics, Modeling and Simulation, Power Systems |
George Gross George Deltas M. Joung |
|
Diagnosis and Assessment of Faults, Misbehavior and Threats in Distributed Systems and Networks |
Networks, Reliability |
K. Thulasiraman |
|
Distributed Control for Large Telescopic Systems |
Control, Distributed Systems, Image Processing |
Petros G. Voulgaris S. Jiang L. Thompson N. Holloway |
|
Distributed Control of Trustworthy Networked Systems |
Networks, Reliability |
Tamer Basar Tansu Alpcan Zhen Yin |
|
Dynamic Behavior and Load Model Estimation from Measurements |
Power Systems |
Peter W. SauerS. Liu |
|
Dynamic Data Driven Applications Systems |
Dynamical Systems |
M. A. Pai J. Park S. Liu |
|
Dynamic Security Assessment for Operations |
Critical Infrastructure, Security Assessment |
Peter W. Sauer |
|
Early Life Testing for Costly Life Support Systems |
Pervasive Healthcare, Testing |
Luis F. Rodriguez Darwin Poritz David Kortenkamp A. B. O. Soboyejo K. C. Ting K. Pickering F. Smith |
|
Effective Deployment of Financial Instruments in Competitive Electricity Markets |
Economics, Power Systems |
George GrossShu Tao |
|
Effective Power System Control Center Visualization |
Critical Infrastructure, HCI |
Thomas OverbyeEsa Rantanen |
|
Efficient Algorithms for Lossless Data and Image Compression |
Algorithms, Image Processing |
Yoram BreslerDror Baron |
|
Efficient Resource Management for Controlled-Mobility Wireless Networks |
Embedded Systems, Networks, Wireless Systems |
Emilio Frazzoli (MIT) Marco Caccamo Eytan Modiano (MIT) Natasha Neogi |
|
Energy-Efficient Authenticated Communication in Wireless Sensor Networks |
Sensor Networks, Wireless Systems |
Robin H. Kravets |
|
Ensuring Safety and Security in Software Intensive Aerospace Systems |
Critical Infrastructure, Reliability, Security |
Ravishankar K. IyerNatasha Neogi |
|
Estimation of Post-Hazard Reliability and Availability of Lifeline Networks |
Critical Infrastructure, Reliability, Risk Management |
Junho Song Liang Chang Won Hee Kang |
|
Executable Semantics of Programming Languages |
Formal Methods, Programming Languages |
Grigore Rosu |
|
Facial-Expression-Independent Face Recognition |
HCI, Image Processing |
Narendra AhujaHongcheng Wang |
|
Fast Scanning and Fast Image Reconstruction in Atomic Force Microscopy |
Algorithms, Image Processing, Modeling and Simulation |
Petros G. Voulgaris S. Salapaka A. Sarwaar |
|
Fault-Injection-Based Benchmarking |
High-Performance Computing, Intrusion Detection/Tolerance, Modeling and Simulation, Security |
Shuo Chen Claudio Basile |
|
Flexible and Survivable Embedded Systems |
Embedded Systems, Programming Languages, Reliability |
|
|
Fluid IP Core Generators |
Computer Architecture |
Naresh R. Shanbhag Brian Lam Ming Zhang Byonghyo Shim |
|
Focused Textual Entailment for Semantic Text Annotation |
Data Mining, Databases, Privacy |
Dan Roth |
|
Formal Privacy |
Formal Methods, HCI, Law, Privacy, Security Assessment, Security Policy |
Carl A. Gunter |
|
Formal Reasoning on Security Vulnerabilities Using Pointer Taintedness Semantics |
Formal Methods, Programming Languages, Reliability |
Shuo Chen Karthik Pattabiraman |
|
Future Communication Technology for Public Safety |
Critical Infrastructure, Distributed Systems |
Wen-mei W. Hwu L. Liu Jeffrey P. Monks |
|
Gaia: Active Spaces for Ubiquitous Computing |
Distributed Systems, HCI, Privacy |
Dennis M. Mickunas Dan Reed Manuel Roman Christopher Hess Jalal Al-Muhtadi Geetanjali Sampemane Dulcineia Carvalho Anand Ranganathan Shiva Chetan Mark Glasberg Duangdao Wichadukul Yi Cui Xiaohui Gu Long Wang Bin Yu Diwakar Gupta Chui Sian Ong Robin H. Kravets Albert Harris David Kriegman Sebastian Magda Jongwoo Lim Michael Garland Stephen Zelinka |
|
Gigascale Systems Research Center (GSRC): Reliable Systems Thrust |
Reliability |
Weining Gu Karthik Pattabiraman Giacinto Paolo Saggese M. Gupta Nithin Nakka |
|
GRACE: A Cross-Layer Adaptation Framework for Saving Energy in Mobile Multimedia Devices |
Computer Architecture, Multimedia |
Albert F. Harris Christopher J. Hughes Douglas L. Jones Daniel G. Sachs V. Vardhan Wanghong Yuan |
|
GridShib |
Middleware |
Von Welch Tom Barton (U. Chicago) David Campion (U. Chicago) Kate Keahey (U. Chicago) Tom Scavo Tim Freeman (U. Chicago) Frank Sieben |
|
Hacking Back: Analyzing the Optimal Use of Self-Defense in Cyberspace |
Law, Security Policy |
Jay P. KesanRuperto Majuca |
|
Helmet Integrated Nanosensors, Signal Processing, and Wireless Real Time Data Communication for Monitoring Blast Exposure to Battlefield Personnel |
Algorithms, Pervasive Healthcare, Signal Processing, Wireless Systems |
J. Patel |
|
Hemispherical Imaging for Wide Area Monitoring |
Image Processing, Security Assessment |
Narendra AhujaChunyu Gao |
|
HESTIA: A Security Middleware for Critical Cyber Infrastructures |
Critical Infrastructure, Middleware |
Roy H. CampbellRaquel Hill |
|
Hierarchical and Reconfigurable Schemes for Distributed Control over Heterogeneous Networks |
Control, Distributed Systems |
Constantine Polychronopoulos R. Srikant C. Zhang M. Farhood |
|
High-Fidelity, Integrated Simulation and On-line Management for Networked Communications Systems |
Modeling and Simulation, Networks |
José Meseguer |
|
High-Performance Reliable Computing Addressing the Parameter-Variation Challenge through a Cross-Disciplinary Architecture, CAD, and Compiler Approach |
Compilers, Computer Architecture, High-Performance Computing, Reliability |
Josep Torrellas D. Chen Craig Zilles |
|
High-Speed Architectures for Iterative Decoders |
Computer Architecture, High-Performance Computing |
Naresh R. ShanbhagMohammad M. Mansour |
|
High-Speed IO Signaling |
High-Performance Computing, Signal Processing |
Naresh R. Shanbhag Ganesh Balamurugan Hyeon-min Bae Srinivasa Sridhara |
|
Highly Reliable Receiver Circuits for High-Speed IO Links |
High-Performance Computing, Reliability |
Naresh R. Shanbhag E. Rosenbaum A. Srivastava A. Faust K. Bhatia R. L. Narasimha |
|
HMSI CyberCollaborator for Integrated Hazard Managment |
Critical Infrastructure, Distributed Systems |
Thomas Overbye |
|
Host-based IDS Enhancements at NCSA |
Intrusion Detection/Tolerance |
Von WelchNeil Gorsuch |
|
Hybrid Adaptive Algorithms for End System Middleware |
Algorithms, Middleware, Networks |
Klara Nahrstedt B. Kalter B. Li |
|
Immersive Network Simulation Testbed |
High-Performance Computing, Modeling and Simulation, Networks |
David M. Nicol |
|
Improving System Reliability via Delta Execution |
Reliability |
Craig Zilles Yuanyuan Zhou |
|
Integrated Modeling of Life Support Systems for Reliability and Robustness |
Modeling and Simulation, Pervasive Healthcare, Reliability |
Luis F. Rodriguez H. Jiang S. Bell K. Bhalerao David Kortenkamp A. B. O. Soboyejo K. C. Ting |
|
Integrated Security Analysis |
Security Assessment |
Peter W. Sauer |
|
Integrating Electrical, Economic, and Environmental Factors into Flexible Power System Engineering |
Power Systems |
Peter W. Sauer Philip T. Krein Patrick L. Chapman M. A. Pai D. Thurston |
|
Intelligent Information Spaces: A Testbed to Explore and Evaluate Intelligent Devices and Augmented Realities |
Parallel Computing |
D. A. Reed M. Dennis Mickunas |
|
Intelligent Portable Antenna Systems for High-Speed Wireless Communication |
Wireless Systems |
Jennifer T. Bernhard |
|
Interactive Visualization of Electrical Power System Transmission System Capacity |
Power Systems |
Thomas Overbye Douglas A. Wiegmann Yan Sun |
|
IT-Based Collaboration Framework for Preparing against, Responding to, and Recovering from Disasters Involving Critical Physical Infrastructures |
Critical Infrastructure, Risk Management |
Indranil Gupta Feniosky Pena-Mora Gene Robinson Noshir Contractor (Northwestern University) Andrea B. Hollingshead (University of Southern California) |
|
JIST (Java Interface Synthesis Tool) |
Formal Methods, Programming Languages |
Madhusudan Parthasarathy |
|
Large-Scale Simulation of Manufacturing and Communication Systems |
Control, Modeling and Simulation, Networks |
Sean P. MeynShane G. Henderson (Cornell University) |
|
Layered Architectures for Complex Networked Systems |
Distributed Systems, Reliability |
F. Bullo |
|
LLVM Compiler Infrastructure |
Compilers |
Vikram Adve |
|
Loss Allocation Scheme for Multitransaction Systems |
Economics, Power Systems |
George GrossShu Tao |
|
Loss Concealments for Real-Time Low Bit-Rate Voice Transmissions Over Wireless Networks |
Reliability, Wireless Systems |
Benjamin W. Wah Hang Yu Batu Sat |
|
Machine Learning Schemes for Proactive Security Systems |
Machine Learning, Security |
Dan Roth |
|
Machine Vision for Improved Safety Inspection of Railcars |
Image Processing, Security Assessment |
Narendra Ahuja C. Barkan J. M. Hart P. Vemuru |
|
Machine Vision for Improved Safety Inspection of Railcars |
Computer Vision, Image Processing |
Narendra Ahuja C. Barkan A. Kumar |
|
Machine-Vision Based Assessment of Intermodal Railroad Loading Patterns |
Computer Vision, Image Processing |
Narendra Ahuja C. Barkan John M. Hart Sinisa Todorovic Phaneendha Vemuru |
|
MAIDS: Mining Alarming Incidents from Data Streams |
Data Mining |
Jiawei Han Michael E. Welge Hong Cheng Xifeng Yan Yifan Li |
|
Marianas: Survivable Trust for Critical Infrastructure |
Critical Infrastructure, Modeling and Simulation, Security Assessment |
David M. NicolJeffrey J. Farris |
|
Memphis Testbed Validation and Capstone Prediction |
Risk Management |
Jerome F. Hajjar |
|
Methodologies and Tools for Designing and Implementing Large-Scale, Real-Time Systems |
Embedded Systems, High-Performance Computing, Real-Time Systems |
Long Wang A. Khanna |
|
Mining Dynamics of Data Streams in Multi-Dimensional Space |
Data Mining, Intrusion Detection/Tolerance, Networks |
Jiawei Han Xifeng Yan Xiaolei Li Hector Gonzalez Ying Lu |
|
Mining Hidden and Evolving Linkages across Multirelational Data |
Data Mining, Databases |
Jiawei Han |
|
Mining Sequential and Structured Patterns: Scalability, Flexibility, Extensibility, and Applicability |
Data Mining, Intrusion Detection/Tolerance |
Jiawei Han Xifeng Yan Dong Xin Zheng Shao Deng Cai |
|
Mining Unusual Patterns in Data Streams |
Data Mining |
Jiawei Han |
|
Mithril: Applying Adapability for Survivability |
Distributed Systems, Intrusion Detection/Tolerance |
Jim Basney Joe Muggli Meenal Pant Patrick Flanigan |
|
MLS Computing Platform Based on COTS and Open Source Technology |
Computer Architecture, Reliability, Security |
|
|
Mobile Sensor-Network Authentication |
Sensor Networks |
C. Andrews Prasad Naldurg |
|
Möbius: An Integrated Performance/Dependability/Security Evaluation Environment |
Modeling and Simulation, Security Assessment |
Shravan Gaonkar Eric W. D. Rozier |
|
Modeling and Analysis for Network Security Assessment |
Modeling and Simulation, Networks, Security |
David M. Nicol |
|
Modeling and Analysis of Access Control Failure |
Security Policy |
Roy H. CampbellPrasad Naldurg |
|
Modeling, Estimation & Retrieval of Hierarchical Spatiotemporal Visual Structure |
Image Processing |
Narendra Ahuja H. Arora A. Briassouli A. Sehgal |
|
Modeling, Mitigating, and Tolerating Faults Due to Parameter Variation in Multicores: A Microarchitecture and CAD Approach |
Computer Architecture, Fault Tolerance, Modeling and Simulation |
Josep TorrellasD. Chen |
|
Monitoring Oriented Programming |
Formal Methods, Programming Languages, Reliability |
Grigore Rosu |
|
MotionEye: Querying and Mining Large Datasets of Moving Objects (NSF/SEIII) |
Data Mining, Databases |
Jiawei HanOuri Wolfson (University of Illinois at Chicago) |
|
MulticastSS (Multicast Survivability and Security) |
Middleware |
Adam J. Slagell Cristina Abad Roelof Boonstra Jason Hester Nadir Kiyanclar Ahmed Sobeih Mike Treaster Jun Wang William Yurcik Zahid Anwar |
|
Multipass EPIC Microarchitecture |
Computer Architecture, High-Performance Computing, Parallel Computing |
Wen-mei W. Hwu Ronald D. Barnes John W. Sias Erik M. Nystrom Sanjay J. Patel Nacho Navarro |
|
MURI on QoS in Surveillance and Control |
Networks, Security Assessment |
Jennifer Hou |
|
NEESR-II: System Behavior Factors for Composite and Mixed Structural Systems |
Modeling and Simulation |
Jerome F. Hajjar |
|
New Techniques for Optimizing the Quality and Capacity of Wireless Communication Systems |
Multimedia, Wireless Systems |
Venugopal V. Veeravalli Jean-Francois Chamberland Yingbin Liang Jun Chen Che Lin Jason A. Fuemmeler Jayakrishnan Unnikrishnan |
|
Next-Generation RFID Systems: People and Object Tracking for Homeland Security Applications |
Critical Infrastructure, Sensor Networks |
Gavin Horn Richard Jaehne Volodymyr Kindratenko T. Yu B. Ghanem |
|
Noise-Tolerant DSP in the Deep Submicron Era |
Computer Hardware, Multimedia, Reliability |
Naresh R. Shanbhag Raj Hegde L. Wang Ganesh Balamurugan |
|
Noisy Nonlinear Nonsmooth Systems |
Dynamical Systems |
N. Sri Namachchivaya J. Park Richard B. Sowers |
|
Nonequilibrium Analysis and Design of Communication Networks |
Modeling and Simulation, Networks |
Tamer Basar Prashant G. Mehta Huibing Yin Uday Shanbhag Tansu Alpcan (Deutsche Telekom) |
|
Objective-Oriented Model Heterogeneous Sensor Networks for Coordinated Control |
Control, Networks |
Tamer Basar Tansu Alpcan Cheng Tang Serdar Yuksel |
|
On-Line Mining of Strange Moving Objects for Security Protection |
Data Mining |
Jiawei Han |
|
Optimization-Based Inverse Dynamics to Reduce Errors in Estimated Joint Torques |
Biometrics |
Elizabeth T. Hsiao-Wecksler |
|
Parametric Models for Large-Scale Agent Systems |
Formal Methods, Modeling and Simulation |
Gul Agha Nadeem Jamali Prasannaa Thati Reza Ziaei |
|
PECASE: Analysis and Design of Discontinuity-Driven Bifurcations |
Dynamical Systems |
Harry Dankowicz |
|
PERCS: A Highly Productive Computer System |
Computer Architecture, Debugging, Programming Languages |
David Padua |
|
Policy Assessment and Verification in Survivable Process Control Systems |
Security Assessment |
|
|
Predicate Analysis and Predicate-Aware Dataflow Analysis |
High-Performance Computing |
Wen-mei W. HwuJohn W. Sias |
|
Predictive Runtime Analysis |
Error Detection |
Grigore Rosu |
|
Privacy, Security, and Location-Based Tracking Systems |
Ethics, Privacy, Security |
Michael C. LouiJessa Wang |
|
Processor Level Error Detection and Recovery Techniques |
Reliability, Security |
Ravishankar K. Iyer |
|
Providing Fault-Tolerant Ad-hoc Routing Service in Adversarial Environments |
Networks, Reliability |
Klara NahrstedtYuan Xue |
|
QoS Routing |
Algorithms, Networks |
Klara Nahrstedt J. Qian L. K. Shan |
|
QoS-Aware Resource Management |
Algorithms, Networks |
Klara Nahrstedt K. Kim A. K. Viswanathan J. Wang |
|
Quality of Distributed Control and Surveillance |
Control, Distributed Systems, Fault Tolerance, Reliability, Security, Wireless Systems |
Ravishankar K. Iyer N. Breems M. Agarwal |
|
Quality of Surveillance and Control in Network Centric Warfare |
Distributed Systems, Networks |
Marco Caccamo W.-P. Chen R. Zheng |
|
Quantifying Uncertainty in Paleoliquefaction Studies |
Risk Management |
Junho Song Scott M. Olson Y. K. Wen |
|
Quantitative Characterization of Complex Motion Patterns Using Shape-based and Multivariate Techniques |
Biometrics |
S. Hong J. D. Polk |
|
Querying and Mining Large Datasets of Moving Objects |
Data Mining |
Jiawei Han Xiaolei Li Hector Gonzalez |
|
RAMP: Lifetime Reliability Aware Microprocessors |
Computer Architecture, Reliability |
Sarita V. Adve X. Li J. Srinivasan P. Bose J. Rivers (IBM) |
|
Rapid Customization of Systems Software |
High-Performance Computing |
Wen-mei W. Hwu J. Nacho Navarro Erik M. Nystrom Ronald D. Barnes Shane Ryoo Sain-Zee Ueng Geoffrey A. Kent James Player J. Cours D. Yang |
|
Real-Time Path Planning in Changing Environments |
Robotics |
Seth Hutchinson |
|
Real-Time Streaming of Multimedia Data in IP Networks with Loss Concealment |
Multimedia, Networks, Reliability |
Benjamin W. Wah Batu Sat Hang Yu |
|
Reduction of Noisy Nonlinear Systems |
Dynamical Systems |
N. Sri Namachchivaya Kristjan Onu Jun Park |
|
Reliable and Robust Control of Formations of Unmanned Vehicles |
Control, Reliability, Robotics |
Chad Burns Peter Hokayem Islam Hussein Juan Mejia Scott Smith (Boeing) John L. Vian (Boeing) |
|
Reliable, Efficient Communication on a Fast Ethernet Cluster |
Networks, Reliability |
Steven S. LumettaJ. Joh |
|
Remote and Distributed Control over Networks |
Control, Distributed Systems, Networks |
Petros G. Voulgaris |
|
Resilient Inter-domain Routing and Configuration |
Networks, Reliability |
Klara NahrstedtLi Xiao |
|
Restricted Community Accounts |
Distributed Systems, Middleware |
Von WelchKevin Price |
|
ReVive: Cost-Effective Architectural Support for Rollback Recovery in Shared-Memory Multiprocessors |
Computer Architecture, Reliability |
Josep Torrellas Jun Nakano Pablo Montesinos |
|
RINSE: A Real-time Immersive Network Simulator for Security Exercises |
Modeling and Simulation, Networks, Security Assessment |
David M. Nicol Michael Liljenstam Lara Karbiner Chris Grier Guanhua Yan Yougu Yuan |
|
Robust Communication |
Control, Reliability, Security |
Rouzbeh Touri |
|
SAFECode: A Compiler System for Enforcing Memory Safety in C Programs |
Compilers, Programming Languages |
Vikram Adve Sumant Kowshik Dinakar Dhurjati Chris Lattner |
|
Safety Policy Checking |
Programming Languages, Reliability |
Grigore Rosu |
|
Scalable Deep Program Analysis |
High-Performance Computing |
John W. Sias Erik M. Nystrom Chien-wei Li Hong-Seok Kim Shane Ryoo Nacho Navarro |
|
Scalable Formal Methods for Multidimensional Components |
Formal Methods |
|
|
Scalable Sensor Networks for Robust Detection and Prediction |
Distributed Systems |
|
|
Scalable, Accurate Interprocedural Pointer Analysis |
High-Performance Computing |
Wen-mei W. Hwu Erik M. Nystrom Hong-Seok Kim |
|
Secure Email List Services |
Distributed Systems |
Himanshu Khurana Jim Basney Rakesh Bobba Joe Muggli Meenal Pant Kathleen Ricker |
|
Secure Signal Embedding - Code Design and Cryptanalysis |
Cryptography, Formal Methods |
Pierre Moulin Pramod Viswanath Kannan Ramchandran (Berkeley) |
|
Secure Virtual Architecture (SVA): Compiler Techniques for Operating System Security and Reliability |
Compilers, Operating Systems, Security |
Vikram Adve Andrew Lenharth John Criswell Dinakar Dhurjati |
|
SecureWORM: Strong Regulatory-Compliant Storage |
Law, Security Policy |
Marianne Winslett |
|
Security and Configuration of Software Defined Radios |
Security |
Roy H. CampbellSuvda Myagmar |
|
Security and Privacy in Open Systems |
Privacy, Security |
Marianne Winslett Adam J. Lee Lars E. Olson Michael J. Rosulek |
|
Security for Collaborative Computing |
Distributed Systems, Middleware |
Himanshu KhuranaWeiting Cao |
|
Security for Web Services |
Distributed Systems, Middleware |
Von WelchTerry Fleury |
|
Security Incident Fusion Tools (SIFT) |
Security Assessment |
Adam J. Slagell Cristina Abad Ratna Bearavolu Charis Ermopoulous Kiran Lakkaraju Adam Lee Yifan Li Katherine Luo Suvda Myagmar Greg Pluta Ramona Su Xiaoxin Yin William Yurcik |
|
Simulation of the Multinode Open Access Same-Time Information System |
Modeling and Simulation, Power Systems |
George GrossYong Tian |
|
SoD: A Feedback-Based Architecture for Highly Reliable Embedded Software |
Embedded Systems, Reliability |
Marco Caccamo |
|
Software Architectures for Distributed Systems |
Distributed Systems, Middleware |
Gul AghaMark Astley |
|
Spatial-Temporal Nonlinear Filtering with Applications to Information Assurance and Counterterrorism |
Detection and Estimation |
Venugopal V. Veeravalli Vasanthan Raghavan Jason A. Fuemmeler |
|
Specifying and Deriving Mobile Systems |
Distributed Systems, Formal Methods, Security |
Gul Agha Prasannaa Thati Reza Ziaei |
|
Stability and Nonlinear Dynamics of Variable Speed Milling |
Dynamical Systems |
N. Sri Namachchivaya Jun Park Kristjan Onu |
|
Stability of Nonlinear Stochastic Systems |
Dynamical Systems |
N. Sri Namachchivaya Ludwig Arnold (Univ. of Bremen) Peter Imkeller (Humboldt-Univ. of Berlin) |
|
Statistical Inference Methods and Confidence Bounds for Signal Authentication and Traitor Tracing |
Security, Signal Processing |
|
|
Streaming Audio and Video Data with Transformation-Based Error Concealment |
Real-Time Systems, Reliability |
Benjamin W. Wah B. Sat H. Yu |
|
Structure Discovery and Database Integration by Data Mining |
Data Mining, Databases |
Jiawei Han Xiaoxin Yin Philip S. Yu (IBM) |
|
Structured Control and Application to Atomic Force Microscopy |
Control |
Petros G. VoulgarisM. Salapaka (Iowa State Univ.) |
|
Survivability and Reliability in Direct Access Networks |
Networks, Reliability |
Steven S. LumettaL. Li |
|
Survivable Trust for Critical Infrastructure |
Critical Infrastructure, Distributed Systems, Security |
David M. Nicol |
|
System Log Anonymization for Greater Exchange of Logs (SLAGEL) |
Privacy |
Adam J. Slagell |
|
System Reliability Assessment for Risk-Quantified Design |
Reliability, Risk Management |
Junho SongW.-H. Kang |
|
Systematic Design of Distributed Protocols: From Methodologies and Toolkits to Systems |
Distributed Systems |
Indranil Gupta |
|
Systematic Treatment of Uncertainty for Consequence-Based Risk Management |
Risk Management |
Junho Song Bruce R. Ellingwood (Georgia Tech.) Liang Chang |
|
TCP-Unaware Approaches to Improve Performance of TCP Over Wireless Links |
Wireless Systems |
Nitin H. Vaidya |
|
The Memory Model for Java |
Programming Languages |
Sarita V. AdveWilliam W. Pugh (Univ. of Maryland) |
|
The Responsible Conduct of Computational Modeling and Research |
Ethics |
Sara Wilson (University of Kansas) Matthew Keefer (University of Missouri at St. Louis) |
|
Threat Analysis of GNU Software Radio |
Security Assessment |
Roy H. Campbell Suvda Myagmar Raquel Hill |
|
Toward Building a Performance Predictable Wireless Mesh Network |
Networks, Wireless Systems |
P. R. Kumar |
|
Towards a Theory of In-Network Computation for Surveillance and Monitoring in Wireless Sensor Networks |
Networks, Wireless Systems |
P. R. Kumar |
|
Transmission Congestion Management Schemes: A Comparative Analysis Under a Unified Framework |
Power Systems |
George GrossEttore Bompard (Politecnico of Torino) |
|
Transparent Data Sharing in Large-Scale, Dynamic Distributed Systems |
Distributed Systems, Dynamical Systems |
Indranil Gupta Gabriel Antoniu (INRIA) Anne-Marie Kermarrec (IRISA) |
|
Traust: A Trust-Based Authorization Service for Open Systems |
Security |
Marianne WinslettAdam Lee |
|
TrustBuilder: Access Control and Authentication for Open Computing Systems |
Security |
Marianne Winslett Adam Lee Lars Olson Mike Rosulek |
|
Trustworthy Communication and Computing Architectures for Power Systems |
Computer Architecture, Power Systems |
Peter W. Sauer |
|
Uncertainty/Risk Quantification Methods for Spatially Tailored Aero-Thermal Structures |
Reliability, Risk Management |
Junho SongY. J. Lee |
|
Unifying Stakeholders and Security Programs to Address SCADA Vulnerabilities and Infrastructure Interdependencies |
Critical Infrastructure, Security Assessment |
William H. Sanders |
|
Using Architectural Support for Speculation to Provide Fault Tolerance |
Computer Architecture, Fault Tolerance |
Josep Torrellas Maria Jesus Garzaran Milos Prvulovic Z. Zhang |
|
Value Analysis Compilation Framework |
High-Performance Computing |
Wen-mei W. HwuJohn W. Sias |
|
Verification of Run-time Optimized Code |
High-Performance Computing |
Wen-mei W. Hwu Marie T. Conte John W. Sias Matthew C. Merten Andrew R. Trick Ronald D. Barnes |
|
Visualization and Optimization Techniques for Complex Networks |
HCI, Networks |
Sean P. Meyn |
|
VLSI Architectures for Soft Decoding of Reed-Solomon Codes |
Computer Architecture, High-Performance Computing |
A. Ahmed |
|
Wireless Wind Tunnel: A Testbed for Experimental Evaluation of Wireless Networks |
Networks, Testing, Wireless Systems |
|
|
A Compiler-Enabled Model and Measurement-Driven Adaptation Environment for Dependability and Performance |
High-Performance Computing, Modeling and Simulation, Reliability |
Karthik Pattabiraman |
|
Loss Concealment for Real-Time Multimedia over IP Networks |
Algorithms, Real-Time Systems, Reliability |
Benjamin W. Wah D. Lin X. Su H. Yu |
|
Visualization and Optimization Techniques for Analysis and Design of Complex Systems |
Algorithms, Computational Complexity, Modeling and Simulation |
Sean P. Meyn |