Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
We present a rendering of some common grammatical formalisms in terms of evolving algebras. Though our main concern in this paper is on constraint-based formalisms, we also discuss the more basic case of context-free grammars. Our aim throughout is to highlight the use of evolving algebras as a specification tool to obtain grammar formalisms. © 1995 Kluwer Academic Publishers.
Pradip Bose
VTS 1998
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
Jose Manuel Bernabe' Murcia, Alejandro Molina Zarca, et al.
Computing
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990