Baruch Solomon

According to our database, Baruch Solomon authored at least 2 papers between 1989 and 2001.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2001

Micro-operation cache: a power aware frontend for the variable instruction length ISA.

Baruch Solomon, Avi Mendelson, Doron Orenstein, Yoav Almog, Ronny Ronen

Proceedings of the 2001 International Symposium on Low Power Electronics and Design, 2001

1989

Extensions of Temporal Logic for Counting with Applications to Model Verification.

Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon

Proceedings of the Protocol Specification, 1989