Analyzing the Multimedia Operating System
- Ralf Steinmetz
- 1995
- IEEE Multimedia
Paper
Publications
9271 results for Computer Science
Verity - a formal verification program for custom CMOS circuits
- Andreas Kuehlmann
- A. Srinivasan
- et al.
- 1995
- IBM J. Res. Dev
PaperScalable implementation of the NAS parallel benchmark BT on distributed memory systems
- V.K. Naik
- 1995
- IBM Systems Journal
PaperA Multimedia Information System for Home Health-Care Support
- Michelle Y. Kim
- T.J. Watson
- 1995
- IEEE Multimedia
PaperTechnology Leverage for Ultra-Low Power Information Systems
- Johannes M. C. Stork
- 1995
- Proceedings of the IEEE
PaperOptimal amortized distributed consensus
- Amotz Barnoy
- xiaotie Deng
- et al.
- 1995
- Information and Computation
PaperPerformance of fiber-optic data links using 670-nm cw VCSELs and a monolithic Si photodetector and CMOS preamplifier
- D. Kuchta
- H. Ainspan
- et al.
- 1995
- IBM J. Res. Dev
PaperCheckpointing for Optimistic Concurrency Control Methods
- Alexander Thomasian
- 1995
- IEEE Transactions on Knowledge and Data Engineering
PaperElectromigration and stress-induced voiding in fine Al and Al-alloy thin-film lines
- C.-K. Hu
- K.P. Rodbell
- et al.
- 1995
- IBM J. Res. Dev
PaperA New Label-Based Source Routing for Multi-Ring Networks
- Adrian Segall
- 1995
- IEEE/ACM Transactions on Networking
Paper