Results
|
|
|
Derivation of imperative sequential programs from formal specifications (R) by Chaudhari, Dipak Liladhar [Author] | Damani, Om [Supervisor] | Indian Institute of Technology Bombay Department of Computer Science and Engineering. Language: English Publication details: Bombay ; IIT ; 2017Dissertation note: Thesis Ph.D Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2017 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:517.1Cha.
|
|
|
|
Towards improved provisioning and utilization of resources in virtualized environments (R) by Sudevalayam, Sujesha [Author] | Kulkarni, Purushottam [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Material type:  Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bombay IIT 2018Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay, Department of Computer Science and Engineering 2018 Availability: Items available for reference: Not for loan (1) Call number: 043:681.327.8:681.3.06 Sud.
|
|
|
|
Algorithms for robust control system design using optimization techniques and parallel computation (R) by Purohit, Harsh | Nataraj, P.S.V [Supervisor] | Indian Institute of Technology Bombay. Interdisciplinary Programem in Systems and Control Engineering. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Mumbai IIT 2018Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Interdisciplinary Programme in System and Control Engineering 2018 Availability: Items available for reference: Not for loan (1) Call number: 043:621-526:681.3.06 Pur.
|
|
|
|
Dependence analysis of functional programs and its applications (R) by Prasanna Kumar, K [Author] | Sanyal, Amitabha [Supervisor] | Karkare, Amey | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bombay IIT 2019Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:517.1 Pra.
|
|
|
|
Optimization of data access from imperative programs using static analysis (R) by Emani, K. Venkatesh [Author] | Sudarshan, S [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bombay IIT 2019Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.02:681.3.06 Ema.
|
|
|
|
Scaling up property checking (R) by Shrawankumar [Author] | Sanyal, Amitabha [Supervisor] | Khedker, Uday [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bombay IIT 2019Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06 Shr.
|
|
|
|
Bidirectionality in flow-sensitive demand-driven analysis (R) by Jaiswal, Swati [Author] | Khedker, Uday P [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bombay IIT 2019Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Not for loan (1) Call number: 681.3 Jai.
|
