University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 8341–8370 of 13,373 items
Thumbnail for MadT: A Memory Access Detection Tool for Symbolic Memory Profiling
MadT: A Memory Access Detection Tool for Symbolic Memory Profiling
Marco Cesati; Mancuso, Renato; Betti, Emiliano; Caccamo, Marco

Thumbnail for Does elevated [CO2] alter diurnal C uptake and the balance of C and N metabolites in sink and source soybean leaves?
Does elevated [CO2] alter diurnal C uptake and the balance of C and N metabolites in sink and source soybean leaves?
Ainsworth, E.A.; Rogers, A.; Leakey, A.D.B.; Heady, L.E.; Gibon, Y.; Stitt, M.; Schurr, U.

Thumbnail for Formal Modeling and Analysis of  RAMP Transaction Systems in Maude
Formal Modeling and Analysis of RAMP Transaction Systems in Maude
Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José