David K. Probst

发表

Proceedings of the IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods: Advances in Hardware Design and Verification

Hon Fung Li, David K. Probst, 1997 .

Abstract Specification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations

Hon Fung Li, David K. Probst, D. Probst, 1988, IEEE Trans. Computers.

Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada

Hon Fung Li, David K. Probst, 1997, CHARME.

On the Effectiveness of Teaching Optics as a Webinar

David K. Probst, 2015 .

Programming, compiling and executing partially-ordered instruction streams on scalable shared-memory multiprocessors

David K. Probst, D. Probst, 1994, 1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences.

A fast, low-space algorithm for multiplying dense multivariate polynomials

David K. Probst, Vangalur S. Alagar, V. Alagar, 1987, TOMS.

Advances in Hardware Design and Verification

Hon Fung Li, David K. Probst, 1997, IFIP Advances in Information and Communication Technology.

Avoiding and tolerating latency in large-scale next-generation shared-memory multiprocessors

David K. Probst, 1993 .

Corrigendum: A Family of Algorithms for Powering Sparse Polynomials

David K. Probst, Vangalur S. Alagar, V. Alagar, 1980, SIAM J. Comput..

Fishing with Broken Net: Predicament in Teaching Introductory Physics

David K. Probst, Yumin Zhang, 2015 .

Verifying Timed Behavior Automata with Nonbinary Delay Constraints

Hon Fung Li, David K. Probst, D. Probst, 1992, CAV.

Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials

David K. Probst, Vangalur S. Alagar, V. Alagar, 1977, International Computing Symposium.

Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems

Hon Fung Li, David K. Probst, 1990, CAV.

Modelling Reactive Hardware Processes Using Partial Orders

Hon Fung Li, David K. Probst, 1990 .

Proceedings of the Fourth International Workshop on Computer Aided Verification

Gregor von Bochmann, David K. Probst, G. Bochmann, 1992 .

SAGE off Stage: Teaching Electromagnetics with a Symbolic Computation Tool

David K. Probst, Yumin Zhang, 2014 .

An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials

David K. Probst, Vangalur S. Alagar, V. Alagar, 1982, EUROCAM.

Problem Design in Homework

David K. Probst, Yumin Zhang, 2018 .

Panel Discussion: Is There a Crisis in Hardware Verification?

Hon Fung Li, David K. Probst, 1997 .

Partial-Order Model Checking: A Guide for the Perplexed

Hon Fung Li, David K. Probst, 1991, CAV.

Verifying Timed Behavior Automata with Input/Output Critical Races

Hon Fung Li, David K. Probst, 1993, CAV.

Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings

Gregor von Bochmann, David K. Probst, 1993, CAV 1993.

Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems

Hon Fung Li, David K. Probst, H. Li, 1990, CAV.

Optimal VLSI Dictionary Machines Without Compress Instructions

Hon Fung Li, David K. Probst, 1990, IEEE Trans. Computers.

A simple modern correctness condition for a space-based high-performance multiprocessor

David K. Probst, Hon Fung Li, 1992 .

Advances in hardware design and verification : IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal Canada

Hon Fung Li, David K. Probst, Ifip Wg, 1997 .

Rule-based detection of speech features for automatic speech recognition

Renato De Mori, David K. Probst, Lily Lam, 1987 .