Baruch Solomon

Publication Activity (10 Years)

Years Active: 1989-2003
Publications (10 Years): 0

Publications

Baruch Solomon, Avi Mendelson, Ronny Ronen, Doron Orenstein, Yoav Almog
Micro-operation cache: a power aware frontend for variable instruction length ISA. IEEE Trans. Very Large Scale Integr. Syst. 11 (5) (2003)
Baruch Solomon, Avi Mendelson, Doron Orenstein, Yoav Almog, Ronny Ronen
Micro-operation cache: a power aware frontend for the variable instruction length ISA. ISLPED (2001)
Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon
Extensions of Temporal Logic for Counting with Applications to Model Verification. PSTV (1989)