University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 61–90 of 349 items
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

Thumbnail for Response-Time Analysis for Single Core Equivalence Framework
Response-Time Analysis for Single Core Equivalence Framework
Mancuso, Renato; Pellizzoni, Rodolfo; Caccamo, Marco; Sha, Lui; Yun, Heechul