James R. Bitner

15 papers A 1Misc 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
1997 J jnl
Indexed BDDs: Algorithmic Advances in Techniques to Represent and Verify Boolean Functions.
IEEE Trans. Computers
Jawahar Jain, James R. Bitner, Magdy S. Abadir, Jacob A. Abraham, Donald S. Fussell
1995 Misc conf
Efficient variable ordering and partial representation algorithm.
VLSI Design
Jawahar Jain, Dinos Moundanos, James R. Bitner, Jacob A. Abraham, Donald S. Fussell, Don E. Ross
1994 — conf
A new scheme to compute variable orders for binary decision diagrams.
Great Lakes Symposium on VLSI
Jawahar Jain, James R. Bitner, Dinos Moundanos, Jacob A. Abraham, Donald S. Fussell
1994 — conf
Efficient Algorithmic Circuit Verification Using Indexed BDDs.
FTCS
James R. Bitner, Jawahar Jain, Magdy S. Abadir, Jacob A. Abraham, Donald S. Fussell
1992 J jnl
Probabilistic Verification of Boolean Functions.
Formal Methods Syst. Des.
Jawahar Jain, Jacob A. Abraham, James R. Bitner, Donald S. Fussell
1991 A conf
Probabilistic Design Verification.
ICCAD
Jawahar Jain, James R. Bitner, Donald S. Fussell, Jacob A. Abraham
1985 J jnl
Storing Matrices on Disk for Efficient Row and Column Retrieval.
Inf. Process. Lett.
James R. Bitner
1982 J jnl
An Asymptotically Optimal Algorithm for the Dutch National Flag Problem.
SIAM J. Comput.
James R. Bitner
1981 J jnl
Key Comparison Optimal 2-3 Trees with Maximum Utilization.
SIAM J. Comput.
James R. Bitner, Shou-Hsuan Stephen Huang
1979 J jnl
Heuristics That Dynamically Organize Data Structures.
SIAM J. Comput.
James R. Bitner
1979 J jnl
Optimal and Near-Optimal Scheduling Algorithms for Batched Processing in Linear Storage.
SIAM J. Comput.
James R. Bitner, C. K. Wong
1978 J jnl
The Selection of Optimal Tab Settings.
Commun. ACM
James L. Peterson, James R. Bitner, John H. Howard
1976 J jnl
Efficient Generation of the Binary Reflected Gray Code and Its Applications.
Commun. ACM
James R. Bitner, Gideon Ehrlich, Edward M. Reingold
1976 — —
Heuristics That Dynamically Alter Data Structures to Reduce Their Access Time
James R. Bitner
1975 J jnl
Backtrack Programming Techniques.
Commun. ACM
James R. Bitner, Edward M. Reingold