|
|
|
Large Projects
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
- Analysis of Interference Effects in MB-OFDM UWB Systems
Yanmei Li, Jan M. Rabaey and Alberto L. Sangiovanni-Vincentelli
- Architecture Exploration for Distributed Automotive Application
Wei Zheng and Alberto L. Sangiovanni-Vincentelli
- Architecture Model Refinement Verification in System Level Design
Douglas Michael Densmore and Alberto L. Sangiovanni-Vincentelli
- Communication Synthesis (COSI)
Alessandro Pinto, Luca Carloni and Alberto L. Sangiovanni-Vincentelli
- Execution Time Analysis on the PICos18 Real-Time Operating System
Guoqiang Wang, Marco Di Natale and Alberto L. Sangiovanni-Vincentelli
- Extensibility Optimization for Hard Real-time Distributed Systems
Qi Zhu, Yang Yang, Eelco Scholte and Alberto L. Sangiovanni-Vincentelli
- Interchange Semantics for Hybrid System Models
Alessandro Pinto, Luca Carloni, Roberto Passerone and Alberto L. Sangiovanni-Vincentelli
- 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
- Monetary Cost Evaluation for the Design of Automotive Electrical Architectures
Arkadeb Ghosal, Sri Kanajan, Randall Urbance and Alberto L. Sangiovanni-Vincentelli
- 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
- 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
- System-Level Design and Analysis of Fault Tolerant Heterogeneous Systems
Mark Lee McKelvin Jr, Claudio Pinello and Alberto L. Sangiovanni-Vincentelli
|
|
|
