Solving systems of difference constraints incrementally
- G. Ramalingam
- Junehwa Song
- et al.
- 1999
- Algorithmica (New York)
Paper
Publications
9299 results for Computer Science
Optimal representations of polymorphic types with subtyping
- Alexander Aiken
- Edward L. Wimmers
- et al.
- 1999
- Higher-Order and Symbolic Computation
PaperTechnical reference architectures
- P.T.L. Lloyd
- G.M. Galambos
- 1999
- IBM Systems Journal
PaperComplexity of tree automata and logics of programs
- E. Allen Emerson
- Charanjit S. Jutla
- 1999
- SIAM Journal on Computing
PaperCharacterization of silicon surface preparation processes for advanced gate dielectrics
- H. Okorn-Schmidt
- 1999
- IBM J. Res. Dev
PaperFast broadcast in high-speed networks
- Ajei Gopal
- Inder Gopal
- et al.
- 1999
- IEEE/ACM Transactions on Networking
PaperEffect of inhomogeneities on dynamic crack growth in an elastic solid
- X.-P. Xu
- A. Needleman
- et al.
- 1999
- Modelling and Simulation in Materials Science and Engineering
PaperBandwidth allocation with preemption
- Amotz Bar-Noy
- Ran Canetti
- et al.
- 1999
- SIAM Journal on Computing
PaperLook at human interaction with pervasive computers
- Wendy S. Ark
- Ted Selker
- 1999
- IBM Systems Journal
PaperGlass model, Hubbard model and high-temperature superconductivity
- Ingo Morgenstern
- Werner Fettes
- et al.
- 1999
- International Journal of Modern Physics C
Paper