Amanote Research

Amanote Research

    RegisterSign 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

2003English

Concurrency Debugging With MaxSMT

Proceedings of the AAAI Conference on Artificial Intelligence
2019English

Optimistic Concurrency With OPTIK

ACM SIGPLAN Notices
Computer Science
2016English

Modeling Heat Conduction in Nanoporous Silicon With Geometry Distributions

Physical Review Applied
AstronomyPhysics
2018English

Unlocking Concurrency

Queue
Computer Science
2006English

Reaction Diffusion Modeling of Calcium Dynamics With Realistic ER Geometry

Biophysical Journal
Biophysics
2006English

Numerical Modeling of Transient Flows in Load Pipes With Complex Geometry

Journal of Applied Mathematics and Computational Mechanics
2017English

Power-Aware Pipelining With Automatic Concurrency Control

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2018English

Interactive Modeling of Architectural Freeform Structures: Combining Geometry With Fabrication and Statics

2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy