A Reliability Overview of Intel's 10+ Logic Technology.

Rohit Grover T. Acosta C. AnDyke Emre Armagan C. Auth Sunny Chugh K. Downes M. Hattendorf N. Jack S. Joshi R. Kasim Gerald S. Leatherman S.-H. Lee C.-Y. Lin A. Madhavan H. Mao A. Lowrie G. Martin G. McPherson Pinakpani Nayak A. Neale D. Nminibapiel Benjamin Orr James Palmer C. M. Pelto S. S. Poon I. Post T. Pramanik Anisur Rahman Stephen Ramey N. Seifert K. Sethi Anthony Schmitz H. Wu A. Yeoh

Published in: IRPS (2020)

Keyphrases

rapid development
data processing
logic programming
cost effective
logical framework
classical logic
technological advances
real time
genetic algorithm
social networks
case study
learning environment
computer systems
modal logic
highly reliable
predicate logic