1724 search results - page 231 / 345 » Models for Concurrency |
COORDINATION
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The actor model provides high-level concurrency abstractions to coordinate simultaneous computations by message passing. Languages implementing the actor model such as Er...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
—In this paper, we present an analytical model to evaluate the hidden station effect on the access delay of the IEEE 802.11 Distributed Coordination Function (DCF) in both non-sa...
ITNG
2007
IEEE
15 years 4 months ago
2007
IEEE
In networks-on-chip (NoC) designs, delay variations and crosstalk noise have become a serious issue with the continuously shrinking geometry of semiconductor devices and the incre...
114
click to vote
AGP
2010
IEEE
15 years 1 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
COORDINATION
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...