An extension of Van Gelder's alternating fixpoint to magic programs
- Shinichi Morishita
- 1996
- Journal of Computer and System Sciences
Publications
9280 results for Computer Science
Latest Developments in Operating Systems
- Nayeem Islam
- Roy H. Campbell
- 1996
- Communications of the ACM
Automatic defect classification for semiconductor manufacturing
- Paul B. Chou
- A. Ravishankar Rao
- et al.
- 1996
- Machine Vision and Applications
A high order explicit method for the computation of flow about a circular cylinder
- Christopher R. Anderson
- Marc B. Reider
- 1996
- Journal of Computational Physics
A practical method for creating plant diagnostics applications
- Gabor Karsai
- Samir Padalkar
- et al.
- 1996
- Integrated Computer-Aided Engineering
Primary production scheduling at steelmaking industries
- Ho Soo Lee
- S. Murthy
- et al.
- 1996
- IBM J. Res. Dev
Asymptotic conditional probabilities: The unary case
- Adam J. Grove
- Joseph Y. Halpern
- et al.
- 1996
- SIAM Journal on Computing
BooleDozer: Logic synthesis for ASICs
- Leon Stok
- D.S. Kung
- et al.
- 1996
- IBM J. Res. Dev
Storing and using objects in a relational database
- B. Reinwald
- Tobin J. Lehman
- et al.
- 1996
- IBM Systems Journal
Accelerated testing for cosmic soft-error rate
- J.F. Ziegler
- H.P. Muhlfeld
- et al.
- 1996
- IBM J. Res. Dev