Your search returned 6 results.

Sort
Results
Compiler construction : 24th international conference, CC, European joint conferences on theory and practice of software, ETAPS, proceedings, London, UK April 11-18, 2015 (e-book)

by Franke, Bjorn [Editor].

Series: Lecture notes in computer science ; v.9031 Language: null Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Not for loan (1) .

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.

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 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.

Automatic parallelization: an overview of fundamental compiler techniques (e-book)

by Midkiff, Samuel [Author].

Series: Synthesis lectures on computer architectureMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2012Online access: Click here to access online Availability: Items available for reference: Online (1) .

Deep learning systems : algorithms, compilers, and processors for large-scale production (e-book)

by Rodriguez, Andres [Author].

Series: Synthesis lectures on computer architectureMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2021Online access: Click here to access online Availability: Items available for reference: Online (1) .

Compiler construction : 24th international conference, CC, European joint conferences on theory and practice of software, ETAPS, proceedings, London, UK April 11-18, 2015 (e-book)

by Franke, Bjorn [Editor].

Series: Lecture notes in computer science ; v.9031 Language: null Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) .

Pages

Powered by Koha