A fast and robust exact algorithm for face embedding
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
A new algorithm for the reduction of incompletely specified finite state machines
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
On speeding up extended finite state machines using catalyst circuitry
Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Logic minimization using exclusive OR gates
Proceedings of the 38th annual Design Automation Conference
Intelligent agents in granular worlds
Soft computing agents
Fast three-level logic minimization based on autosymmetry
Proceedings of the 39th annual Design Automation Conference
Optimization of synchronous circuits
Logic Synthesis and Verification
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
Solution of parallel language equations for logic synthesis
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
Submodule Construction for Specifications with Input Assumptions and Output Guarantees
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Evolutionary algorithms for the physical design of VLSI circuits
Advances in evolutionary computing
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Synthesis and verification
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
Model-Driven Development of Reliable Automotive Services
Simple switching control for hybrid dynamics of a planar hopping robot
CA '07 Proceedings of the Ninth IASTED International Conference on Control and Applications
FSM Encoding for BDD Representations
International Journal of Applied Mathematics and Computer Science
Reduction in the Number of PAL Macrocells in the Circuit of a Moore FSM
International Journal of Applied Mathematics and Computer Science
Synthesis of finite state machines for CPLDs
International Journal of Applied Mathematics and Computer Science - Special Section: Robot Control Theory Cezary Zielinski
A SVD-based fragile watermarking scheme for image authentication
IWDW'02 Proceedings of the 1st international conference on Digital watermarking
A component-based model integrated framework for embedded software
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
A Scheduling Strategy for Synchronous Elastic Designs
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
| Hi-index | 0.00 |