Nadeem Malik

According to our database, Nadeem Malik authored at least 6 papers between 1992 and 1999.

Collaborative distances:

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

1999

Sectored renaming for superscalar microprocessors.

Alan Pita, Nadeem Malik

Proceedings of the IEEE International Performance Computing and Communications Conference, 1999

A toolset for assisted formal verification.

Nadeem Malik, Jason Baumgartner, Steven Roberts, Ryan Dobson

Proceedings of the IEEE International Performance Computing and Communications Conference, 1999

1997

Automaton: an autonomous coverage-based multiprocessor system verification environment.

Nadeem Malik, Steven Roberts, Alan Pita, Ryan Dobson

Proceedings of the Proceedings 8th IEEE International Workshop on Rapid System Prototyping: Shortening the Path from Specification to Prototype, 1997

1994

Distributed directory tags.

Avijit Saha, Nadeem Malik

SIGARCH Comput. Archit. News, 1994

1992

Instruction-level parallelism from execution interlock collapsing.

Nadeem Malik, Richard J. Eickemeyer, Stamatis Vassiliadis

SIGARCH Comput. Archit. News, 1992

Interlock collapsing ALU for increased instruction-level parallelism.

Nadeem Malik, Richard J. Eickemeyer, Stamatis Vassiliadis

Proceedings of the 25th Annual International Symposium on Microarchitecture, 1992