Author Info
Name
Affiliation
Papers
ELAD ELSTER
Mobile Micro-processor Group, Intel Corp.
2
Collaborators
Citations 
PageRank 
10
32
1.87
Referers 
Referees 
References 
70
47
21
Title
Citations
PageRank
Year
Efficient symbolic simulation of low level software80.572008
Formal verification of backward compatibility of microcode241.292005