Amanote Research
Register
Sign In
Modeling Concurrency With Geometry
doi 10.1145/99583.99625
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1991
Authors
Vaughn Pratt
Publisher
ACM Press
Related search
Shape Modeling With Point-Sampled Geometry
Concurrency Debugging With MaxSMT
Proceedings of the AAAI Conference on Artificial Intelligence
Optimistic Concurrency With OPTIK
ACM SIGPLAN Notices
Computer Science
Modeling Heat Conduction in Nanoporous Silicon With Geometry Distributions
Physical Review Applied
Astronomy
Physics
Unlocking Concurrency
Queue
Computer Science
Reaction Diffusion Modeling of Calcium Dynamics With Realistic ER Geometry
Biophysical Journal
Biophysics
Numerical Modeling of Transient Flows in Load Pipes With Complex Geometry
Journal of Applied Mathematics and Computational Mechanics
Power-Aware Pipelining With Automatic Concurrency Control
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
Interactive Modeling of Architectural Freeform Structures: Combining Geometry With Fabrication and Statics