David K. Probst

15 papers A* 5Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
1997 — ed.
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
CHARME
Hon Fung Li, David K. Probst
1994 — conf
Programming, Compiling and Executing Partially-Ordered Instruction Streams on Scalable Shared-Memory Multiprocessors.
HICSS (1)
David K. Probst
1993 A* ed.
Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings
CAV
Gregor von Bochmann, David K. Probst
1993 A* conf
Verifying Timed Behavior Automata with Input/Output Critical Races.
CAV
David K. Probst, Hon Fung Li
1992 A* conf
Verifying Timed Behavior Automata with Nonbinary Delay Constraints.
CAV
David K. Probst, Hon Fung Li
1991 A* conf
Partial-Order Model Checking: A Guide for the Perplexed.
CAV
David K. Probst, Hon Fung Li
1990 J jnl
Optimal VLSI Dictionary Machines Without Compress Instructions.
IEEE Trans. Computers
Hon Fung Li, David K. Probst
1990 A* conf
Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems.
CAV
David K. Probst, Hon Fung Li
1990 — conf
Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems.
CAV (DIMACS/AMS volume)
David K. Probst, Hon Fung Li
1988 J jnl
Abstract Specification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations.
IEEE Trans. Computers
David K. Probst, Hon Fung Li
1987 J jnl
A fast, low-space algorithm for multiplying dense multivariate polynomials.
ACM Trans. Math. Softw.
Vangalur S. Alagar, David K. Probst
1982 — conf
An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials.
EUROCAM
David K. Probst, Vangalur S. Alagar
1980 J jnl
Corrigendum: A Family of Algorithms for Powering Sparse Polynomials.
SIAM J. Comput.
David K. Probst, Vangalur S. Alagar
1979 J jnl
A Family of Algorithms for Powering Sparse Polynomials.
SIAM J. Comput.
David K. Probst, Vangalur S. Alagar
1977 — conf
Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials.
International Computing Symposium
Vangalur S. Alagar, David K. Probst