3575 search results - page 396 / 715 » Modeling Concurrency with Geometry |
164
click to vote
OOPSLA
2007
Springer
16 years 24 days ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
187
click to vote
WOWMOM
2005
ACM
16 years 7 days ago
2005
ACM
We present in this paper an analytical model that accounts for the positions of stations with respect to the Access Point (AP) while evaluating the performance of 802.11 MAC layer...
170
click to vote
DSRT
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
179
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
247
click to vote
PROCEDIA
2011
14 years 9 months ago
2011
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...