Wilbert H. F. J. Körver

According to our database, Wilbert H. F. J. Körver authored at least 5 papers between 1995 and 1996.

Collaborative distances:

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

1996

A discrete formalization of switch-level circuit behavior.

Wilbert H. F. J. Körver

Integr., 1996

A Practical Development Process for Parallel Large-Scale Applications and its Underlying Formal Framework.

J. P. Geschiere, Wilbert H. F. J. Körver

Comput. J., 1996

On Potential Software Support for a Three-Phase Development Process for Parallel Large-Scale Applications.

Wilbert H. F. J. Körver, J. P. Geschiere

Proceedings of the UK Parallel '96 - Proceedings of the BCS PPSG Annual Conference, Surrey, 1996

1995

A Formal Framework for Defining and Developing Parallel Large-Scale Applications.

J. P. Geschiere, Wilbert H. F. J. Körver

Proceedings of the Parallel Computing: State-of-the-Art and Perspectives, 1995

A universal formalization of the effects of threshold voltages for discrete switch-level circuit models.

Wilbert H. F. J. Körver

Proceedings of the 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), 1995