|
|
|
Large Projects
- Algorithms and Frameworks for OCR and Content-based Image Retrieval
Jike Chong, Bryan Christopher Catanzaro, Narayanan Sundaram, Fares Hedayati and Kurt Keutzer
- Optimizing Semantics-Preserving Implementation of Synchronous Reactive Communication
Guoqiang Wang, Marco Di Natale and Alberto L. Sangiovanni-Vincentelli
- Ptolemy Project
Edward A. Lee, Hugo Andrade, Christine Avanessians, Christopher Brooks, Dai Bui, Elaine Cheong, Thomas Huining Feng, Shanna-Shaye Forbes, Ben Lickly, Isaac Liu, Thomas Mandl, Eleftherios Matsikoudis, Slobodan Matic, Hwa-yong Oh, Hiren Patel, Mary Stewart, Min Van Ly, Yang Zhao, Gang Zhou and Jia Zou
- UCLID: Reasoning about Computer Systems with Boolean Methods (UCLID)
Sanjit A. Seshia, Bryan Brady and Susmit Kumar Jha
Small Projects
- A Formal Approach for Optimizing Mapping in System Level Design
Qi Zhu, Abhijit Davare and Alberto L. Sangiovanni-Vincentelli
- A Hierarchical Coordination Language for Interacting Real-Time Tasks
Arkadeb Ghosal, Christoph Kirsch, Daniel Iercan, Alberto L. Sangiovanni-Vincentelli and Thomas A. Henzinger
- A Platform-Based Approach to the Design of a Bioinformatic System
Douglas Michael Densmore, Alberto L. Sangiovanni-Vincentelli and Christopher Voigt
- An Interface Algebra for Task Graphs
Slobodan Matic and Thomas A. Henzinger
- Analysis of Interference Effects in MB-OFDM UWB Systems
Yanmei Li, Jan M. Rabaey and Alberto L. Sangiovanni-Vincentelli
- Architecture Model Refinement Verification in System Level Design
Douglas Michael Densmore and Alberto L. Sangiovanni-Vincentelli
- Automatic Clock Gate Synthesis
Aaron P. Hurst, Robert K. Brayton and Andreas Kuehlmann
- Communication Synthesis (COSI)
Alessandro Pinto, Luca Carloni and Alberto L. Sangiovanni-Vincentelli
- Efficient Task Allocation and Scheduling of Concurrent Applications to Multiprocessor Systems
Kaushik Ravindran, Nadathur Rajagopalan Satish and Kurt Keutzer
- Extensibility Optimization for Hard Real-time Distributed Systems
Qi Zhu, Yang Yang, Eelco Scholte and Alberto L. Sangiovanni-Vincentelli
- Fault Tolerance and Specification Coverage
Sanjit A. Seshia, Wenchao Li and Orna Kupferman
- Functional Symmetries and Their Uses in Optimization and Verification
Donald Chai and Andreas Kuehlmann
- Interchange Semantics for Hybrid System Models
Alessandro Pinto, Luca Carloni, Roberto Passerone and Alberto L. Sangiovanni-Vincentelli
- Leveraging Task and Data Level Parallelism in Multi-Core Processors
Nadathur Rajagopalan Satish and Kurt Keutzer
- Linearity and Q-Boosting of Vibrating Micromechanical Resonators
Clark Nguyen and Li-Wen Hung
- Logical Reliability of Interacting Real-Time Tasks
Arkadeb Ghosal, Krishnendu Chatterjee, Thomas A. Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello and Alberto L. Sangiovanni-Vincentelli
- Maskless Droplet-on-Demand (DoD) Systems
Jeffrey Bokor and Nathan Emley
- Maximum-Flow-Based Minimum-Register Retiming
Aaron P. Hurst and Alan Mishchenko
- Monetary Cost Evaluation for the Design of Automotive Electrical Architectures
Arkadeb Ghosal, Sri Kanajan, Randall Urbance and Alberto L. Sangiovanni-Vincentelli
- Multiprocessor Implementation of Image Recognition
Narayanan Sundaram, Bryan Christopher Catanzaro, Jike Chong and Kurt Keutzer
- Parallel SMT Solver
Rhishikesh Shrikant Limaye and Sanjit A. Seshia
- Parallel Transient Circuit Simulation Using Domain Decomposition
He Vincent Peng and Ernest S. Kuh
- Partial Evaluation for Optimized Compilation of Actor-Oriented Models
Man-Kit Leung, Gang Zhou, Christopher Brooks and Edward A. Lee
- Period Optimization for Hard Real-Time Distributed Automotive Systems
Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan and Alberto L. Sangiovanni-Vincentelli
- Platform-based Design of a Low Power MB-OFDM UWB Receiver Front-End
Yanmei Li, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli and Jan M. Rabaey
- Platform-based System Level Optimization for Mixed Systems
Alberto L. Sangiovanni-Vincentelli and Xuening Sun
- Post Decomposition Assessment of Double Patterning Layout
Juliet Alison Rubinstein and Andrew R. Neureuther
- PTIDES: Programming Temporally Integrated Distributed Embedded Systems
Yang Zhao, Slobodan Matic, Thomas Huining Feng, Jia Zou, Ben Lickly and Edward A. Lee
- QF_IDL: A Core Optimization Problem in Automated System Design
Matthew Walter Moskewicz and Kurt Keutzer
- Scalability of On-Chip Transmission Lines
Ling Zhang and Ernest S. Kuh
- Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code
Arkadeb Ghosal, Daniel Iercan, Christoph Kirsch, Thomas A. Henzinger and Alberto L. Sangiovanni-Vincentelli
- Single and Multi-CPU Performance Modeling for Embedded Systems
Trevor Conrad Meyerowitz, Alberto L. Sangiovanni-Vincentelli, Mirko Sauermann and Dominik Langen
- SMT Solver for Security
Susmit Kumar Jha and Sanjit A. Seshia
- Stimulus Generation for Constrained Biased Random Simulation
Nathan Kitchen, Tobias Welp and Andreas Kuehlmann
- System-Level Design and Analysis of Fault Tolerant Heterogeneous Systems
Mark Lee McKelvin Jr, Claudio Pinello and Alberto L. Sangiovanni-Vincentelli
- Towards an Automated Mapping from a Timed Functional Specification to a Timed Architecture
Hugo Andrade and Hiren Patel
- Verification of a Heterogeneous Model with Temporal Properties
Chihhong Patrick Cheng and Edward A. Lee
- Verification of Lazy Hybrid Automata
Susmit Kumar Jha, Sanjit A. Seshia and Bryan Brady
- Verification-Guided Error Resilience
Wenchao Li and Sanjit A. Seshia
- Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks
Elaine Cheong, Yang Zhao, Christopher Brooks and Edward A. Lee
- Word-Level Verification of Hardware Designs Using Selective Term-Level Abstraction
Sanjit A. Seshia and Bryan Brady
- Zero-Footprint Optical Metrology Wafer
John Gerling and Nathan W. Cheung
|
|
|
