James R. Bitner

According to our database, James R. Bitner authored at least 15 papers between 1975 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1997

Indexed BDDs: Algorithmic Advances in Techniques to Represent and Verify Boolean Functions.

Jawahar Jain, James R. Bitner, Magdy S. Abadir, Jacob A. Abraham, Donald S. Fussell

IEEE Trans. Computers, 1997

1995

Efficient variable ordering and partial representation algorithm.

Jawahar Jain, Dinos Moundanos, James R. Bitner, Jacob A. Abraham, Donald S. Fussell, Don E. Ross

Proceedings of the 8th International Conference on VLSI Design (VLSI Design 1995), 1995

1994

A new scheme to compute variable orders for binary decision diagrams.

Jawahar Jain, James R. Bitner, Dinos Moundanos, Jacob A. Abraham, Donald S. Fussell

Proceedings of the Fourth Great Lakes Symposium on Design Automation of High Performance VLSI Systems, 1994

Efficient Algorithmic Circuit Verification Using Indexed BDDs.

James R. Bitner, Jawahar Jain, Magdy S. Abadir, Jacob A. Abraham, Donald S. Fussell

Proceedings of the Digest of Papers: FTCS/24, 1994

1992

Probabilistic Verification of Boolean Functions.

Jawahar Jain, Jacob A. Abraham, James R. Bitner, Donald S. Fussell

Formal Methods Syst. Des., 1992

1991

Probabilistic Design Verification.

Jawahar Jain, James R. Bitner, Donald S. Fussell, Jacob A. Abraham

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

1985

Storing Matrices on Disk for Efficient Row and Column Retrieval.

James R. Bitner

Inf. Process. Lett., 1985

1982

An Asymptotically Optimal Algorithm for the Dutch National Flag Problem.

James R. Bitner

SIAM J. Comput., 1982

1981

Key Comparison Optimal 2-3 Trees with Maximum Utilization.

James R. Bitner, Shou-Hsuan Stephen Huang

SIAM J. Comput., 1981

1979

Optimal and Near-Optimal Scheduling Algorithms for Batched Processing in Linear Storage.

James R. Bitner, C. K. Wong

SIAM J. Comput., 1979

Heuristics That Dynamically Organize Data Structures.

James R. Bitner

SIAM J. Comput., 1979

1978

The Selection of Optimal Tab Settings.

James L. Peterson, James R. Bitner, John H. Howard

Commun. ACM, 1978

1976

Heuristics That Dynamically Alter Data Structures to Reduce Their Access Time

James R. Bitner

PhD thesis, 1976

Efficient Generation of the Binary Reflected Gray Code and Its Applications.

James R. Bitner, Gideon Ehrlich, Edward M. Reingold

Commun. ACM, 1976

1975

Backtrack Programming Techniques.

James R. Bitner, Edward M. Reingold

Commun. ACM, 1975