University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2701–2730 of 6,103 items
Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for access: v.21, no.03, Fall 2008
access: v.21, no.03, Fall 2008
National Center for Supercomputing Applications (NCSA)

Thumbnail for Natjam: Eviction Policies For Supporting Priorities and Deadlines in Mapreduce Clusters
Natjam: Eviction Policies For Supporting Priorities and Deadlines in Mapreduce Clusters
Gupta, Indranil; Cho, Brian; Rahman, Muntasir Raihan; Chajed, Tej; Abad, Cristina L.; Roberts, Nathan; Lin, Philbert

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