Login / Signup
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)