MSU Libraries
Digital Repository
Home
About
Collections
Selected facets
Collection: Electronic Theses & Dissertations
×
Thesis Advisor: Kulkarni, Sandeep
×
Material Type
Theses
6
Language
English
6
Copyright Status
Creative Commons Licensed
2
In Copyright
4
Subject
Combinatorial optimization
1
Computer programs
1
Computer programs--Verification
1
Computer science
2
Computers--Circuits--Design and construction
1
Embedded computer systems--Design and construction
1
Embedded computer systems--Testing
1
Evolutionary computation
1
Fault-tolerant computing
2
Fault-tolerant computing--Mathematical models
1
Object-oriented programming (Computer science)
1
Revision control (Computer science)
1
Search results
Showing 1 to 6 of 6 results
Results per page
20
50
100
Sort by
Most Relevant
Title (A-Z)
Title (Z-A)
Date (Newest)
Date (Oldest)
Most Recent
Least Relevant
Achieving reliable distributed systems : through efficient run-time monitoring and predicate detection
Tekken Valapil, Vidhya
Text (2020)
Part of
Electronic Theses & Dissertations
Using Eventual Consistency to Improve the Performance of Distributed Graph Computation In Key-Value Stores
Nguyen, Duong Ngoc
Text (2021)
Part of
Electronic Theses & Dissertations
Automatic verification and revision of multitolerant programs
Chen, Jingshu
Text (2013)
Part of
Electronic Theses & Dissertations
Using evolutionary approach to optimize and model multi-scenario, multi-objective fault-tolerant problems
Zhu, Ling (Engineer)
Text (2017)
Part of
Electronic Theses & Dissertations
A framework for verification of transaction level models in systemc
Hajisheykhi, Reza
Text (2016)
Part of
Electronic Theses & Dissertations
Automated addition of fault-tolerance via lazy repair and graceful degradation
Lin, Yiyan
Text (2015)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last