James R. Bitner

15 papers A 1Misc 1Journal 10Unranked 2

Year	Rank	Type	Title / 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