Your search returned 12 results.

Sort
Results
Replication : theory and practice (e-book)

by Charron-Bost, Bernadette [Editor] | Pedone, Fernando [Editor] | Schiper, Andre [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.5959 | LNCS Sublibrary : SL 1 – Theoretical computer science and general issues | Lecture notes in computer science. State-of-the-art survey Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Methodologies for the design of self-checking circuits (R)

by Pagey, Sandeep [Author] | Sherlekar, S.D [Supervisor] | Venkatesh, G [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering.

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

NASA formal methods : 7th international symposium, NFM, proceedings, Pasadena, CA, USA, April 27-29, 2015 (e-book)

by Havelund, Klaus [Editor] | Holzmann, Gerard [Editor] | Joshi, Rajeev [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.9058 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) .

On guaranteeing availability in underlay aware overlay networks (R)

by Madhu Kumar, S.D [Author] | Bellur, Umesh [Supervisor] | Govindan, V.K [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.327.8:681.3.06 Mad.

Design of monitored self-checking sequential circuits (R)

by Parekhji, Rubin A [Author] | Venkatesh, G [Supervisor] | Sherlekar, S.D [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering.

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

Fault-tolerant and active power decoupling topologies for single-phase grid-connected solar photovoltaic systems (R)

by Pradeep Kumar, V.V.S [Author] | Fernandes, B.G [Supervisor] | Indian Institute of Technology Bombay. Department of Electrical Engineering.

Language: English Publication details: Mumbai IIT 2017Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Electrical Engineering 2017 Availability: Items available for reference: Not for loan (1) Call number: 043:621.314.5:620.91 Pra.

Fault tolerant computer architecture (e-book)

by Sorin, Daniel [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 2009Online access: Click here to access online Availability: Items available for reference: Online (1) .

Communication and agreement abstractions for fault-tolerant asynchronous distributed systems (e-book)

by Raynal, Michel [Author].

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

Fault-tolerant agreement in synchronous message-passing systems (e-book)

by Raynal, Michel [Author].

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

Network topology and fault-tolerant consensus (e-book)

by Sakavalas, Dimitris [Author] | Tseng, Lewis [Author].

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

Pages

Powered by Koha