An Automaton Model for Scheduling Constraints in Synchronous Machines
IEEE Transactions on Computers
Reconfigurable Computing for Digital Signal Processing: A Survey
Journal of VLSI Signal Processing Systems
Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification
IEEE Transactions on Software Engineering
Hi-index | 0.00 |