3575 search results - page 485 / 715 » Modeling Concurrency with Geometry |
174
Voted
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
169
click to vote
PADS
2000
ACM
15 years 11 months ago
2000
ACM
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
166
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
167
click to vote
COORDINATION
2006
Springer
15 years 10 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...
169
click to vote
COORDINATION
2008
Springer
15 years 8 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...