Embedding a second-order type system into an intersection type system
- Hirofumi Yokouchi
- 1995
- Information and Computation
Publications
9082 results for Computer Science
Integrators for stiff systems with undamped oscillatory solutions
- Albert E. Ruehli
- Werner Liniger
- et al.
- 1995
- Numerical Functional Analysis and Optimization
CMOS scaling into the 21st century: 0.1 μm and beyond
- Y. Taur
- Y. Mii
- et al.
- 1995
- IBM J. Res. Dev
Fast Simulation of Rare Events in Queueing and Reliability Models
- Philip Heidelberger
- 1995
- ACM Transactions on Modeling and Computer Simulation (TOMACS)
Routing and Wavelength Assignment in All-Optical Networks
- Rajiv Ramaswami
- Kumar N. Sivarajan
- 1995
- IEEE/ACM Transactions on Networking
SP2 high-performance switch
- Craig B. Stunkel
- D.G. Shea
- et al.
- 1995
- IBM Systems Journal
On exponential ill-conditioning and internal layer behavior
- Luis G. Reyna
- Michael J. Ward
- 1995
- Numerical Functional Analysis and Optimization
Analyzing the Multimedia Operating System
- Ralf Steinmetz
- 1995
- IEEE Multimedia
Performing color space conversions with three-dimensional linear interpolation
- James M. Kasson
- Sigfredo I. Nin
- et al.
- 1995
- Journal of Electronic Imaging
Decidability of systems of set constraints with negative constraints
- Alexander Aiken
- Dexter Kozen
- et al.
- 1995
- Information and Computation