University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 61–90 of 360 items
Thumbnail for Schedule-Based Side-Channel Attack in Fixed-Priority Real-time Systems
Schedule-Based Side-Channel Attack in Fixed-Priority Real-time Systems
Chen, Chien-Ying; Ghassami, Amiremad; Nagy, Stefan; Yoon, Man-Ki; Mohan, Sibin; Kiyavash, Negar; Bobba, Rakesh B.; Pellizzoni, Rodolfo

Thumbnail for Synchronizing Store Sets (SSS): Balancing the Benefits and Risks of Inter-thread Load Speculation
Synchronizing Store Sets (SSS): Balancing the Benefits and Risks of Inter-thread Load Speculation
Stone, Sam S.; Woley, Kevin M.; Malik, Kshitiz; Agarwal, Mayank; Dhar, Vikram; Frank, Matthew I.

Thumbnail for Synchronous AADL and its Formal Analysis in Real-Time Maude
Synchronous AADL and its Formal Analysis in Real-Time Maude
Bae, Kyungmin; Olveczky, Peter C.; Al-Nayeem, Abdullah; Meseguer, José

Thumbnail for Real-time Scheduling of Concurrent
Transactions in Multi-domain Ring Buses
Real-time Scheduling of Concurrent Transactions in Multi-domain Ring Buses
Bui, Bach Duy; Pellizzoni, Rodolfo; Caccamo, Marco