Vittal Kini

According to our database1, Vittal Kini authored at least 4 papers between 1981 and 1990.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1990
A VLSI-intensive fault-tolerant computer architecture.
Proceedings of the Intellectual Leverage: Thirty-Fifth IEEE Computer Society International Conference, 1990

1982
Automatic Generation of Symbolic Reliability Functions for Processor-Memory-Switch Structures.
IEEE Trans. Computers, 1982

Testing the INRIA Ada formal definition: the USC-ISI formal semantics project.
Proceedings of the AdaTEC Conference on Ada, 1982

1981
A multiprocessor description language.
Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981


  Loading...