3575 search results - page 58 / 715 » Modeling Concurrency with Geometry |
COMPGEOM
2001
ACM
15 years 1 months ago
2001
ACM
This presentation illustrates examples of my geometric sculpture and outlines certain design techniques. I apply methods from the field of computational geometry to the creation o...
136
click to vote
FMSB
2008
14 years 11 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
POPL
2009
ACM
15 years 4 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
MFCS
1993
Springer
15 years 1 months ago
1993
Springer
Abstract This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models...
FM
2008
Springer
14 years 11 months ago
2008
Springer
Modal