Vittal Kini

Publication Activity (10 Years)

Years Active: 1981-1990
Publications (10 Years): 0

Publications

Fred J. Pollack, Dave Johnson, Dave Carson, Ron Ebersole, Vittal Kini, Konrad Lai, Bernie Silvernail, Steve Stacey
A VLSI-intensive fault-tolerant computer architecture. Compcon (1990)
Vittal Kini, David F. Martin, Allen Stoughton
Testing the INRIA Ada formal definition: the USC-ISI formal semantics project. AdaTEC Conference on Ada (1982)
Vittal Kini, Daniel P. Siewiorek
Automatic Generation of Symbolic Reliability Functions for Processor-Memory-Switch Structures. IEEE Trans. Computers 31 (8) (1982)
William T. Overman, Stephen D. Crocker, Vittal Kini
A multiprocessor description language. AFIPS National Computer Conference (1981)