Accumulators: New logic variable abstractions for functional languages
- Keshav Pingali
- Kattamuri Ekanadham
- 1991
- Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
8907 results for Computer Science
On total functions, existence theorems and computational complexity
- Nimrod Megiddo
- Christos H. Papadimitriou
- 1991
- Theoretical Computer Science
Management of technology
- Rodger B. Hake
- 1991
- Computing and Control Engineering Journal
A note on current discretization in the hydromodel
- Kamel Souissi
- F. Odeh
- et al.
- 1991
- COMPEL - The international journal for computation and mathematics in electrical and electronic engineering
Connecting waveform relaxation convergence properties to the a-stability of multirate integration methods
- J. White
- F. Odeh
- 1991
- COMPEL - The international journal for computation and mathematics in electrical and electronic engineering
Machine vision in the 1990s: Applications and how to get there
- D. Petkovic
- J. Wilder
- et al.
- 1991
- Machine Vision and Applications
Efficient and Portable Combined Tausworthe Random Number Generators
- Shu Tezuka
- Pierre L'Ecuyer
- 1991
- ACM Transactions on Modeling and Computer Simulation (TOMACS)
Resolution of P (x, y) = 0
- Y. De Montaudouin
- 1991
- Computer-Aided Design
A declarative specification and semantics for visual languages
- Richard Helm
- Kim Marriott
- 1991
- JVLC
An object-centered representation for financial analysis
- Chidanand Apté
- John Kastner
- 1991
- Expert Systems with Applications