Karim Khordoc

According to our database, Karim Khordoc authored at least 6 papers between 1991 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

Combinational verification by simulations, SAT and BDDs.

Katarzyna Radecka, Zeljko Zilic, Karim Khordoc

Proceedings of the 2001 8th IEEE International Conference on Electronics, 2001

2000

An object-oriented approach to system modeling and codesign for multimedia applications.

Ghassan Fayad, Karim Khordoc

Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000

1998

Semantics and verification of action diagrams with linear timing.

Karim Khordoc, Eduard Cerny

ACM Trans. Design Autom. Electr. Syst., 1998

1994

Modeling Cell Processing Hardware with Action Diagrams.

Karim Khordoc, Eduard Cerny

Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994

1993

Integrating Behavior and Timing in Executable Specifications.

Karim Khordoc, Mario Dufresne, Eduard Cerny, P. A. Babkine, Allan Silburt

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1991

A Stimulus/Response System Based on Hierarchical Timing Diagrams.

Karim Khordoc, Mario Dufresne, Eduard Cerny

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991