Your search returned 3 results.

Sort
Results
Heap reference analysis (R)

by Kati, John Chaitanya | Khedkar, Uday [Supervisor].

Language: English Publication details: Mumbai IIT 2007Dissertation note: Dissertation M.Tech. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2007 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.07 Kat.

SPOTS : a system for proving optimizing transformations sound (R)

by Kanade, Aditya Sunil [Author] | Khedkar, Uday [ Supervisor] | Sanyal, Amitabha [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering.

Language: English Publication details: Mumbai IIT 2007Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2007 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:519.3 Kan.

Heap reference analysis (R)

by Karkare, Amey [Author] | Khedkar, Uday [Supervisor] | Sanyal, Amitabha [Supervisor] | Indian Institute of Technology Bombay Department of Computer Science and Engineering.

Language: English Publication details: Bombay IIT 2009Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2009 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.07 Kar.

Pages

Powered by Koha