Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
A notion of "exit-automaton" is introduced to play a role analogous to "machine scheme" or "program scheme". Exit-automata and machines are equipped with algebraic structure leading to a simple characterization of their behaviors. © 1970 Springer-Verlag.
Pradip Bose
VTS 1998
Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science
Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS
Israel Cidon, Leonidas Georgiadis, et al.
IEEE/ACM Transactions on Networking