Cache Miss Equations: A Compiler Framework for Analyzing and Tuning Memory Behavior
Margaret Martonosi, Somnath Ghosh
págs. 703-746
Model-Checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations,
Richard Gerber, Tevfik Bultan
págs. 747-789
págs. 790-812
págs. 813-847
págs. 848-894
© 2001-2024 Fundación Dialnet · Todos los derechos reservados