From dynamic supertypes to subjects: A natural way to specify and develop systems
- William Harrison
- Haim Kilov
- et al.
- 1996
- IBM Systems Journal
Paper
Publications
9271 results for Computer Science
Spook solution - now open for business
- Mark Buckwell
- 1996
- Computers and Security
PaperAsymptotic conditional probabilities: The unary case
- Adam J. Grove
- Joseph Y. Halpern
- et al.
- 1996
- SIAM Journal on Computing
PaperA Message Passing Standard for MPP and Workstations
- Jack J. Dongarra
- Steve W. Otto
- et al.
- 1996
- Communications of the ACM
PaperUsing metrics to monitor concurrent product development
- Jim Rook
- Sa'ad Medhat
- 1996
- Industrial Management and Data Systems
PaperA strategy for the efficient full-wave description of complex waveguide networks
- Luciano Tarricone
- Marco Dionigi
- et al.
- 1996
- International Journal of RF and Microwave Computer-Aided Engineering
PaperThe Vesta Parallel File System
- Peter F. Corbett
- Dror G. Feitelson
- 1996
- ACM Transactions on Computer Systems
PaperSelectivity and cost estimation for joins based on random sampling
- Peter J. Haas
- Jeffrey F. Naughton
- et al.
- 1996
- Journal of Computer and System Sciences
PaperA document recognition system and its applications
- A. Yamashita
- T. Amano
- et al.
- 1996
- IBM J. Res. Dev
PaperA new version of algorithmic information theory
- G.J. Chaitin
- 1996
- Complexity
Paper