2261 search results - page 50 / 453 » Relationships Between Models of Concurrency |
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
ICCAD
1994
IEEE
13 years 12 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
We describe a formal verification of a recent concurrent list-based set algorithm due to Heller et al. The algorithm is optimistic: the add and remove operations traverse the list ...
ECSCW
2003
13 years 9 months ago
2003
This paper is about finding explicit and implicit connections between people by mining semantic associations from their email communications. Following from a sociocognitive stance...
AIIDE
2009
13 years 9 months ago
2009
Players perceive information about game environments through a virtual camera. While a significant discussion in the industry and in academic research circles has centered around ...