James R. Bitner

Publication Activity (10 Years)

Years Active: 1975-1997
Publications (10 Years): 0

Publications

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